theory
32 stories and discussions about theory, aggregated from every source we track.
My literature search for recent work on composing self-stabilizing systems didn't yield anything useful. The layered stabilization idea was ...
I can't play an instrument, so I worked out music theory in JavaScript instead. Twelve notes, scales and chords, derived from scratch with code you can hear.
A post touring resources you can use to learn how to implement a type checker or type inference algorithm
<p>From the abstract:</p> <blockquote> <p>We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. We propose Hoare Type Theory (HTT), which incorporates Hoare-style specifications into types, making it possible to statically track and enforce correct use of side effects. The main feature of HTT is the Hoare type {P}x:A{Q} specifying computations with precondition P and postcondition Q that return a result of type A. Hoare types can be nested, combined with other types, and abstracted, leading to a smooth integration with higher-order functions and type polymorphism. We further show that in the presence of type polymorphism, it becomes possible to interpret the Hoare types in the “small footprint” manner, as advocated by Separation Logic, whereby specifications tightly describe the state required by the computation. We establish that HTT is sound and compositional, in the sense that separate verifications of individual program components suffice to ensure the correctness of the composite program.</p> </blockquote> <p>Basically, they combine Hoare Triples with Dependent Types, which seems pretty interesting.</p>
Just days after a Fields Medalist predicted that an AI would solve the puzzle, Anthropic succeeded
A topos can be specified by the geometric theory that it classifies. Though the sequents of a theory are described formally and syntactically, its interaction with the world of sets (through set-indexed disjunctions…
Parents should fight for their children in education, not against them.
An internet conspiracy theory was killing people even before the president posted about it. I found the man who started it. He’s nothing like you’d expect.
Let’s cut through the noise, one bit at a time
Two of biology’s greatest theories completely predate direct experimental evidence. Tracing their origins could help us understand how to make the next ones.
This paper describes and motivates a new decision theory known as functional decision theory (FDT), as distinct from causal decision theory and evidential decision theory. Functional decision theorists hold that the…
This paper develops the information-theoretic reconstruction structure of the intrinsic mathematical object Σ established in Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations (Zenodo, Version…
Biology is often seen as an experimental science, with theory serving to generalize patterns from empirical data. But history reveals that theory plays a more generative role in discovery itself.
List of publications on regality theory and cultural selection theory by Agner Fog
Prime generating function without explicit if-statements, conditional functions, and advanced functions like mod, gcd
Parents should fight for their children in education, not against them.
Ship an agent. Climb the ladder. Agent Season 0: top 10 split $500. First match in under 30 minutes.
When my most experienced engineer got tired of our shitty code
The sets-as-trees interpretation of set theory in a dependent type theory with an impredicative universe of propositions validates Zermelo set theory, and it validates Replacement if the type theory has a choice or…
Let’s cut through the noise, one bit at a time
Microsoft is laying off around 260 Xbox employees today, as part of an ongoing "reset" of its gaming business. 1,600 Xbox employees were impacted by layoffs in July , with Xbox CEO Asha Sharma describing the cuts as "the most significant restructure in Xbox history." Today's layoffs are part of the 3,200 roles that were previously confirmed to be impacted over the course of Microsoft's 2027 financial year (which ends in June 2027). "We are eliminating 268 roles across Halo Studios, other first-party studios, and the XGS management and central functions layer," says Xbox chief content officer Matt Booty in a memo . "The actions completed since … Read the full story at The Verge.