cliffle
cliffle@hachyderm.io
<p>Chaotic good artificer/ranger, sending you drive-by bugfix pull requests while sitting in a tree in the middle of nowhere.</p><p>My psych degree hasn't stopped me from regularly getting nerd-sniped into writing operating systems.</p><p>Making reliable things from unreliable parts, currently at Oxide Computer, previously Loon/GoogleX, NativeClient, etc</p><p>bad at (but occasionally posting in): español, (简体)中文, nederlands</p><p>he/him - Berkeley, CA</p>
Posts
-
View post
Physical therapist: "Do you have any resistance bands at home?" Me: "Are you thinking more Rage Against The Machine, or, like, Woody Guthrie?" Physical therapist: 😑
-
View post
RE: https://hachyderm.io/@mjk/117044034810143202 &quot;Why do they need to keep raising money?&quot; ask the commenters. Ah, I see you&#39;re from software!
-
View post
Kinda want to write a bot that just replies to any really long, unsolicited, probably-LLM-generated pull request with this picture of me at, like, five
-
View post
I am bewildered and disappointed to report that Android&#39;s onboard emoji search stops working if you have a flaky Internet connection. Meaning, it is not local. Meaning, they&#39;re going out to the goddamn Internet to see if any of O(1000) records match the word &quot;fish.&quot; I can&#39;t even.
-
View post
In the early 90s, PKWare offered their Data Compression Library as a way to put basic compression into other applications. It uses a different algorithm from PKZIP. I encountered it because it&#39;s used by the proprietary recipe program that my mom used, and I&#39;ve been recovering her database. Turns out it&#39;s had an input-controlled buffer overrun since, well, forever! The library itself won&#39;t produce streams with the property required to trigger it, but it also doesn...
-
View post
My partner's been running a D&D campaign for our friend group for ~4 years now. A plot point had us moving 38 years forward in time (fae stuff). So obviously she's worked out the inflation rate and redone the equipment cost lists.
-
View post
Since Rust still doesn't implement Default for [u8; 2048], I find myself pulling in the (fantastic) zerocopy crate just to get new_zeroed. Because zerocopy::FromZeroes is _absolutely_ implemented for arrays of all sizes, unlike Default.
-
View post
This post captures a lot of my discomfort with generating code using LLMs: you might review it today, but so far everyone I know stops reviewing it eventually. https://dustycloud.org/blog/faulty-towers-vibe-sickness-and-the-vibe-bobsled/ Seriously considering dusting off my degree, I could start being useful in about two years of school plus supervision.
-
View post
When I started writing my accounting software in 2021, I took a shortcut that has served unexpectedly well. I wanted it to be able to read all the various CSVs and whatnot that banks and credit card companies produce, in addition to files with my own additions. The obvious choice would be "importing" these into some sort of formal database, for speed of access. But for simplicity I decided to just re-parse all of the source files -- a year or more of statements and downloads -- every...
-
View post
Couldn&#39;t sleep this morning, so I decided to clean up and publish my Smalltalk-80 VM, which is now named Verdigrist. https://codeberg.org/cliffle/verdigrist It&#39;s not complete, but it&#39;s complete enough to poke around most of the default environment, and it appears to be significantly faster than the other &quot;toy&quot; (bluebook-based) implementations. I also find it easier to understand, because I introduced types, eliminated global variables, and ensured tha...
-
View post
My firmware crashes, taking a code path that shouldn&#39;t be possible. The bug flickers in and out as I move code around, sensitive to alignment or code layout or something. In my C codebase: &quot;welp, I&#39;m clearly corrupting memory, better go hunting.&quot; In my Rust codebase: &quot;...this seems like a CPU bug.&quot; And, yes, it appears I have found an unlisted STM32 erratum. @mjk we should issue badges or coffee mugs or something.
-
View post
Fellow infosec folks: If I wanted to incentivize people to try and exploit Hubris, what should I do? What would you want to see? While open source, the system is mostly used by Oxide, a for-profit company, so I would expect &quot;am I doing this for free&quot; to come up. Explicit threat model is also good. What else? We&#39;ve hired firms for this but with mixed results (they mostly know C). I wanna open it to everyone else. I would be _delighted_ to give guidance. Boost away....
-
View post
An oldie but a goodie: https://existentialcomics.com/comic/259 Good thing this is purely a thought experiment, right? ...right?
-
View post
hey hey kid yeah, you wanna see Jean Paul Sartre kick Sam Altman in the nuts https://existentialcomics.com/comic/652
-
View post
RE: https://mastodon.social/@grimalkina/116477568123660243 I&#39;m excited to read this. You might be too.
-
View post
Well, Tindie has been back up for a few days but is still refusing to pay out money owed, so... I&#39;ve set all my products to 0-in-stock and attempted to redirect buyers to my Lectronz storefront. Amusingly, they won&#39;t let me set my store banner message to include a Lectronz URL. I bet it blocks any URL, but, given how much trust they&#39;ve squandered, this isn&#39;t a great look. #tindie
-
View post
I&#39;ve been intermittently poking at my Wordle solver from this weekend. Haven&#39;t published the code yet. But in case you&#39;re curious, - Using a parallel search strategy, it solves 2272/2315 (98.1%) of possible puzzles in original-Wordle in 6 tries or less (94.7% in &lt;=5, 83.5% in &lt;=4) - When solving any single puzzle, most are under 700ms, the worst I&#39;ve found are around 3s. - When solving _all_ puzzles, I added some simple memoization to reuse some e...
-
View post
Probably the favorite ADHD engineering trick that I use: I have notes for every project. If it&#39;s a computer project, I have a notes/ folder containing dated markdown files with stream of consciousness stuff. They seem useless at the time, but help me focus and maintain my train of thought... and more often than not prove invaluable later. Example: https://github.com/cbiffle/m4vga-rs/tree/master/notes If it&#39;s not a computer project, I have paper notebooks. For me it works best t...
-
View post
Me: "By ensuring that illegal states can't be represented and expressing the logic as a total function, we can easily reason about what the computer can and cannot do when it hits this point." The rest of my industry, sometimes: "Please. I beg you. Stop producing output about goblins. You are supposed to produce code. Why are there goblins." https://arstechnica.com/ai/2026/04/openai-codex-system-prompt-includes-explicit-directive-to-never-talk-about-goblins/
-
View post
Of Helix's various quirks and limitations, I think its incredibly low key "lol I decided not to save even though you just asked me to" warning on the very bottom line of the screen is the one that messes me up the most.
-
View post
Got nerd-sniped into thinking about modeling Wordle as a constraint-solving problem by my partner this morning, and bootstrapped something basic over lunch. It&#39;s doing _okay_ but not, like, amazing. ⬜⬜⬜⬜⬜ nidal ⬜🟨⬜🟨⬜ frosh ⬜🟨🟩⬜🟨 yurts 🟩⬜🟩🟩⬜ sprug 🟩⬜🟩🟩⬜ serum 🟩🟩🟩🟩🟩 scrub
-
View post
So Tindie was apparently working enough to send me an email that I have an order, but not well enough for me to actually view the order or fulfill it. I&#39;ve joked in the past that Tindie&#39;s rate of feature development suggests that the average number of people working on the site is zero. It&#39;s been totally down for several days at this point, and I&#39;m not delighted about being right.
-
View post
It is always a good day when I get the opportunity to introduce someone new to the works of Victor Borge. https://www.youtube.com/watch?v=TIf3IfHCoiE
-
View post
It has been difficult to motivate myself to write new articles, knowing that they will just be collected by scrapers I&#39;ve asked to stop scraping, and then regurgitated to people looking for answers. The only benefit I get from my writing is engaging with people who found it useful. I don&#39;t run ads on it, and theoretical licensing fees from the AI companies (not that they&#39;ve offered, of course) would not actually be much of a motivation. I write for people. So I&#39;...
-
View post
Somehow, none of my local friends are interested in rehoming this street score I found down the block. (It&#39;s a lab bench top centrifuge.) (That&#39;s also the alt text.)
-
View post
For my part, I&#39;m having a nice time celebrating Cis Day Of Shutting The Fuck Up And Boosting Others
-
View post
Interesting. A very cute cafe has opened near my house. Its name is a made up word from a Jorge Luis Borges story, which is an excellent way to catch my attention. (Seems an unlikely coincidence, but you never know!) And then I notice their events list mentioning @mikeolson , who&#39;s in the extended social circle of my day job. So, small world. https://www.uqbarthecafe.com/
-
View post
Collected this weekend&#39;s updates to my Smalltalk-80 VM into a new wasm build. (You may need to shift-reload it to get it to work if you&#39;ve visited before.) https://cliffle.com/tmp-st80/ There&#39;s now a speed selector to experience what was considered &quot;barely usable&quot; back in 1983 (5000 bytecodes/sec, not remotely usable by modern standards). And the VM is complete enough to run &quot;Benchmark testStandardTests.&quot; If you crank up the speed kn...
-
View post
I find most of the discourse on &quot;AI&quot; right now really painfully polarized, which is why I&#39;ve been avoiding talking about it -- I have no interest in getting sucked into it on either &quot;side.&quot; I obviously have thoughts (as an author and programmer) but they contain nuance and complexity, and I don&#39;t think there&#39;s a lot of room for that at the moment.
-
View post
Excellent post from Ralf Jung on how to think about all the scary systems stuff we do, from the perspective of Rust&#39;s abstract machine model. https://www.ralfj.de/blog/2026/03/13/inline-asm.html