Lean also fixes the problem of being too productive, I say as I sit banging my head against the wall trying to prove book 1 proposition 1 of Euclid's Elements

wtf

no. no!

...compiler checked panic free rust when

damn blue origin landed a rocket

very cool talk, infusions and makeScope instead of a module system seem especially cool

🦀 I've improved the implementation behind all the string formatting macros in Rust: println, panic, format, write, log::info, etc. (Everything using format_args!().) They will compile a bit faster, use a bit less memory while compiling, result in smaller binaries, and produce more efficient code! 🎉

this has been absurdly insightful

>flakes

now that's satisfying gitlab.gnome.org/GNOME/mutter...

mfs will build anything but commuter rail networks and dense housing

"nix is a meta build tool" statements made by those too scared to replace cmake and cargo with nix

the ppl here are pretty cracked i am very cautiously optimistic that rust for gpu programming may not suck at some point in the future

cxx is actually pretty cool, dtolnay redemption arc

my daytime friends will love these posts tomorrow

replaced all my electron apps with `chromium --app={url}` from a launcher and it's so much nicer, there aren't even header bars anymore

every time you experience imposter syndrome as a software engineer, simply open microsoft teams

Fedora letting AI commit code? Couldn’t be me, bro. I don’t let neural nets touch my stack — I need discipline. Switched to Omarchy. No copilot. No hand-holding.

me in theory: dev containers sound so cool! me in practice: this barely works and took all day to get going

I cannot stess how much I want a !Forget bound in this language

Curious what you can do with Typst's HTML export right now? How about write a blog? This article tells you how: blog.sillyfreak.space/2025/06/29/r...

snix-castore fixes this

this company needs to be outcompeted in every single area. i want their stock at $1 / share

On my way!

how have i only seen zorin and omarchy mentioned in relation to windows 10 going eol... we are truly never going to have the year of the linux desktop

>i should update my personal website >npm update >random broken package >i will rewrite my website in c23

ff devs have been absolutely cooking recently

maybe it's a hot take but i'm not a fan of people equating a very useful wm that had a toxic/vile discord in 2022 to a distro driven by the clout of someone who spends his time posting great replacement dogwhistles online

"we should use gazebo"

They should ban every golf course in the US before they close a single datacenter

I have been massively screwed over by my past self

> midterm <24 hrs > what if i recompile my os with zen4 optimizations

i need to actually learn numpy

crashing out

the urge to make a linux distro with good sandboxing defaults

i stumbled upon noctalia shell and dank material shell, both of these seem to provide nice shells that aren't tied to a de or a ball of duct tape and waybar/mako/swaylock/swaync/etc github.com/noctalia-dev... github.com/AvengeMedia/...

maybe jay is masterminding a plan where someone creates a woker bluesky on atproto and meaningful decentralization is achieved

lowkey want waffles rn

We are alarmed by reports that Germany is on the verge of a catastrophic about-face, reversing its longstanding and principled opposition to the EU’s Chat Control proposal which, if passed, could spell the end of the right to privacy in Europe. signal.org/blog/pdfs/ge...

java applets walked so wasm could walk

doj did not go hard enough

sentenced to 30 minutes in the shadow realm (nixos discourse)

not sure if the random code screenshot demonstrates this properly, but if i was shown this image with a traffic light at the top, i would tell you it was taken on a mac

freetype stem darkening being disabled by default is actually criminal

did not realize how much of a masterpiece hurry up tomorrow is