A computer science paper titled “In Cantor Space No One Can Hear You Stream”
fkasummer · x · 2026-07-27
A paper titled In Cantor Space No One Can Hear You Stream
The post highlights a computer science paper with a deliberately witty title that riffs on a famous movie line.
The abstract is still real technical content: the authors revisit sheaves through type theory and side-effects, use MLTT to inductively approximate idealized functional objects as decision trees, and formalize a generalized notion of continuity. They also mention a case study on sheaf extension of MLTT with a Cohen real and leverage it to show uniform continuity results for all MLTT functionals of type (N → B) → N, mechanized in Rocq.
More from Fun
- X reply turns Anthropic into a joke about being the “most evil AI company” — DevDminGod · 2026-07-27
- Running Codex on an old Pentium felt like “two times at once,” user says — nptacek · 2026-07-27
- A meme about agentic loops draining tokens nails a real agent pain point — steipete · 2026-07-27
- MPT-30B radar charts became an unexpectedly controversial design choice — code_star · 2026-07-27
- Midjourney’s image variety draws a Krea 2 comparison and asks how to reproduce it — diffusion_throwaway · 2026-07-27
- AI short film sets a 1985 dystopia to music and leans into cinema — ProfessorKey98 · 2026-07-27