🔁 Fixpoint Theory

Knaster-Tarski, Least Fixed Point, Domain Theory, Denotational Semantics, Recursion

Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·5h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Our newest model: Chandra (OCR)
datalab.to·2h·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1h·
Discuss: Hacker News
🔧DevOps
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·2h·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1d·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Revisiting interface segregation in Go
rednafi.com·1d·
Discuss: Hacker News, r/golang
💎Refinement Types
Flag this post
Emergent introspective awareness in large language models
transformer-circuits.pub·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Automated Verification of Terrestrial Ecosystem Resilience via Hyperdimensional Network Analysis
dev.to·3h·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Economics and Transformative AI (by Tom Cunningham)
lesswrong.com·13h
🔲Cellular Automata
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·11h·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·21h·
Discuss: Hacker News, r/programming, r/rust
🔀OCaml Multicore
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·3d·
Discuss: Substack
⚙️Compiler Design
Flag this post
HUME: Measuring the Human-Model Performance Gap in Text Embedding Task
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·2d·
Discuss: r/MachineLearning
🧮SMT Solvers
Flag this post
Algorithmic Olfactory Receptor Mimicry for Accelerated Anosmia Rehabilitation
dev.to·16h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
📚Automata Learning
Flag this post
Circular dependency check in Python
dev.to·1d·
Discuss: DEV
🔬Static Analysis
Flag this post
The Machine Learning Projects Employers Want to See
towardsdatascience.com·1d
🎯Complexity Classes
Flag this post
Reflections on 4 years of meta-honesty
lesswrong.com·6h
⬜Minimalism
Flag this post