Israel carries out wave of strikes on Lebanon
ft.com·12h
📝Lisp
Flag this post
Broken Telescopes
takimag.com·2h
🧮Programming Language Theory
Flag this post
A QOJ week
blog.mitrichev.ch·1d·
🧭SMT Solvers
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·1d·
Discuss: Hacker News
🤝Protocol Design
Flag this post
A File Format Uncracked for 20 Years
landaire.net·14h·
🧠Memory Management
Flag this post
The Curious About Everything Newsletter #56
jodiettenberg.substack.com·1d·
Discuss: Substack
🔄Category Theory
Flag this post
Accumulating Context Changes the Beliefs of Language Models
lm-belief-change.github.io·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Petit Planet is a playlist of cozy gaming's greatest hits
polygon.com·4h
Algorithmic Game Theory
Flag this post
AI Art Turbocharged: Differentiable Diffusion for Hyper-Realistic Results
dev.to·16h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Bioaccumulation Modeling via Spatio-Temporal Transformer Networks for Environmental Risk Assessment
dev.to·18h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
The AI Engineer's Guide to Surviving the EU AI Act • Larysa Visengeriyeva & Barbara Lampl • GOTO 25
youtube.com·18h
🧩Theorem Proving
Flag this post
Bipartite entanglement and surface criticality: The extra contribution of non-ordinary edge in entanglement
arxiv.org·2d
🔐Cryptography
Flag this post
Diffusive hydrodynamics from long-range correlations
arxiv.org·3d
📊Information Theory
Flag this post
How to talk to people about AI threat
lesswrong.com·2d
🔢Mathematical Logic
Flag this post
Augmenting learning in neuro-embodied systems through neurobiological first principles
arxiv.org·3d
🎲Probabilistic Programming
Flag this post
With 80th consecutive 20-point game, Thunder star Shai Gilgeous-Alexander passes Oscar Robertson
nytimes.com·2d
🎲Probabilistic Programming
Flag this post
Building a Memory-Powered Chatbot with LangGraph: A Student's Guide to Conversational AI
dev.to·15h·
Discuss: DEV
🧠Memory Management
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·1d
🧮Programming Language Theory
Flag this post