Steven Shaw

@markeibes @BrianGoetz Exactly, there is no need for more than one function — composition ftw 😁

@steshaw @BrianGoetz Damn you're right. Who would ever need more than one function?

Thanks to @BrianGoetz, Java is adopting type classes! It's becoming the best mainstream functional language! ✅ algebraic data types with exhaustive pattern matching ✅ Nullable types: JSpecify now, language feature later ✅ Haskell's type classes 🤯 youtu.be/Gz7Or9C0TpM

@cestlemieux Because on the boot screen your keyboard may not be configured correctly, I guess

Does anyone know why MacOS (on apple silicon) suggests to "try changing your password to not use complex or accented characters" if your password is not working to log in when you turn on your computer??? Had a baffling experience with this this morning...

@hmemcpy What is this secret wisdom?

the forbidden pre is real

@headinthebox I prefer correct-by-construction to the insertion and checking of invariants, but I imagine that it kind of ends up being the same. As a programmer, the former seems a better fit for my thinking, I suppose 🤷‍♂️

The latest article in my ACM Queue series on Automind/Universalis for verifiable safe agentic programming. The unwritten conclusion from this last paper is that design by contract pre/post-conditions are no silver bullet. Instead, for safety, we need something to reason about unwanted side-effects and global invariants.

@Steve8708 @ravinator Leptos?

@ravinator works with whatever Claude can understand - Vue, Angular, Svelte, etc etc

cursor is now a figma-esque visual editor for your code

@markeibes @BrianGoetz You are making no sense, but go on 😁

@markeibes @BrianGoetz You sure can

@steshaw @BrianGoetz Without public static and a wrapper object?

@TonKersten @vardi @ripienaar You might like Red github.com/red/red

@vardi @ripienaar I miss: Rexx, Exec, Exec2 from IBM

Programming Languages :-)

@ChShersh Not everyone though? Not you?!?

After programming for 16 years, I noticed that Software Engineer mentality slowly shifted from “produce great code” to “tolerate shit code”

@markeibes @BrianGoetz sure, np — you just need an external termination checker

@steshaw @BrianGoetz Can you write a function in it yet?

@dhh @ryanrhughes What happened to Omakub. This is one of those things with Linux, there are a lot of choices. Will next year be Debian or NixOS? I like Ubuntu + @RegolithL!

@ryanrhughes Found a way to shave off another 37 seconds!! It's incredible what you can do when you just decide that EVERYTHING SHOULD BE INSTANT. Computers should be so fast now. My Amstrad 464 was ready with BASIC in 2 seconds. Why can't we get back closer to that?

We got a FULL INSTALL of Omarchy down UNDER THREE MINUTES!! @ryanrhughes has been obsessively optimizing the install flow for the new offline ISO. This is going to be so good, so fast. Can't wait to share!

@Krever01 Aren't akka actors evil impure things?

Days since I messed up mixing IO and akka actors: -126 (I messed up it 4 months ago and learned only today)

How is Leptos so amazing youtu.be/K_TmEPAD9Ig. I don't know, but I'm going to find out!

No more bicycles, buses, or stairs for me. If you use reCAPTCHA, I don't use you. I'm done! 😜

@dhh 16.93s on my aging MacBook Air M2. Will check later on Win11 work laptop with Dev Drive (ReFS), NTFS and WSL. Much later at home on my Linux desktop with ZFS. Is BTRFS optimised for small files?

@steshaw BTRFS

Got curious how much faster Linux is than macOS for small-file access and creation. The results are shocking: curl -L cdn.kernel.org/pub/linux/kern… -o linux.tar.xz time tar -xf linux.tar.xz Framework Desktop: 1.6s MBP M4 Pro: 12.2s Over 7x faster on these 90K files!! 🤯

Embrace being a crud monkey

@BenjDicken I want my application to be co-located with the database via an in-process database library.

I am once again begging you to put your database servers and application servers in the same region.

@noelwelsh I switched my CV to Typst in February and haven't looked back!

It's official. LaTeX is dead to me. It's all about Typst now. buttondown.com/functionalprog… if you want to know more.