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

Geeta landed Google for $672,000
tahahussain.substack.com·9h·
Discuss: Substack
🩹Self-Healing Systems
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·2d·
Discuss: r/golang
🎯GADT
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·2h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
I ****Ing Hate Science
buttondown.com·8h·
🔄Reproducible Builds
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
reddit.com·21h·
📚Automata Learning
Flag this post
Nonmonotonic Logic
cambridge.org·6d·
Discuss: Hacker News
🧩Separation Logic
Flag this post
THE LEAN MEAN MEME MACHINE
dev.to·10h·
Discuss: DEV
🌐ActivityPub
Flag this post
Orchestrating Chaos: Unleashing the Power of Bio-Inspired AI for Autonomous System Design by Arvind Sundararajan
dev.to·2h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
🌀 Brent's Algorithm Explained – Faster Cycle Detection for Beginners
dev.to·1d·
Discuss: DEV
λFunctional Programming
Flag this post
Could the root of Alzheimer's be magnetic?
1393.xyz·13h·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
25 Que
lesswrong.com·19h
📵Digital Minimalism
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·3d·
🔬Static Analysis
Flag this post
FOCUS: Efficient Keyframe Selection for Long Video Understanding
arxiv.org·2h
📚Automata Learning
Flag this post
Active transfer learning for structural health monitoring
arxiv.org·2h
📚Automata Learning
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·2h
🎮Verification Games
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·3d
🧩Parser Combinators
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·3d
🔤Language Design
Flag this post