Hi friends! Over the winter holiday I indulged myself in creating a programming system, mixing a spreadsheet’s data-forward UI with Alloy-like relational semantics and a healthy (but probably computationally intractable) dash of logic programming. I’ll be presenting it at the London Future of Coding Meetup on Feburary 10th, hopefully I’ll see you there!
(Don’t worry if you can’t make it, I’ll send a demo recording next newsletter.)
Unfortunately, this project has distracted me from the harder-than-initially-expected problem of compiling a series of tubes, which continues to rattle around the back of my mind.
Until next time!
“However, we do think that market efficiency provides a powerful outside view for forecasting AI timelines and for making financial decisions. Based on prevailing real interest rates, the market seems to be strongly rejecting timelines of less than ten years, and does not seem to be placing particularly high odds on the development of transformative AI even 30-50 years from now.”
“So there was this fairly major publication wherein I’d talked about being married, and it turned out that worked against me when trying to get Wikipedia to recognize my divorce.”
“This worked for a long time, and it was when I was up about 2000%, SBF decided to 1. brick my account 2. change the rebalancing process so they frontran my frontrun.”
Proving the safety of the Wrapped ETH smart contract, using the Z3 Theorem Prover
“Turns out diffusion models can design proteins too!”
“Those who are betting on the learning curve to markedly reduce current exorbitant nuclear costs and interminable build times, are very likely to be disappointed. What’s required is regulatory stability and competition.”
The problem is that the bad consequences of underconfidence and under-ambition are severe but subtle, whereas the bad consequences of overconfidence and wishful thinking are milder but more obvious.
“There is never going to be a time before the end when you can look around nervously, and see that it is now clearly common knowledge that you can talk about AGI being imminent, and take action and exit the building in an orderly fashion, without fear of looking stupid or frightened.”
“In diseases like RP and dry AMD, the light-sensitive cells in the back of the eye – the photoreceptors – have died, but the cells of the optic nerve itself remain. By inserting a gene into the cells of the optic nerve, we can make it possible to stimulate them using a small display inserted into the eye.”
Usability hack: Click & drag anywhere in macOS windows to move them
Planes are still decades away from displacing most bird jobs
SIPLACE BulkFeeder - high speed component feeding without splicing
Inside the Mind-Boggling World of the Antiquities Theft Task Force