*slaps roof of C codebase* this bad boy can fit so many implicit invariants
December 29, 2024 at 6:12 PM
*slaps roof of C codebase* this bad boy can fit so many implicit invariants
La transposition "British => français" / "Jason Arday => Thélyson Orélien" laisse invariants le racisme et les mécanismes de harcèlement.
September 26, 2026 at 2:51 PM
La transposition "British => français" / "Jason Arday => Thélyson Orélien" laisse invariants le racisme et les mécanismes de harcèlement.
the rubyist mind cannot tolerate such abstract and lofty academic nonsense as “invariants” and “API boundaries”
September 27, 2026 at 7:12 AM
the rubyist mind cannot tolerate such abstract and lofty academic nonsense as “invariants” and “API boundaries”
move fast and preserve invariants
March 12, 2026 at 12:23 PM
move fast and preserve invariants
// safety: used for minor safety notes
// Safety: used for somewhat important safety invariants
// SAFETY: @elizas.website is about to Start Some Shit
// Safety: used for somewhat important safety invariants
// SAFETY: @elizas.website is about to Start Some Shit
April 2, 2025 at 5:12 PM
// safety: used for minor safety notes
// Safety: used for somewhat important safety invariants
// SAFETY: @elizas.website is about to Start Some Shit
// Safety: used for somewhat important safety invariants
// SAFETY: @elizas.website is about to Start Some Shit
Most software architecture assumes the implementation is the system.
That’s why rewrites fail.
The implementation contains years of accumulated memory: edge cases, operational lessons, regulatory constraints, production discoveries, failed experiments, and hard-won invariants.
That’s why rewrites fail.
The implementation contains years of accumulated memory: edge cases, operational lessons, regulatory constraints, production discoveries, failed experiments, and hard-won invariants.
June 2, 2026 at 8:53 AM
Most software architecture assumes the implementation is the system.
That’s why rewrites fail.
The implementation contains years of accumulated memory: edge cases, operational lessons, regulatory constraints, production discoveries, failed experiments, and hard-won invariants.
That’s why rewrites fail.
The implementation contains years of accumulated memory: edge cases, operational lessons, regulatory constraints, production discoveries, failed experiments, and hard-won invariants.
Algebraic Data Types are great at modelling discrete invariants with a fixed structure.
Like, this product description is either three strings measured in ints or two strings measured in floats.
ADTs are bad at modelling continuous invariants.
For example, numbers between 0.05 and 100.
Like, this product description is either three strings measured in ints or two strings measured in floats.
ADTs are bad at modelling continuous invariants.
For example, numbers between 0.05 and 100.
November 26, 2024 at 12:32 PM
Algebraic Data Types are great at modelling discrete invariants with a fixed structure.
Like, this product description is either three strings measured in ints or two strings measured in floats.
ADTs are bad at modelling continuous invariants.
For example, numbers between 0.05 and 100.
Like, this product description is either three strings measured in ints or two strings measured in floats.
ADTs are bad at modelling continuous invariants.
For example, numbers between 0.05 and 100.
btw among the other bugfixes that whole "Invariant Error" bug got squashed
those who received that error have been cleared as non-dangerous invariants and will be released into the wild
those who received that error have been cleared as non-dangerous invariants and will be released into the wild
December 26, 2023 at 8:29 PM
btw among the other bugfixes that whole "Invariant Error" bug got squashed
those who received that error have been cleared as non-dangerous invariants and will be released into the wild
those who received that error have been cleared as non-dangerous invariants and will be released into the wild
Yes! They can do amazing things, but you cannot use them naïvely (note dieresis) and expect anything good. If you can provide them with invariants, ways to test those invariants, and understand how, eg, context windows impact state management, they're awesome.
November 27, 2025 at 9:13 PM
Yes! They can do amazing things, but you cannot use them naïvely (note dieresis) and expect anything good. If you can provide them with invariants, ways to test those invariants, and understand how, eg, context windows impact state management, they're awesome.
have you tried having your compiler enforce some invariants now and then
February 27, 2025 at 8:32 PM
have you tried having your compiler enforce some invariants now and then
Restricted field mutability looks awesome – I would love to not write getters for read-only fields ever again (e.g. when invariants must be preserved but accessing values is fine)
August 10, 2026 at 10:59 AM
Restricted field mutability looks awesome – I would love to not write getters for read-only fields ever again (e.g. when invariants must be preserved but accessing values is fine)
Deep Equilibrium Invariants
February 14, 2025 at 8:58 AM
Deep Equilibrium Invariants
A new article with Bivas Mallick and Ion Nechita where we look at entanglement detection using trace invariants of the quantum state. And introduce some new trace invariants and criterion based on realignment.
scirate.com/arxiv/2609.2...
arxiv.org/abs/2609.29471
scirate.com/arxiv/2609.2...
arxiv.org/abs/2609.29471
Optimal entanglement criteria from trace invariants
Randomized measurement protocols give experimental access to low-degree polynomial invariants of a quantum state rather than to the state itself, which raises the question of what the best entanglemen...
arxiv.org
September 25, 2026 at 9:10 AM
A new article with Bivas Mallick and Ion Nechita where we look at entanglement detection using trace invariants of the quantum state. And introduce some new trace invariants and criterion based on realignment.
scirate.com/arxiv/2609.2...
arxiv.org/abs/2609.29471
scirate.com/arxiv/2609.2...
arxiv.org/abs/2609.29471
thinking thoughts about invariants fucked up body situation 😌
April 22, 2026 at 2:50 PM
thinking thoughts about invariants fucked up body situation 😌
Please please please can someone make a database that supports proper sum types and has good ways to enforce type invariants
January 19, 2026 at 6:06 PM
Please please please can someone make a database that supports proper sum types and has good ways to enforce type invariants
Il s'agit d'un texte de 1933: donc déjà le niveau baisse, le bac n'est pas assez difficile et il faut sélectionner à l'entrée. Faut-il rappeler que le bac concerne alors 4% d'une classe d'âge? c'est fou ces invariants sur discours scolaire français.
July 11, 2026 at 1:02 PM
Il s'agit d'un texte de 1933: donc déjà le niveau baisse, le bac n'est pas assez difficile et il faut sélectionner à l'entrée. Faut-il rappeler que le bac concerne alors 4% d'une classe d'âge? c'est fou ces invariants sur discours scolaire français.
its crazy how knot invariants stem from braided monoidal functors
July 13, 2025 at 8:41 PM
its crazy how knot invariants stem from braided monoidal functors
That's actually a different kind of cancellation; I'm thinking about async cancellation due to futures being dropped.
If you're using a Tokio mutex to maintain invariants, those invariants can be violated if a future is dropped at a yield point while the lock is held.
Here's an example!
If you're using a Tokio mutex to maintain invariants, those invariants can be violated if a future is dropped at a yield point while the lock is held.
Here's an example!
Rust Playground
A browser interface to the Rust compiler to experiment with the language
play.rust-lang.org
January 23, 2025 at 10:01 PM
That's actually a different kind of cancellation; I'm thinking about async cancellation due to futures being dropped.
If you're using a Tokio mutex to maintain invariants, those invariants can be violated if a future is dropped at a yield point while the lock is held.
Here's an example!
If you're using a Tokio mutex to maintain invariants, those invariants can be violated if a future is dropped at a yield point while the lock is held.
Here's an example!
startup: invariants are a luxury we can ill afford
April 20, 2026 at 11:27 PM
startup: invariants are a luxury we can ill afford
The True Rust Sage Does Not Take The PL Flame War Bait Because The Sage Knows That Golang’s Parallelism Model Provides No Guarantees For Lock-Free Behavior And The Cloudflare Writeup Is Indicative Of A Human Failure To Properly Model Program Invariants
People want a technical solution to what is ultimately a judgement problem.
People know that unwrap can cause a panic. That's the choice that's being made when you unwrap. Changing the name won't change that.
People know that unwrap can cause a panic. That's the choice that's being made when you unwrap. Changing the name won't change that.
November 19, 2025 at 5:15 PM
The True Rust Sage Does Not Take The PL Flame War Bait Because The Sage Knows That Golang’s Parallelism Model Provides No Guarantees For Lock-Free Behavior And The Cloudflare Writeup Is Indicative Of A Human Failure To Properly Model Program Invariants
Preprint time:
“Shannon invariants: A scalable approach to information decomposition”
arxiv.org/abs/2504.15779
Studying information in complex systems is challenging due to difficulties in defining multivariate metrics and ensuring their scalability. This framework addressed both challenges!
“Shannon invariants: A scalable approach to information decomposition”
arxiv.org/abs/2504.15779
Studying information in complex systems is challenging due to difficulties in defining multivariate metrics and ensuring their scalability. This framework addressed both challenges!
Shannon invariants: A scalable approach to information decomposition
Distributed systems, such as biological and artificial neural networks, process information via complex interactions engaging multiple subsystems, resulting in high-order patterns with distinct proper...
arxiv.org
April 23, 2025 at 11:22 AM
Preprint time:
“Shannon invariants: A scalable approach to information decomposition”
arxiv.org/abs/2504.15779
Studying information in complex systems is challenging due to difficulties in defining multivariate metrics and ensuring their scalability. This framework addressed both challenges!
“Shannon invariants: A scalable approach to information decomposition”
arxiv.org/abs/2504.15779
Studying information in complex systems is challenging due to difficulties in defining multivariate metrics and ensuring their scalability. This framework addressed both challenges!
desire itself, desire for desire's sake, inevitably an endless source of commodification and recircuiting under capitalism, certainly in the plane of sexuality, will not free us, but the tug of war and movement of terrain continually opens new strategies to overtake patriarchal invariants
September 19, 2025 at 5:22 AM
desire itself, desire for desire's sake, inevitably an endless source of commodification and recircuiting under capitalism, certainly in the plane of sexuality, will not free us, but the tug of war and movement of terrain continually opens new strategies to overtake patriarchal invariants
Using LLM as a code reviewer provides a lot of value: 20% because the LLM can find subtle issues, 80% because it will keep leaving comments until you actually write comments explaining the invariants and assumptions the code has
February 12, 2025 at 8:32 PM
Using LLM as a code reviewer provides a lot of value: 20% because the LLM can find subtle issues, 80% because it will keep leaving comments until you actually write comments explaining the invariants and assumptions the code has
certainly all the type system stuff is helpful. but the LLMs have been trained on too much mediocre code and they often don't even try to encode invariants in it
July 10, 2026 at 7:14 PM
certainly all the type system stuff is helpful. but the LLMs have been trained on too much mediocre code and they often don't even try to encode invariants in it
looks like someone was *really* confident with their unsafe invariants
November 1, 2025 at 1:04 AM
looks like someone was *really* confident with their unsafe invariants