Profile avatar
hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Trying to get back into juggling, too.
3,030 posts 3,013 followers 93 following
Regular Contributor
Active Commenter

Literally cannot stop myself from doomscrolling so going to take a couple weeks off of Bluesky, until (I desperately hope) the vibes get a little better. Gonna turtle up and work on writing and my book. Best way to reach me is by email (h @ username). C'ya in a bit!

I did it, I let politics stuff become an excuse to wallow in a depression spiral I can personally say that the need to bear witness to bad things absolutely can be a manifestation of mental illness

Okay but seriously, one of the big downsides of working on this book is it's taken a ton of time I'd normally spend on things like marketing, writing website posts, working on software tutorials, etc. I feel like my normal audience as been slowly decreasing, though that could just be in my head

Every time I write a technical book I am blindsided by how much drudgery goes into editing it. I will never learn

First chocolatiering of the year! Just trying to use up an old batch of Matcha ganache that's too hard to pipe and too soft to dip. I had to scoop out portions and press them into the mold (It's fine, I wear sterile gloves)

New newsletter: "what hard thing does your tech make easy?" Some tools make the impossible possible. Others make the hard easy. I ignore the first case and talk about why the second case works, and some of the nuances (like how "easy" can be better than "correct") buttondown.com/hillelwayne/...

I can't read the article, but I'm guessing the main takeaway isn't (just) "openai are IP hypocrites", but ALSO "DeepSeek didn't actually make a competitive LLM with just 6 million dollars."

What the FUCK is up with Aquilo @r.whal.ing

Newsletter just isn't coming together this week

New post: "Can We Retain the Benefits of Transitive Dependencies Without Undermining Security?" tratt.net/laurie/blog/...

Deepseek proves that LLMs are a waste of time, unlike IMPORTANT things: blockchain

Why are spices so much more expensive in a store than online? This 4oz bag of chives cost 12 bucks from Amazon, while in stores it'd be five dollars for half an ounce. Is it packaging, customer segmentation, something else?

Original article is from 2015 and is about how China is building artificial islands to hide the extent of their submarine program www.seattletimes.com/nation-world...

Deepseek proves that LLMs are a waste of time, unlike the REALLY USEFUL stuff: quantum computers

Why is deepseek supposedly crashing NVidia's stock price *now*, as opposed to when they came out and announced their results in December?

Had to recently do some regexing in Python and it's really made me appreciate Raku regexes more. In most languages you "compose" separate regexes by concatting strings together. In Raku you can embed a regex directly inside another, like `regex r = /<bls-identifier>: <uuid>/`

I have a new patreon post! It's an early sketch of this idea I have that "efficiency" (doing more work per resource) and "scalability" (doing more marginal work per marginal resource) are in conflict with each other. Might be a newsletter eventually! www.patreon.com/posts/effici...

Building the doctree: 10ms Converting to LaTeX: 10ms Running Lualatex: 15 seconds Running Lualatex again because for some reason it needs to passes for hyperref where pdftex needed only one: 15 seconds Someone good at Sphinx please help me my build times are dying

It's the middle of the polar vortex here in Chicago and I've been passing the time by practicing my juggling. And in the process, noticed some dumb mental antipatterns that also apply to software. I call it the juggler's curse. Newsletter link: buttondown.com/hillelwayne/...

I've been very pleased how many people have mentioned my little Year of Formal Methods side-quest to me and asked what the theme for 2025 will be :) So let me keep you in suspense no longer. 2025 is the year of... Domain-Specific Languages! youtu.be/YnNEqgdKrYU

Tip: you don't need to be on bluesky tomorrow. You can take the day off social media. You don't get virtue points for making yourself feel bad

I don't believe in distributed systems. The cloud is just one really big computer

OpenAI had the answers to FrontierMath, which brings into question their o3 results A lot of people think they didn’t actually train on the test set, although admit that there’s still plenty of contamination potential

I used to wonder if those politics image meme posters were just bots Now I know for sure

I found this guy on @dev.to, "Steve Wortham", who plagiarizes every single one of his articles. What an incredibly shitty thing to do