Boyd Stephen Smith Jr.
LightNews LightNews
boydstephensmithjr.hachyderm.io.ap.brid.gy
Boyd Stephen Smith Jr.
@boydstephensmithjr.hachyderm.io.ap.brid.gy
37 followers 5 following 1.1K posts
Born 1980-05-15 in Mena, AR
Cis White Male He/him
Liberal Democratic Socialist Idealist
Professional Haskell Programmer
Lives in Cove, AR
(24 years resident […]

🌉 bridged from ⁂ https://hachyderm.io/@BoydStephenSmithJr, follow @ap.brid.gy to interact
Posts Replies Media Videos
Reposted by Boyd Stephen Smith Jr.
damienwise.aus.social.ap.brid.gy
Vale Margaret Hamilton.
She was a Software Engineer.
She was the _first_ Software Engineer because she defined the term, Software Engineering:
"When I first came up with the term, no one had heard of it before, at least in our world. It was an ongoing joke for a […]

[Original post on aus.social]
A B&W photo of a person standing next to a stack of printed paper as high as the top of their head. This is Margaret Hamilton, at work as a Software Engineer and the leader of a team of extremely specialised programmers who worked for NASA. The photo was taken in 1969, and it shows a physical form if her work since she joined the Apollo project in 1965 (she joined at the age of 29 by my calculation). My interpretation of the expression on her face is a mix of pride and mild amusement. She has glasses, long, straight hair, and neat office attire. Margaret Hamilton has her hands placed gently on the stack of printouts to keep it all balanced upright. The pages appear to be arranged in bundles, ranging from 8-10 centimetres thick, to 20cm thick or more. The resulting stack of printouts is physically impressive for being an unusual feat, and it represents something even more impressive: it's the printed form of the source-code she and the team she led wrote for the NASA Apollo project. Their software ran on the Apollo Guidance Computer that was that on board each Apollo command module and Apollo Lunar Module. The Apollo Guidance Computer onboard the Eagle was an essential flight instrument for Neil Armstrong when he piloted the craft to land on the surface of the moon.
October 8, 2026 at 12:58 AM
Reposted by Boyd Stephen Smith Jr.
futurebird.sauropods.win.ap.brid.gy
"please don't give root to the text generator" shouldn't need to be on the rules list... but here we are.
October 6, 2026 at 11:03 PM
Reposted by Boyd Stephen Smith Jr.
vees.jawns.club.ap.brid.gy
#pennsylvania #measles
October 5, 2026 at 4:35 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
4.92mi. in 1:05. Goal.

#running
October 4, 2026 at 6:40 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
Is there an #idris shortcut for things I want at the type and value level?

```
data WithSize : (Nat -> Type) -> Nat -> Type where
MkWithSize : (sz : Nat) -> v sz -> WithSize v sz
```

I seem to be using this a lot to enable fast indexing into finger trees with compile-time bounds checking.
October 4, 2026 at 6:04 AM
Reposted by Boyd Stephen Smith Jr.
timbray.cosocial.ca.ap.brid.gy
Blue-ribbon management consultancy Bain offers “New Innovation Is Required to Fund AI’s $6 Trillion Buildout” - https://www.bain.com/insights/new-innovation-is-required-to-fund-ais-6-trillion-buildout-technology-report-2026/

Tl;dr: The believably-projected […]

[Original post on cosocial.ca]
A graph entitled Global market for AI, in trillions of US dollars There are 3 bars in the graph - $200B-400B for Consumer subscription and ad revenue, $1T-$1.4T for Enterprise productivity: Software development IT, sales, marketing, and finally $4.2 "Innovation required: Search and advertising, autonomous everything, physical AI, new product development
October 2, 2026 at 9:39 PM
Reposted by Boyd Stephen Smith Jr.
lua.vixen.zone.ap.brid.gy
the Drug User Liberation Front won their supreme court case YIPPEE im so surprised they won. but my goodness. this is #awesome

https://www.cbc.ca/news/canada/british-columbia/bc-supreme-court-ruling-dulf-constitutional-challenge-9.7362274
September 30, 2026 at 5:02 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
Hmm, astronomy picture of the day is down with a TLS error and an HSTS policy. Is @NASA aware? If not, what's the fastest way to make them aware?
September 30, 2026 at 3:33 PM
Reposted by Boyd Stephen Smith Jr.
nigel-purchase.mstdn.social.ap.brid.gy
https://volewica.blogspot.com/2026/09/hottest-june-july-august-ever.html
Hottest June-July-August ever
From Zack Labe > **The last three months are the warmest on record globally, relative to every other June-July-August period since 1850. Data from NOAA/NCEI's NOAAGlobalTempv6.1.0.** And El Niño is just beginning! 2027 could reach 1.8 degrees C above pre-industrial levels. (Note chart is relative to 1901-2000 baseline, not pre-industrial.) The biggest step you can take to cut emissions (methane is responsible for 1/3rd of the rise in temperatures since pre-industrial times) is to stop eating beef and mutton, and replace cow's milk with a plant-based milk. _You_ can do that. It's something _you_ can do, in a world run by Trumpist billionaires and oil companies. _You._ Of course, we could also vote these drongos out. But while we wait for that to happen, we can still act. We are not helpless.
volewica.blogspot.com
September 30, 2026 at 3:41 AM
boydstephensmithjr.hachyderm.io.ap.brid.gy
I have an 'unfold' / 'ana' and even nested (non-uniformly recursive) versions, but they aren't **total** only _covering_.

I think this a problem with the form of a coalgebra: a -> f a

I think I should be able to fix it by using something different maybe: (x :a) -> f (y : a ** rel y x)

Has […]
Original post on hachyderm.io
hachyderm.io
September 30, 2026 at 1:26 AM
Reposted by Boyd Stephen Smith Jr.
iwein.mas.to.ap.brid.gy
Xkcd 1732 was made ten years ago, but we're still _exactly_ on the "current path", which is, without exaggeration, the doomsday scenario.

If we can't get the needle to move only a tiny bit over a decade, we need to be a lot louder apparently.

For full accessible […]

[Original post on mas.to]
Tail of xkcd 1732 from 2026 url in the main post
September 28, 2026 at 1:00 PM
Reposted by Boyd Stephen Smith Jr.
weirdwriter.caneandable.social.ap.brid.gy
Keep this #noai website, featuring software, communities, and more, without the use of any AI in the code bases or have an openly NoAI stance and policy https://noailist.org/ #ai
NoAiList.org
NoAiList.org Lists projects that have specifically chosen not to use AI. No AI List is for No AI Projects. Anti-AI
noailist.org
September 28, 2026 at 2:47 PM
Reposted by Boyd Stephen Smith Jr.
paninid.mastodon.world.ap.brid.gy
🔥
September 28, 2026 at 2:08 AM
boydstephensmithjr.hachyderm.io.ap.brid.gy
4.33mi. in 1:02

Pathetic distance, but I kept my HR up.

#running
September 27, 2026 at 6:51 PM
Reposted by Boyd Stephen Smith Jr.
i0null.infosec.exchange.ap.brid.gy
Custom captions: Hackers’s in the 1980s: - full humanmade color games for atari 2600 with only 128 bytes of RAM - knows every x86 instruction by hand - c so high level it is basically considered english Verses, techbros today: - my electron app uses 3gb of vram - the datacenter i help build depleted an entire lake - i cant afford the tokens to patch my vibecoding project template sprites: buff doge vs crying cheems
September 26, 2026 at 7:13 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
More reason to move to #qobuz from Spotify or other services: https://community.qobuz.com/ai-charter

#NoSpotify #DeSpotify
AI Charter — Qobuz Community
community.qobuz.com
September 24, 2026 at 11:27 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
I *have* to be making this harder than it is. Can anyone link me to a #purescript SPA that doesn't use parcel or next.js that is trivial to run locally (like on localhost).

I tried and failed to use rollup.
September 24, 2026 at 10:57 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
Well, I hacked my local #purescript spago to get a complete build, and opened an issue. I wonder how much traction my "support NetBSD plz" issues are really going to get.

An older version of spago is available from pkg_src, but I need something from the current major (1.x) version because the […]
Original post on hachyderm.io
hachyderm.io
September 24, 2026 at 8:55 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
Hype: https://www.youtube.com/watch?v=4-sO_dp1fkE
September 23, 2026 at 11:35 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
4.61mi. in 1:02

#running
September 22, 2026 at 10:06 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
Revisited my NetBSD laptop (been playing games and dreading the lack of right-click), and got #idris installed via pack, by using the "micropack" and messing with CPATH.

I'm still trying to find a terminal that has keyboard commands to copy/paste since xterm in notably lacking them. I used to […]
Original post on hachyderm.io
hachyderm.io
September 21, 2026 at 10:28 PM
Reposted by Boyd Stephen Smith Jr.
waldoj.mastodon.social.ap.brid.gy
I'm impressed to see IBM's Granite LLM model, which is open source, with open weights, trained exclusively on non-copyrighted text. I'm running it on my M5 MacBook Pro right now, for a big text-summarization project.

No ethical concerns, either in training or in operating…I think I've found an […]
Original post on mastodon.social
mastodon.social
September 21, 2026 at 1:08 AM
Reposted by Boyd Stephen Smith Jr.
ghostonthehalfshell.masto.ai.ap.brid.gy
Remember to tell everyone you know that the site

Votesafe.org

Is an Elon Musk scam that will steal everything it can about your personal information including which toilet paper do you like.

The site you want to go to regarding your registration is

Vote.org
September 19, 2026 at 10:37 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
As an adult, I've replaced "Saturday Morning Cartoons" with my own Saturday day morning media consumption: https://www.youtube.com/watch?v=FyXkTO0G21c and https://www.youtube.com/watch?v=oWhnytD3QoA

Currently, both channels have had a pretty consistent Saturday morning release for months.
September 19, 2026 at 3:33 PM
boydstephensmithjr.hachyderm.io.ap.brid.gy
I know I've asked this before. Is there a way to not see self-boosts on my main feed?

I like this persons original posts, the first time. I like the boosts they propagate to my feed from other sources. But, I find their self-boots, whether it's from 6 hours or 6 months ago, to be a waste of my […]
Original post on hachyderm.io
hachyderm.io
September 19, 2026 at 3:30 PM