Wilson Bilkovich retweeted
Claude wrote a 1,371 line Dafny proof that a concrete specification refines the abstract specification
You don't review the proof, but you review the theorem: Are you expressing the guarantee you want to express
If verification passes the guarantee holds
dafny verify is proof
Today we published @resonatehqio's abstract spec: the foundation for generating production-grade durable execution infrastructure.
Written in Lean 4 (no proofs)
Wilson Bilkovich retweeted
There are a few things that I look back on as my mistakes in the early days.
Quake was overly ambitious technically. We could have done all the great multiplayer and modding work inside a Doom++ engine, allowing the designers to work with a more stable base instead of rug-pulling everything out from underneath them a couple times. The follow up game could have then brought in full 6DOF environments and characters.
I pushed everyone too hard. I didn’t appreciate how maturing companies need more slack, and that running people at startup intensity constantly will wear them out. Quake was also where I really had to accept my personal limits. I was working pretty much as hard as humanly possible, and I was still slipping past my goal points.
On all of the founders’ shoulders, our original corporate stock arrangement and buy/sell agreement was a mistake, and resulted in bad incentives. We wanted to ensure that all ownership rested in the hands of people working hard on current projects, but the Silicon Valley standard approach of vesting stock would have worked out better.
One real problem that I don’t accept the blame for is that we were insisting that level designers be not just game designers, but also have strong visual design esthetics. They needed to make things that not only played well, but looked awesome, and it got more challenging as the technology provided a richer palette. Romero covered that well, which set our company expectations early on.
We should have figured out how to pair up artists and designers earlier, but there was infighting among the designers, and the ones that could manage the visuals were happy to disparage the ones that couldn’t.
Sorry, Sandy.
How Quake ruined id Software.
There has been a lot of praise of Quake of late, with its 30th anniversary, and it's deserved. Quake is an amazing feat of art, programming, and design. I worked on it, and everything came together almost perfectly from all of us. We ended up with a free-wheeling, frenetic action game with enough of a visible world to grip the imagination.
All the team did a brilliant job, fulfilling tasks just right. But at a grim cost. We worked long and hard, and I think it broke us spiritually.
1/3
Wilson Bilkovich retweeted
56,000+ tokens/sec at just 80 MHz. 🤯
I burned a full Transformer with KV cache into a custom chip. Designed gate by gate as a 100% digital integrated circuit. Prototyped on a FPGA. (No GPU. No CPU)
Just pure digital silicon running @karpathy microGPT, spelling out names on a tiny LCD.
This is GateGPT 👇
Wilson Bilkovich retweeted
von neumann bottleneck is real,neuromorphic architecture is the honest respone to it.
but building hardware is the hard part
(thread)
Wilson Bilkovich retweeted
Multiple large natural experiments have documented Shingles vaccine is linked with ~20-25% reduced risk of dementia and Alzheimer's disease. A new report today adds to that and extends the to slowing the progression of dementia @CellCellPress
cell.com/cell/fulltext/S0092…
Wilson Bilkovich retweeted
I just realized why my instinct is to spec the shit out of stuff before letting an LLM generate code.
Rally racing pacenotes. I realized I'm instinctively writing pacenotes. LOL this is amazing.
Kids, let me teach you something.
1/
Replying to @mov_axbx
This spec is almost 2k lines long so far. Seriously, we "program" this thing for a few hours before it's ready. This is when I as the human mainly get my say.
It's not so big because we pile on scope, it's big because it's detailed. Tons of decisions in this thing by the time it's done.
After it's done, it's going to get split up into multiple files for easy reinspection. TBH I've considered making a stupid MCP tool for it to use to refer to spec as it builds.
Wilson Bilkovich retweeted
Second Life is hiring a SVP Engineering... leading all engineering for the company, at our San Francisco office. Consider joining us! #secondlife
Wilson Bilkovich retweeted
A young man in Chengdu, China used technology to make “flying swords” in real life.
He controls many drone-like swords with hand gestures, making it look like scenes from a fantasy movie.
People online are amazed and call it “modern-day kung fu tech.”
Wilson Bilkovich retweeted
10/24
Several things make cruise missiles more expensive than just cheap sheet metal.
Navigation requires high performance ring laser gyros (triangle, straight path) or fiber optic gyro (coil). Both rely on the Sagnac effect: if you split a laser beam into two counter-rotational paths, under acceleration, the length that the light travels on each leg is slightly different, so when the light gets back, the interference of the waves and crests forms a moving fringe pattern.
Unfortunately, measuring acceleration means that you have to integrate once for velocity and again for position, which gives you up to a t^3 rate error in where you are actually pointing, which means as soon as you lose GPS signal, your location goes to shit. If you want it to go to shit not as quickly, you have to pay a lot for it.
The pricing for the Honeywell IMUs shown is roughly: $30k, $50k, $120k. Those are ring laser gyros; fiber optic gyros can be a little more cost-effective for performance (performance being a vector of many attributes), but not by much. There is no company that makes a "10x cheaper" version of these. Even a several thousand dollar MEMS IMU will be vastly and unacceptably worse.
(Sidenote: what do you think the $5m top secret IMUs look like if such things exist?)
Wilson Bilkovich retweeted
Let me introduce you to my most novel and oldest technique to verify if sites behind CDN are hosted in Inside Iran or not. Works most of the time. I call it the BOOBS CHECK.
curl -i https://domain/boobs.jpg
If your response is a 403 with 10.10.34.x IP in body, you're landing inside IR. Result of basic censorship filtering applied on traffic.
Wilson Bilkovich retweeted
This is the world boomers grew up in and they will look Gen Z men straight in the eye and say "we had it harder because TVs were relatively more expensive"
Completely ignorant of the insane social wealth they were swimming in
Wilson Bilkovich retweeted
Study finds 100% of men would immediately quit their desk job if asked to join a deep-space defence regiment and die protecting the dyson spheres powering human civilization from hostile alien empires
Wilson Bilkovich retweeted
The greatest opening sequence in any movie ever is Takashi Miike’s “Dead or Alive”.
I used to show it to my game design class to show them a montage that tells a compelling story from which you cannot look away. I’ve shown it to film critics, game designers, etc. Everyone is blown away.
It is NSFW.
Wilson Bilkovich retweeted
Conservative young woman: “Guns are an equalizer. I cannot fight a 200-lb man off.”
Liberal older dude: “You look tough. You might be able to.”
What good are liberal dudes actually? These are the guys who preach about not “mansplaining” and listening to women always, right? lol












































