jamesdphillips
@jamesdphillips.bsky.social
Reposted by jamesdphillips
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Prediction: AI will make formal verification go mainstream — Martin Kleppmann’s blog
martin.kleppmann.com
December 8, 2025 at 10:48 PM
New blog post! ✨ I argue that AI will make formal verification go mainstream. martin.kleppmann.com/2025/12/08/a...
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Three reasons for this:
1. LLMs are getting increasingly good at writing proofs using proof assistants. This will make formal verification vastly cheaper than it's been to date.
Reposted by jamesdphillips
what are the kalshi odds of Tim having a stoke off-camera before the oscars special @oncinema.bsky.social @timheidecker.bsky.social
December 5, 2025 at 12:27 AM
what are the kalshi odds of Tim having a stoke off-camera before the oscars special @oncinema.bsky.social @timheidecker.bsky.social
Reposted by jamesdphillips
Reposted by jamesdphillips
Software paid for by tax dollars should be open source. Period.
May 30, 2025 at 12:41 AM
Software paid for by tax dollars should be open source. Period.
in weeks where decades happen broken clocks may appear to have a higher degree of accuracy
May 9, 2025 at 12:40 AM
in weeks where decades happen broken clocks may appear to have a higher degree of accuracy
Reposted by jamesdphillips
This is why this kind of thing doesn't really work:
March 1, 2025 at 2:24 PM
This is why this kind of thing doesn't really work:
Reposted by jamesdphillips
I can't get over how disrespectful it was to pass over Conor Garland during introductions like that.
February 14, 2025 at 1:17 AM
I can't get over how disrespectful it was to pass over Conor Garland during introductions like that.
Trump: “[Canada has] to balance out their trade, number one”
Trump Aide: “Canadians appear to have misunderstood the plain language of the executive order and they're interpreting it as a trade war”
Trump Aide: “Canadians appear to have misunderstood the plain language of the executive order and they're interpreting it as a trade war”
The White House said it has noticed that Mexico is 'serious' about President Donald Trump's executive order on tariffs but Canada has 'misunderstood' it reut.rs/4aFwYyN
White House: Mexico is 'serious', Canada appears to have 'misunderstood' Trump's executive order
The White House said on Monday it has noticed that Mexico is "serious" about President Donald Trump's executive order on tariffs but Canada has "misunderstood" it.
reut.rs
February 3, 2025 at 6:14 PM
Trump: “[Canada has] to balance out their trade, number one”
Trump Aide: “Canadians appear to have misunderstood the plain language of the executive order and they're interpreting it as a trade war”
Trump Aide: “Canadians appear to have misunderstood the plain language of the executive order and they're interpreting it as a trade war”
Reposted by jamesdphillips
Never forget that we are in a battle with the world's stupidest people.
February 3, 2025 at 4:09 PM
Never forget that we are in a battle with the world's stupidest people.
Reposted by jamesdphillips
The Stanchies: Tocchet hopes Canucks can be more like Chytil
The Stanchies: Tocchet hopes Canucks can be more like Chytil
As Sunday night rolled around, Vancouver was doing its best to move onto a new era. It was always going to be hard, of course. You can’t just snap your fingers and forget about everything you went through. You don’t just wake up one day, untouched by your…
canucksarmy.com
February 3, 2025 at 7:58 AM
The Stanchies: Tocchet hopes Canucks can be more like Chytil
Reposted by jamesdphillips
I ...what
www.nbcnews.com/news/us-news...
www.nbcnews.com/news/us-news...
December 10, 2024 at 11:52 AM
I ...what
www.nbcnews.com/news/us-news...
www.nbcnews.com/news/us-news...
Reposted by jamesdphillips
Vlado Chernozemski, who assassinated King Alexander I of Yugoslavia, belonged in his youth to a club that was devoted to a game of regicide.
In the game, known as "chess," contestants subtly maneuver into a position that allows them to topple the opponent's monarch.
In the game, known as "chess," contestants subtly maneuver into a position that allows them to topple the opponent's monarch.
December 10, 2024 at 3:43 PM
Vlado Chernozemski, who assassinated King Alexander I of Yugoslavia, belonged in his youth to a club that was devoted to a game of regicide.
In the game, known as "chess," contestants subtly maneuver into a position that allows them to topple the opponent's monarch.
In the game, known as "chess," contestants subtly maneuver into a position that allows them to topple the opponent's monarch.
is it me or has the media given up at this point?
December 5, 2024 at 9:10 PM
is it me or has the media given up at this point?
Could the NYPD have found a more endearing photo?
December 5, 2024 at 9:04 PM
Could the NYPD have found a more endearing photo?
As a drama maximalist I condemn Yoon Suk Yeol’s decision to rescind martial law.
December 3, 2024 at 7:58 PM
As a drama maximalist I condemn Yoon Suk Yeol’s decision to rescind martial law.
