Year One
tobersons.bearblog.dev·1d
🧭SMT Solvers
Wholesome Coolness, a webcomic by Joshua Holbrook (2005)
wholesomecoolness.thisistheremix.dev·12h
👐Open Source Software
Pieces of Autonomy
reactiverobot.com·16h·
Discuss: Hacker News
🤖Sci-Fi
Auditing AI
wryco.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
How to Design a Chess Pawn Using 3D CAD Software
dev.to·36m·
Discuss: DEV
🧩Theorem Proving
Weekly Update #4
dev.to·12h·
Discuss: DEV
🦀Rust
The Eliza Test
lesswrong.com·16h
🤖Sci-Fi
Measuring intelligence and reverse-engineering goals
lesswrong.com·2d
🧮Programming Language Theory
The Beauty of Anisotropic Mesh Refinement: Omnitrees for Efficient Dyadic Discretizations
arxiv.org·2d
🎲Probabilistic Programming
Autonomous Pedestrian Flow Optimization via Reinforcement Learning and Spatiotemporal Graph Neural Networks
dev.to·5h·
Discuss: DEV
🎲Probabilistic Programming
GAN-Driven Analog Circuit Optimization via Multi-Objective Reinforcement Learning
dev.to·3d·
Discuss: DEV
🧭SMT Solvers
Can You Trick the Grader? Adversarial Persuasion of LLM Judges
arxiv.org·1d
🧭SMT Solvers
Momentum Point-Perplexity Mechanics in Large Language Models
arxiv.org·5h
🔗Parser Combinators
Bidirectional Communication Patterns in Modern Web Apps(3457)
dev.to·2h·
Discuss: DEV
🤝Protocol Design
Imaginative World Modeling with Scene Graphs for Embodied Agent Navigation
arxiv.org·1d
🤖Sci-Fi
On the Limits of Selective AI Prediction: A Case Study in Clinical Decision Making
arxiv.org·1d
🎲Probabilistic Programming
Classifier Language Models: Unifying Sparse Finetuning and Adaptive Tokenization for Specialized Classification Tasks
arxiv.org·5h
🔗Parser Combinators
Mechanodynamic brain on chip for studying human stem cell derived neuronal networks
nature.com·9h
🤖Sci-Fi
Fairness of Automatic Speech Recognition: Looking Through a Philosophical Lens
arxiv.org·1d
🔗Parser Combinators
In-Context Reinforcement Learning via Communicative World Models
arxiv.org·1d
🎲Probabilistic Programming