Nathan Smith's Avatar

Nathan Smith

@smith.fo.bsky.social

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

104 Followers  |  559 Following  |  192 Posts  |  Joined: 28.11.2023  |  1.9968

Latest posts by smith.fo on Bluesky

Video thumbnail

Watch with the sound on to hear the cow bells echoing through the alpine meadows. Taken at the top of Mount Pilatus with a view of lake Lucerne at the end

07.08.2025 19:44 โ€” ๐Ÿ‘ 22    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

switched to arch btw

06.08.2025 17:02 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

A cartoon by Jeremy Nguyen. #NewYorkerCartoons

See more cartoons from this weekโ€™s issue: www.newyorker.com/gallery/cart...

05.08.2025 00:36 โ€” ๐Ÿ‘ 1219    ๐Ÿ” 115    ๐Ÿ’ฌ 28    ๐Ÿ“Œ 8
Preview
Our $100M Series B / Oxide Raising our Series B round of financing

Our $100M Series B oxide.computer/blog/our-100...

30.07.2025 13:10 โ€” ๐Ÿ‘ 214    ๐Ÿ” 17    ๐Ÿ’ฌ 20    ๐Ÿ“Œ 4
Computer-generated greyscale image showing a heightmap of an architectural model.  On the left side, everything looks reasonable; on the right side, it quickly descends into pixelated madness.

Computer-generated greyscale image showing a heightmap of an architectural model. On the left side, everything looks reasonable; on the right side, it quickly descends into pixelated madness.

my new raytracer is flawless

26.07.2025 16:45 โ€” ๐Ÿ‘ 94    ๐Ÿ” 2    ๐Ÿ’ฌ 6    ๐Ÿ“Œ 0

Mystery solved!!

Ubuntu 22.04 had an automatic update to systemd. This update restarted systemd that wiped IP rules and took down networking for Kubernetes infra.

The update came out 9 June. 9-10 June dozens of services had big outages. Like Heroku: newsletter.pragmaticengineer.com/p/why-reliab...

22.07.2025 19:48 โ€” ๐Ÿ‘ 87    ๐Ÿ” 22    ๐Ÿ’ฌ 6    ๐Ÿ“Œ 4

Does anybody else turn there notifications off and just leave phone, text message, and email line open, or is it just me?

23.07.2025 16:26 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

My goal with this idea is to bring closer what's on in our legislative houses. Provide the tools necessary for constituents to stay informed with legislative action taking place.

22.07.2025 22:08 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

With all the tools that might come with wanting to track, read, and understand the laws that are effecting, and the bills that might?

22.07.2025 22:04 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

... as well as a cherry onto local municpal codes, so you know what laws apply to you? (2/2)

22.07.2025 22:03 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

I have had this idea for years now, and I want to ask all of you would you be interested in an app that is able view current federal and state laws all in one place. All bills that are currently making there way through the legistlative process, ... (1/2)

22.07.2025 22:02 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0

Do you think when Plato came up with the cave analogy they were like woa woa slow down wtf is an analogy

22.07.2025 19:09 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
How Americans Are Using ChatGPT
Millions of Americans already are using ChatGPT in their daily lives and work. An analysis of the
purpose of these messages finds that the top use cases are:
1. Learning & Upskilling (20%): Students, workers, and small business owners use ChatGPT
as a personalized tutor to grasp new concepts onโ€‘demand, shrinking the timespan between
curiosity and mastery.
2. Writing & Communication (18 %): Professionals draft emails, marketing copy, and
compliance documents in minutes rather than hours, reallocating scarce cognitive bandwidth
to higherโ€‘value tasks.
3. Programming, Data Science & Math (7 %): Both expert engineers and โ€œvibe codersโ€ lean
on GPT models to generate boilerplate code, refactor legacy code, and debug algorithms.
Smaller but economically relevant segments include Design & Creative Ideation (5 %), Business
Analytics (4 %), and Translation (2 %).
Currently, American users of ChatGPT also skew younger, suggesting that there may be
long-term economic benefits as they continue to use AI tools in the workplace going forward.
One quarter (24%) of US users are between the ages of 18 and 24, and one third (32%) are
between ages 25 and 34. This means that many students and workers in the early stages of
their careers are becoming AI natives who will bring this expertise to their careers for years to
come.

How Americans Are Using ChatGPT Millions of Americans already are using ChatGPT in their daily lives and work. An analysis of the purpose of these messages finds that the top use cases are: 1. Learning & Upskilling (20%): Students, workers, and small business owners use ChatGPT as a personalized tutor to grasp new concepts onโ€‘demand, shrinking the timespan between curiosity and mastery. 2. Writing & Communication (18 %): Professionals draft emails, marketing copy, and compliance documents in minutes rather than hours, reallocating scarce cognitive bandwidth to higherโ€‘value tasks. 3. Programming, Data Science & Math (7 %): Both expert engineers and โ€œvibe codersโ€ lean on GPT models to generate boilerplate code, refactor legacy code, and debug algorithms. Smaller but economically relevant segments include Design & Creative Ideation (5 %), Business Analytics (4 %), and Translation (2 %). Currently, American users of ChatGPT also skew younger, suggesting that there may be long-term economic benefits as they continue to use AI tools in the workplace going forward. One quarter (24%) of US users are between the ages of 18 and 24, and one third (32%) are between ages 25 and 34. This means that many students and workers in the early stages of their careers are becoming AI natives who will bring this expertise to their careers for years to come.

I looked at OpenAI's new "productivity note" written by their chief economist Ronnie Chatterji and it's completely braindead. the least dumb part is the links to cherry-picked studies showing productivity, some of which are years old. shameful and embarrassing
openai.com/global-affai...

22.07.2025 17:58 โ€” ๐Ÿ‘ 1    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Thanks

22.07.2025 17:41 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

what LED panel is it, and where do I get it?

22.07.2025 17:29 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Video thumbnail

spin

22.07.2025 14:15 โ€” ๐Ÿ‘ 14    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

What a perfect summary of the movie, Men by Alex Garland

22.07.2025 17:21 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

All you need now is a hat on the cat, and you got yourself, a hat on a cat, on a couch, on a couch. I'm sure there is a physics analogue lurking around that can use this context.

22.07.2025 17:12 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The good old days, when you purchased a device you owned it. I believe this model is what puts progress on the company, not on the profits. Profits should be the byproduct of progress, not the pricing. Good on you, OCC!

22.07.2025 17:05 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Image credit: Edward hopper.net.

Image credit: Edward hopper.net.

Edward Hopper was born on this day in 1882.

โ€œIf you could say it in words, there would be no reason to paint.โ€

Room in New York (1932)

๐Ÿก #PhilSci (and, yes, I think thatโ€™s an appropriate feed for this)

22.07.2025 15:38 โ€” ๐Ÿ‘ 29    ๐Ÿ” 10    ๐Ÿ’ฌ 3    ๐Ÿ“Œ 0
Post image

My optimal setup as an applied microeconomist.

22.07.2025 13:18 โ€” ๐Ÿ‘ 140    ๐Ÿ” 16    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 3

we need a new word to replace โ€œenshittification.โ€ the word itself has become enshittified

22.07.2025 03:00 โ€” ๐Ÿ‘ 730    ๐Ÿ” 60    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 46

love the painter's tape

22.07.2025 04:42 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I think the same thing can be said for most series.

22.07.2025 04:38 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Polymorphic Parameters by voodoos ยท Pull Request #13806 ยท ocaml/ocaml This upstreaming PR adds the possibility to have function parameters with polymorphic types in the language. This work was originally done by @lpw25 in Jane Street's fork of the compiler with e...

Yet another small OCaml/OxCaml diff has been squished! Polymorphic parameters has just gotten merged upstream:

github.com/ocaml/ocaml/...

There's more to go (include functor, for example: github.com/ocaml/RFCs/p...), but it's nice to see more progress in this space.

21.07.2025 17:23 โ€” ๐Ÿ‘ 29    ๐Ÿ” 7    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Video thumbnail

Another day doing stuff !
#pixelart #MainFrames

21.07.2025 10:45 โ€” ๐Ÿ‘ 132    ๐Ÿ” 17    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Terminal screenshot showing an existing opam switch being cloned in under 5 seconds on Linux, with the new compiler reporting its new location

Terminal screenshot showing an existing opam switch being cloned in under 5 seconds on Linux, with the new compiler reporting its new location

Testing opam packages for Relocatable OCaml which actually take advantage of it. Creating a new switch using the same version as one you've already built in another switch now takes 5 seconds, rather than 2 minutes (cloning the compiler itself takes just 100ms of that 5 seconds!)

20.07.2025 15:11 โ€” ๐Ÿ‘ 12    ๐Ÿ” 4    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Tech Promised Everything. Did it deliver? | Scott Hanselman | TEDxPortland
YouTube video by TEDx Talks Tech Promised Everything. Did it deliver? | Scott Hanselman | TEDxPortland

A must-watch talk from @scott.hanselman.com. Scott and I are of the same vintage, and I am embarrassed (mortified!) by how revolting some of our generational peers have become. Technology still has a unique power to improve our lives, but wow, do we ever have work to do. youtu.be/dVG8W-0p6vg?...

20.07.2025 15:55 โ€” ๐Ÿ‘ 151    ๐Ÿ” 25    ๐Ÿ’ฌ 5    ๐Ÿ“Œ 3
Video thumbnail

Goedemorgen

19.07.2025 06:06 โ€” ๐Ÿ‘ 27    ๐Ÿ” 1    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 0
Video thumbnail

Join us on August 13 for Localhost!

๐Ÿฆ  Peter Whidden will present Mote, an interactive ecosystem simulation with hundreds of thousands of organisms. His custom GPU physics engine models many simple behaviors at a massive scale, producing fascinating emergent phenomena.

RSVP below โฌ‡๏ธ

18.07.2025 15:29 โ€” ๐Ÿ‘ 308    ๐Ÿ” 45    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 5

@smith.fo is following 19 prominent accounts