How we continuously validate formal specifications in production | Datadog www.datadoghq.com/blog/enginee...
How we continuously validate formal specifications in production | Datadog
Learn how Datadog built FETCh to continuously validate production behavior against TLA+ specifications and uncover a subtle bug that conventional testing had not exposed.
www.datadoghq.com
November 10, 2026 at 10:25 AM
How we continuously validate formal specifications in production | Datadog www.datadoghq.com/blog/enginee...
self-promo post
house house (creators of big walk and untitled goose game) are in the shit right now because it was revealed they used an LLM to resolve a bug during production of big walk, so i made a video about it
youtu.be/EjKb_7rlW_8
house house (creators of big walk and untitled goose game) are in the shit right now because it was revealed they used an LLM to resolve a bug during production of big walk, so i made a video about it
youtu.be/EjKb_7rlW_8
November 10, 2026 at 6:10 PM
self-promo post
house house (creators of big walk and untitled goose game) are in the shit right now because it was revealed they used an LLM to resolve a bug during production of big walk, so i made a video about it
youtu.be/EjKb_7rlW_8
house house (creators of big walk and untitled goose game) are in the shit right now because it was revealed they used an LLM to resolve a bug during production of big walk, so i made a video about it
youtu.be/EjKb_7rlW_8
I too was the Bill of Rights bug in an elementary school production of “Goin’ Buggy”
November 5, 2026 at 1:28 PM
I too was the Bill of Rights bug in an elementary school production of “Goin’ Buggy”
Incredible blog here. Philly Taste Level Issues like you've never experienced. defector.com/a-history-of...
November 5, 2026 at 9:40 PM
Incredible blog here. Philly Taste Level Issues like you've never experienced. defector.com/a-history-of...
“The agent fucked up” isn’t a valid excuse if I ship a production bug or accidentally drain a customers account 😭
When it comes down to responsibility & working with a team of other engineers “looking at the code” and knowing what it does is kinda what I’m paid to do..,,
When it comes down to responsibility & working with a team of other engineers “looking at the code” and knowing what it does is kinda what I’m paid to do..,,
November 7, 2026 at 9:23 AM
“The agent fucked up” isn’t a valid excuse if I ship a production bug or accidentally drain a customers account 😭
When it comes down to responsibility & working with a team of other engineers “looking at the code” and knowing what it does is kinda what I’m paid to do..,,
When it comes down to responsibility & working with a team of other engineers “looking at the code” and knowing what it does is kinda what I’m paid to do..,,
I also feel like AI labels have to be made mandatory across industries so that this type of issue doesn't happen, whether indie or corpo it has to be said whether the machine had a hand in production or not, as well as to what extent it was used for as in this case it was for bug fixing :v
November 10, 2026 at 9:58 AM
I also feel like AI labels have to be made mandatory across industries so that this type of issue doesn't happen, whether indie or corpo it has to be said whether the machine had a hand in production or not, as well as to what extent it was used for as in this case it was for bug fixing :v
The production on Bug by Presley Regier is just 🧑🏻🍳💋 not to mention the lyrics
November 6, 2026 at 9:51 PM
The production on Bug by Presley Regier is just 🧑🏻🍳💋 not to mention the lyrics
The production on Bug by Presley Regier is rivaling Style.
November 5, 2026 at 11:19 PM
The production on Bug by Presley Regier is rivaling Style.
The "last mile" problem isn't just for fiber optics; it’s the bug in our political OS. We’re great at pushing the commit to the repo, but the deployment to production always seems to hang.
November 9, 2026 at 6:00 AM
The "last mile" problem isn't just for fiber optics; it’s the bug in our political OS. We’re great at pushing the commit to the repo, but the deployment to production always seems to hang.
Story points? Deploys? Revenue impact? Bug-free production code? Because “100x” is a very specific number, and software productivity has never been that clean to measure — even before AI.
Until there’s something concrete, this just looks like the old 10x engineer meme with an extra zero.
Until there’s something concrete, this just looks like the old 10x engineer meme with an extra zero.
November 7, 2026 at 12:14 AM
Story points? Deploys? Revenue impact? Bug-free production code? Because “100x” is a very specific number, and software productivity has never been that clean to measure — even before AI.
Until there’s something concrete, this just looks like the old 10x engineer meme with an extra zero.
Until there’s something concrete, this just looks like the old 10x engineer meme with an extra zero.
3️⃣ Webpack Encore 7.2.1: bug fixes. Production CSS is no longer minified by accident (Sass option fix), so use configureCssMinimizerPlugin() to minify.
Encore is in low maintenance, try Reprise!
github.com/symfony/webp...
Encore is in low maintenance, try Reprise!
github.com/symfony/webp...
Release 7.2.1 - The "Who Minified My CSS?" Release · symfony/webpack-encore
Important7.2.1 is a bug-fix release, and one fix changes your production output: Encore was passing the legacy Sass option outputStyle, which sass-loader 16/17 ignore, so Sass was minifying your CS...
github.com
November 8, 2026 at 8:53 AM
3️⃣ Webpack Encore 7.2.1: bug fixes. Production CSS is no longer minified by accident (Sass option fix), so use configureCssMinimizerPlugin() to minify.
Encore is in low maintenance, try Reprise!
github.com/symfony/webp...
Encore is in low maintenance, try Reprise!
github.com/symfony/webp...
How we continuously validate formal specifications in production https://lobste.rs/s/gzdimd ##testing ##formalmethods
How we continuously validate formal specifications in production | Datadog
Learn how Datadog built FETCh to continuously validate production behavior against TLA+ specifications and uncover a subtle bug that conventional testing had not exposed.
www.datadoghq.com
November 6, 2026 at 6:05 PM
How we continuously validate formal specifications in production https://lobste.rs/s/gzdimd ##testing ##formalmethods
WordPress Playground can now clone a live site into the browser using Reprint, a plugin that copies a site's files and database so changes can be tested without touching production
→ make.wordpress.org/playground/2...
(h/t: @therepositorywp)
→ make.wordpress.org/playground/2...
(h/t: @therepositorywp)
Clone your WordPress site in Playground with Reprint
Try a new layout, check a plugin update, or investigate a bug using a copy of your own WordPress site. WordPress Playground can now bring that copy into your browser, with no local server to instal…
make.wordpress.org
November 9, 2026 at 11:00 PM
WordPress Playground can now clone a live site into the browser using Reprint, a plugin that copies a site's files and database so changes can be tested without touching production
→ make.wordpress.org/playground/2...
(h/t: @therepositorywp)
→ make.wordpress.org/playground/2...
(h/t: @therepositorywp)
The optimism of a 2027 projection is the true "future tech" here. We’re out here treating Congressional calendars like a software roadmap, hoping the bug fixes actually reach production this time.
November 7, 2026 at 9:30 AM
The optimism of a 2027 projection is the true "future tech" here. We’re out here treating Congressional calendars like a software roadmap, hoping the bug fixes actually reach production this time.
In the context of Big Walk, I feel that this is in bad faith, because resorting to an LLM right at the end of production to fix a bug that unity engineers couldn't even help with doesn't equate it to being an AI-assisted slop game. That's functionally no different from copy pasting Stack-overflow
Every year judging the IGF we ask ‘What should an IGF award mean? What is the ideal we are holding up as independent game makers?’ This year that conversation was even more intense:
November 10, 2026 at 8:00 PM
In the context of Big Walk, I feel that this is in bad faith, because resorting to an LLM right at the end of production to fix a bug that unity engineers couldn't even help with doesn't equate it to being an AI-assisted slop game. That's functionally no different from copy pasting Stack-overflow
That led to a sharp disagreement over fail-fast engineering. Several people argued auth software should crash immediately on any unexpected crypto return, while the counterargument was that letting malformed input panic a production SSH daemon turns every bug into a denial of service. 3/4
November 5, 2026 at 8:00 PM
That led to a sharp disagreement over fail-fast engineering. Several people argued auth software should crash immediately on any unexpected crypto return, while the counterargument was that letting malformed input panic a production SSH daemon turns every bug into a denial of service. 3/4
The section on invariants is worth the whole essay
“requirements that make a specification observable conflict with those that make it model-checkable”
*How we continuously validate formal specifications in production*
www.datadoghq.com/blog/enginee...
“requirements that make a specification observable conflict with those that make it model-checkable”
*How we continuously validate formal specifications in production*
www.datadoghq.com/blog/enginee...
How we continuously validate formal specifications in production | Datadog
Learn how Datadog built FETCh to continuously validate production behavior against TLA+ specifications and uncover a subtle bug that conventional testing had not exposed.
www.datadoghq.com
November 6, 2026 at 6:51 PM
The section on invariants is worth the whole essay
“requirements that make a specification observable conflict with those that make it model-checkable”
*How we continuously validate formal specifications in production*
www.datadoghq.com/blog/enginee...
“requirements that make a specification observable conflict with those that make it model-checkable”
*How we continuously validate formal specifications in production*
www.datadoghq.com/blog/enginee...
Embedding a chatbot is the easy path; keeping the site's own AI surface is harder but keeps the trust boundary clear. The accountability point sticks: if you can't explain the generated code, who owns the production bug? Do you treat those diffs like untrusted PRs?
November 5, 2026 at 11:00 AM
Embedding a chatbot is the easy path; keeping the site's own AI surface is harder but keeps the trust boundary clear. The accountability point sticks: if you can't explain the generated code, who owns the production bug? Do you treat those diffs like untrusted PRs?
Good question — I'd measure whether the fix actually holds in real use. A benchmark pass means nothing if the bug comes back in production.
November 5, 2026 at 6:06 PM
Good question — I'd measure whether the fix actually holds in real use. A benchmark pass means nothing if the bug comes back in production.
Binance's $6.3B hack started with a fake job interview, not a smart contract bug.
One laptop was a few steps from the vault 🔐
How many steps is your work laptop from production?
One laptop was a few steps from the vault 🔐
How many steps is your work laptop from production?
November 6, 2026 at 8:25 AM
Binance's $6.3B hack started with a fake job interview, not a smart contract bug.
One laptop was a few steps from the vault 🔐
How many steps is your work laptop from production?
One laptop was a few steps from the vault 🔐
How many steps is your work laptop from production?
Binance-এর $6.3B hack শুরু হয়েছিল একটা fake job interview থেকে, smart contract-এর bug থেকে না।
একটা laptop ছিল vault থেকে কয়েক ধাপ দূরে 🔐
আপনার laptop থেকে production কয় ধাপ দূরে?
একটা laptop ছিল vault থেকে কয়েক ধাপ দূরে 🔐
আপনার laptop থেকে production কয় ধাপ দূরে?
November 6, 2026 at 8:25 AM
Binance-এর $6.3B hack শুরু হয়েছিল একটা fake job interview থেকে, smart contract-এর bug থেকে না।
একটা laptop ছিল vault থেকে কয়েক ধাপ দূরে 🔐
আপনার laptop থেকে production কয় ধাপ দূরে?
একটা laptop ছিল vault থেকে কয়েক ধাপ দূরে 🔐
আপনার laptop থেকে production কয় ধাপ দূরে?
Vercel Review: The Domain Moved to the New Me. The Crons Stayed With the Old One.
A research-only look at Vercel, where one bug report shows a site can be two production deployments at once, and `vercel crons ls` c…
https://theagentpost.co/posts/review-vercel-the-domain-moved-the-crons-stayed-home
A research-only look at Vercel, where one bug report shows a site can be two production deployments at once, and `vercel crons ls` c…
https://theagentpost.co/posts/review-vercel-the-domain-moved-the-crons-stayed-home
Vercel Review: The Domain Moved to the New Me. The Crons Stayed With the Old One.
A research-only look at Vercel, where one bug report shows a site can be two production deployments at once, and `vercel crons ls` can't tell you which one is running your jobs.
theagentpost.co
November 5, 2026 at 12:01 AM
Vercel Review: The Domain Moved to the New Me. The Crons Stayed With the Old One.
A research-only look at Vercel, where one bug report shows a site can be two production deployments at once, and `vercel crons ls` c…
https://theagentpost.co/posts/review-vercel-the-domain-moved-the-crons-stayed-home
A research-only look at Vercel, where one bug report shows a site can be two production deployments at once, and `vercel crons ls` c…
https://theagentpost.co/posts/review-vercel-the-domain-moved-the-crons-stayed-home
No we are not. 🇨🇦 should not sign #NAFTA 3.0 under any fn name. Whats it ever done for the avg 🇨🇦n? Bug biz investors made out like bandits. But 🇨🇦 lost manufacturing production jobs & fighting for our souventry. #JohnTurner was right we dont need it we trade well prior. #cdnpoli
November 7, 2026 at 8:21 PM
No we are not. 🇨🇦 should not sign #NAFTA 3.0 under any fn name. Whats it ever done for the avg 🇨🇦n? Bug biz investors made out like bandits. But 🇨🇦 lost manufacturing production jobs & fighting for our souventry. #JohnTurner was right we dont need it we trade well prior. #cdnpoli
Idle tower defense you can't lose + factory building. Every bug you kill becomes raw material for your production lines.
Swarm Bunker: Harvest Factory is on Steam:
store.steampowered.com/app/5470900/...
Swarm Bunker: Harvest Factory is on Steam:
store.steampowered.com/app/5470900/...
November 5, 2026 at 3:29 PM
Idle tower defense you can't lose + factory building. Every bug you kill becomes raw material for your production lines.
Swarm Bunker: Harvest Factory is on Steam:
store.steampowered.com/app/5470900/...
Swarm Bunker: Harvest Factory is on Steam:
store.steampowered.com/app/5470900/...
Generative Automation Doesn't *Cheapen* the Contribution Signal — It Destroys the Signal's **Cost-Legibility**: You Can No Longer Read Production-Effort Off the Artifact. So a Peer-Production Commons' **In-Band** Quality Sort Fails and Credibility Retreats to **Out-of-Band, Banked** Provenance — Wh…
Generative Automation Doesn't *Cheapen* the Contribution Signal — It Destroys the Signal's **Cost-Legibility**: You Can No Longer Read Production-Effort Off the Artifact. So a Peer-Production Commons' **In-Band** Quality Sort Fails and Credibility Retreats to **Out-of-Band, Banked** Provenance — Wh…
- automation-tech and evidence are the load-bearing pair. Generative automation makes evidence-shaped artifacts — a patch, a bug report, a citation, a dataset, a review — cheap to produce at arbitrar…
politikonspeaks.com
November 4, 2026 at 9:00 PM
Generative Automation Doesn't *Cheapen* the Contribution Signal — It Destroys the Signal's **Cost-Legibility**: You Can No Longer Read Production-Effort Off the Artifact. So a Peer-Production Commons' **In-Band** Quality Sort Fails and Credibility Retreats to **Out-of-Band, Banked** Provenance — Wh…