Got too many degrees. Nerd. Product Builder.
Palm Harbor
Joined July 2008
- Tweets3.7K
- Following2.4K
- Followers770
- Likes194
Chris Kluis retweeted
Here's Campfire in Goose.
It serves pages
- 1.2x faster than the Jai implementation
- 6.9x faster than the Rust implementation
Live messages to 64 readers: 1.4x faster than Jai.
At 10,000 readers: 38 MiB vs Jai's 651 MiB, p99 0.25 s vs 15 s.
github.com/kaitk/once-campfi…
Chris Kluis retweeted
turns out bend was ahead of the curve
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Chris Kluis retweeted
If you just read on this this week, let it be this blog by Ant and Theorem Labs. Traditional software testing can not capture system behaviour for each an every scenario that formal verification can.
Quote: "Claude also discovered bugs that had eluded detection for years, despite trillions of test runs. As model capabilities continue to improve, we expect formal verification to become an essential part of secure software development."
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Chris Kluis retweeted
Let me put my TypeScript hat back on for a minute
Content mappers look outrageously exciting. This is now possible:
1. import any non-TypeScript file (markdown, vue, svelte)
2. Write a content mapper to extract types from it
3. Run tsc with --runExternalCode
4. You get type inference from NON TYPESCRIPT CODE
The simplest case:
1. Import a markdown file
2. Add a bit of config to tsconfig.json
3. Run tsc with --runExternalCode
4. Get fully typed markdown frontmatter
Unbelievably useful, a dreamland for tinkerers
TypeScript 7.1 Beta is now available! Now with a preview API, content mapper support, new features, and some great optimizations. Give it a try and give us some feedback! devblogs.microsoft.com/types…
Chris Kluis retweeted
Product KPIs, scored live 📊
Drag a guardrail. Every KPI Status re-scores.
• 4W / 13W / 26W views
• Promo week drill-down
• Per-market KPI map
• Trend vs prior period
• Nested filter groups
• Break-even as you type
• Full details sheet
Built on @shadcn + @tan_stack Table
Chris Kluis retweeted
iPhone-style folders for your Mac Dock. Group apps, shorten the Dock, keep every app one click away.
Chris Kluis retweeted
Introducing Pixel - a library for building GUIs in the terminal
- 120 FPS pixel-perfect graphics
- Embeddable inside existing TUIs
- Built in chromium webview component
pixelgui.com
Chris Kluis retweeted
nah bro we're in a simulation for sure
This entire ocean is a 61 KB HTML file.
Built with Claude Code + Opus 5.5 in about 30 minutes, according to its creator.
It runs in the browser using WebGPU: FFT waves, whitecaps, sun glitter, a physically based sunset sky with clouds, and a free-flying camera. No game engine or rendering library.
Claude rendered screenshots in headless Chrome, then had separate subagents critique them. The creator gave feedback along the way, mainly on the clouds.
The 61 KB build is minified and self-contained. Download it, open it in Chrome with WebGPU support, and explore with WASD.
Chris Kluis retweeted
Source code is not available yet; it will be available in the coming weeks. Launching the website now to get the project qualified for @AnthropicAI [1] Glasswing
overalls.dev/
[1] 🐜 folks, hit me up in DMs.
Chris Kluis retweeted
Introducing TrellisWM:
The Fractal Window Manager for MacOS
Its how the desktop should have always been.
Download at
TrellisWM.app
Chris Kluis retweeted
As CEO of Product Hunt, I see hundreds of launches a week. One trait separates winners from losers.
Every few months, new models come out. Some products become better, effortlessly. Some don't improve, or become irrelevant.
This property needs a name. I'm calling it Buoyancy.
Buoyant startups rise with model improvements the way a boat rises with the tide.
Anti-buoyant startups come in two flavors: over-scaffolded (which hinders the new, smarter models) and too thin - which makes them redundant when models improve.
To be buoyant, you need a "hull" - usually proprietary data, a vertical-specific harness, network effects, or distribution advantage. This hull keeps you buoyant as models improve.
Hulls are the new moats.
My number one advice to startups in 2026: Be buoyant. Find your hull.
(Full essay on my blog)
Chris Kluis retweeted
ReUI v2.8.0 is out! 🚀
66 new open-source components, 7 Pro blocks, and 29 icons.
Now totaling 1,240 free components, 636 Pro blocks, and 660 icons in 4 styles.
Explore what's new 👇
reui.io/roadmap
Chris Kluis retweeted
Token prices keep falling and GPU rental prices keep rising
Intelligence gets cheaper, usage goes up, and a model ends up in every piece of software
TypeSafe AI's Diogo Almeida on why Jev is called Jev, and what cheap intelligence finally changes about software:
"It's wild that AI is so cool and software has been unchanged in 10 years... The most we can do is add a little chatbot in the side sometimes that can take actions, but not all actions."
"TypeSafe is making AI for software. We want to make AI powerful, not just for humans in the loop, but to actually build real software."
"It's about the laziness to spend 10 hours to do the five-minute task instantly and to never have to do it again. It should be an ROI decision for people who automate stuff. I would just like it to be automatable."
"I think that people will just make new kinds of work, hence the Jev in Jevons. New kinds of work once that stuff is doable."
"As we have lots of intelligence at lots of different cost and speed trade-offs, the super systems-y types will be making trade-offs. Jev's gonna be 1000x too smart for them. They just want an approximate guess to optimistically route here and there."
Martin Casado: "The good news is we get to rebuild systems again. We have a new primitive. It's kind of a new way of thinking about doing software."
@CompleteSkeptic @typesafeai @bhorowitz @martin_casado