Follow me if you want me to email you a pizza roll
@asmund๐ฅทprofilefollowFather, getting older every day, technologist, enterprise architect @ work, like to explore tech. Like to keep it simple and work in the shell, write in vim, prefer Debian if I have the choice. Plays saxophone and clarinet. Enjoy motorcycle riding, photography, hiking. Christian.wrote:
Another weekend. May it bring joy, peace and rest to many!
I noticed today that I'm an idiot.
I built a static site generator with NO DATA MODEL. Beginning to fix it now, but my god how embarrassing. Hobbyist less than amateur...wow.
Good thing my day job isn't at stake.
Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
After months of hardly any rain, Iโm really enjoying a cozy day stuck indoors just listening to the downpour; getting on with doing some house cleaning. Is it too premature to declare this autumnโ
@thechelsukprofilefollowCurrently in remission from ME/CFS after 3+ years. Occasional software engineering leader, app developer, blogger, zwifter, and just being online.wrote:
on the contrary, at least for me, it unleashes creativity because I donโt have to switch to execution mode (linear thinking), I can keep myself in the creativity mode (lateral thinking).
Who's enjoying #cnotesfollow in 2026? I'm back after ~14 years away (some sporadic once-in-a-while use in there) and I'm finding it better than ever, a smoother development experience and clearer code than pretty much every language out there, except for maybe #odinnotesfollow.
Some specialized censors used in automated manufacturing. It's pretty cool, I look forward to coming into the office almost every day. I've worked for a few f500 companies and took a pay cut to come here. A bunch of people from my college robotics club work here too.
That sounds really cool. Above all I really like hearing that someone enjoys their work and likes showing up for it. I've had that feeling on a few contracts and it's great. Looking to get into embedded myself, since it seems that's where you get to have all the fun writing C. :)
#cnotesfollow has been such a pleasure. Havenโt tried Odin, but was using #zignotesfollow for a while, and I just found myself pulled back to C. A minimal sharp tool. Runs anywhere. Can actually write a compiler for it. Short bootstrap chain from hex0. Does anybody care about these things (anymore)?
Support everywhere (in every way) was key to me starting to use C again. It's nice to not have to worry about the language you use being left out somewhere, a non-starter somewhere else and having to mentally translate it to something else (Zig/Odin in a debugger -> C).