PSG go top of Ligue 1 after slender victory over Angers
france24.com·4h
🧮Programming Language Theory
Dean Ball on state-level AI laws
marginalrevolution.com·8h
🤖Sci-Fi
Subinterpreters and Asyncio
blog.changs.co.uk·3d·
Discuss: Hacker News
📝Lisp
Looking for two encounters for Wave Echo Cave
reddit.com·16h·
Discuss: r/LostMinesOfPhandelver
🧫Cellular Automata
Stopped Using Cursor, for Now
news.ycombinator.com·22h·
Discuss: Hacker News
👐Open Source Software
Why agent pathfinding gets messy: global planning vs local avoidance coordinate transforms
medium.com·2d·
Discuss: r/programming
🧫Cellular Automata
From Unstructured Data to RAG-Ready With Docling
thenewstack.io·2d
🎲Probabilistic Programming
Yudkowsky on "Don't use p(doom)"
lesswrong.com·13h
🎲Probabilistic Programming
Perfect Counterfactuals in Imperfect Worlds: Modelling Noisy Implementation of Actions in Sequential Algorithmic Recourse
arxiv.org·5d
🎲Probabilistic Programming
Automated Predictive Maintenance of MEMS Gyroscopes via Dynamic Bayesian Network Optimization
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Gwenai—Claude Code but with Ollama support and a GUI
reddit.com·2h·
Discuss: r/selfhosted
🧩Theorem Proving
Adaptive Vision-Based Coverage Optimization in Mobile Wireless Sensor Networks: A Multi-Agent Deep Reinforcement Learning Approach
arxiv.org·2d
🕸️Graph Theory
Interpolation in Classical Propositional Logic
arxiv.org·5d
🔢Mathematical Logic
EMNLP: Educator-role Moral and Normative Large Language Models Profiling
arxiv.org·1d
🧮Programming Language Theory
One more reason for AI capable of independent moral reasoning: alignment itself and cause prioritisation
lesswrong.com·21h
🤖Sci-Fi
Starting Go (Golang) as My First Language – Need Help with Beginner Resources
reddit.com·1d·
Discuss: r/golang
🧮Programming Language Theory
Dominant factor identification and fast optimization of carnot battery by integrating SHAP and physics-guided neural network
sciencedirect.com·23h
🎲Probabilistic Programming
Coordinated operation of multi-energy microgrids considering green hydrogen and congestion management via a safe policy learning approach
sciencedirect.com·23h
🌍Distributed Systems
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·5d·
Discuss: DEV
🔗Parser Combinators
Local LLMs, No API Keys, No BS: Build Your Own Waifubot Terminal Chat in Python
dev.to·13h·
Discuss: DEV
🧩Theorem Proving