Nate's Avatar

Nate

@smith.fo

Software ๐Ÿฆ€โž•๐Ÿช โ€ข Philosophy ๐Ÿง โ€ข Maths ๐Ÿงฎ Having the moment of anagnorisis as a developer

173
Followers
843
Following
214
Posts
28.11.2023
Joined
Posts Following

Latest posts by Nate @smith.fo

Video thumbnail

lambda calculus visualizer

(ฮปf.ฮปx.ฮปy.f y x) h a b

11.02.2026 18:20 ๐Ÿ‘ 30 ๐Ÿ” 3 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1
Post image
11.02.2026 14:32 ๐Ÿ‘ 8254 ๐Ÿ” 1114 ๐Ÿ’ฌ 429 ๐Ÿ“Œ 145
Video thumbnail

Did I accidentally make Ceefax for wind farms? ๐Ÿ‘พ

This is a new toy that I created over the weekend, a 128x128 LED matrix display that shows the live status of any wind farm in Great Britain that's on the balancing system.

19.01.2026 09:46 ๐Ÿ‘ 150 ๐Ÿ” 25 ๐Ÿ’ฌ 7 ๐Ÿ“Œ 4

@pfrazee.com recipe please

03.01.2026 19:53 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

The For You feed is going to be down while I'm upgrading the CPU from AMD 7900 (12 core) to AMD 9950X3D (16 core).

This should increase how many users it can serve by ~50%-100%.

If all goes well it should be back up in an hour or two.

28.12.2025 16:40 ๐Ÿ‘ 2795 ๐Ÿ” 215 ๐Ÿ’ฌ 160 ๐Ÿ“Œ 50

I never even signed up, I just listened to my RSS feed, and then Bluesky came along

19.11.2025 05:21 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Don't forget about Skandal Im Sperrbezirk, 32 16 8

17.11.2025 21:21 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I believe Ken Burn's new documentary on the Revolutionary War covers this breiefly in the first episode, but its nice to know there is a focus point on the history of this event. Adding it to my checklist.

17.11.2025 21:17 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Anyone up for doing Advent of Code in OCaml this year? ๐ŸŽ„๐Ÿซ

bsky.app/profile/did:...

12.11.2025 13:14 ๐Ÿ‘ 19 ๐Ÿ” 3 ๐Ÿ’ฌ 7 ๐Ÿ“Œ 1

Watching @moreperfectunion.bsky.social and suddenly see @bcantrill.bsky.social talking about Oracle was an exciting surprise.

06.11.2025 20:25 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Video thumbnail

3D Ising model simulating a liquid-vapor transition.
Made with #python #numpy #matplotlib

04.10.2025 15:43 ๐Ÿ‘ 47 ๐Ÿ” 5 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image Post image

Here is some incorporation information on the company. They started in 1974, and seemed to cease operations in 1987.

29.09.2025 19:23 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Post image

They were a contractor for the Army. It may require a FOIA request for more information, maybe even some manuals.

29.09.2025 19:09 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

The Art of Computer Programming Vol 1, 2, & 3 by Donald Knuth. Still making my way through 4A, hopfully 4B soon, and anymore he decides to publish. Frankly anything he publishes has some knew prespective to view CS.

29.09.2025 18:51 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Split meme comparing programming languages: Left side shows a man in a Hawaiian shirt sitting alone in economy class labeled 'Functions in JavaScript'. Right side shows two people relaxing comfortably in business class with headphones labeled 'Functions in OCaml', suggesting OCaml functions are more luxurious or superior.

Split meme comparing programming languages: Left side shows a man in a Hawaiian shirt sitting alone in economy class labeled 'Functions in JavaScript'. Right side shows two people relaxing comfortably in business class with headphones labeled 'Functions in OCaml', suggesting OCaml functions are more luxurious or superior.

29.09.2025 14:59 ๐Ÿ‘ 14 ๐Ÿ” 2 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Howard?

27.09.2025 18:54 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I think that's the point of reading tax law

27.09.2025 18:52 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
Scaling Manufacturing | Oxide and Friends | Episode 27 Bryan and Adam were joined by members of the Oxide manufacturing team to talk about all that goes into ramping up production, from people and processes to expanding the team and refining inefficiencie...

More Oxide and Friends for your weekend

19.09.2025 15:02 ๐Ÿ‘ 30 ๐Ÿ” 4 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
GitHub - ycd/dstp: ๐Ÿงช Run common networking tests against any site. ๐Ÿงช Run common networking tests against any site. Contribute to ycd/dstp development by creating an account on GitHub.

dstp is a free and opensource tool that run common networking tests against your site such as ping, dns, TLS certificate validation and check for HTTP status codes for your website. It is a small tool that is useful for both developers and IT professionals. Try it out. github.com/ycd/dstp

16.09.2025 23:51 ๐Ÿ‘ 49 ๐Ÿ” 8 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1
Post image

Criterion Collection sale at Deep Discount.

More than 1,000 4Ks, Blu-rays, and DVDS up to 45% off.

DVDs are as little as $11.25. Free shipping if you spend $25.

www.deepdiscount.com/criterion-co... #FilmSky #PhysicalMedia

11.09.2025 00:29 ๐Ÿ‘ 85 ๐Ÿ” 23 ๐Ÿ’ฌ 12 ๐Ÿ“Œ 2

It becomes a challenge to find it

09.09.2025 06:40 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

To those that post a screenshot of a paper without a link: seriously?

09.09.2025 06:37 ๐Ÿ‘ 4 ๐Ÿ” 1 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

im a heap developer, personally

04.09.2025 23:18 ๐Ÿ‘ 148 ๐Ÿ” 6 ๐Ÿ’ฌ 18 ๐Ÿ“Œ 2

Can you explain the project a little more?

04.09.2025 18:58 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Microsoft replacements shown with logos:
Replace Windows with Linux
Replace Outlook with Tuta Mail
Replace Office suite with LibreOffice

Microsoft replacements shown with logos: Replace Windows with Linux Replace Outlook with Tuta Mail Replace Office suite with LibreOffice

Microsoft just pulled a classic bait-and-switch tactic by ending free #Office licenses for NPOs. ๐Ÿ˜กย 

Don't let Big Tech lure you into their platforms with "free" offerings. Open source alternatives like Linux + Tuta put YOU in control. โœŠ

Because you deserve better. โค๏ธย 

๐Ÿ‘‰ tuta.com/blog/microso...

28.08.2025 13:31 ๐Ÿ‘ 506 ๐Ÿ” 99 ๐Ÿ’ฌ 26 ๐Ÿ“Œ 6
Preview
Unfuck Email โ€ข Fix your inbox instantly Fix your inbox instantly

This tool looks to be helping: unfuck.email

27.08.2025 19:37 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Adventures in State Space
Adventures in State Space YouTube video by 2swap

A beautiful visualization of the state space of puzzles, 11 min of joy, h/t @danlarremore.bsky.social

24.08.2025 14:16 ๐Ÿ‘ 25 ๐Ÿ” 11 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 1

Anyone want to start a book club?

21.08.2025 23:20 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

It's like me with 'morose'

21.08.2025 23:15 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I think libraries should be a designated third-spaces.

21.08.2025 23:10 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0