DavidFest: A Pseudorandomness Workshop in Austin
cstheory-events.org·13h
🎲Probabilistic Programming
Please evaluate this 2 year apprenticeship program? In addition, here me out on why I'm considering this.
bowvalleycollege.ca·7h·
Discuss: r/AskProgramming
🧩Theorem Proving
Execute Python Scripts via BLE Using BleuIO
hackster.io·20h
🧫Cellular Automata
The Anatomy of a Distributed JavaScript Runtime | Part V — Consolidation and conclusions
javascript.plainenglish.io·2d·
Discuss: r/node
🏗️Software Architecture
Building an open source P2P password manager: Looking for collaborators
reddit.com·17h·
Discuss: r/opensource
🔐Cryptography
Writing an LLM from scratch, part 17 – the feed-forward network
gilesthomas.com·1d·
Discuss: Hacker News
🔗Parser Combinators
How One Database Query Cost a Startup $10K (And How to Fix It)
dev.to·13h·
Discuss: DEV
🗄️Database Theory
COMPEER: Controllable Empathetic Reinforcement Reasoning for Emotional Support Conversation
arxiv.org·6h
🔗Parser Combinators
Evaluating Large Language Models as Expert Annotators
arxiv.org·2d
🔗Parser Combinators
SQL Learning...
dev.to·1h·
Discuss: DEV
🗄️Database Theory
Effective and Efficient Attributed Hypergraph Embedding on Nodes and Hyperedges
arxiv.org·1d
🕸️Graph Theory
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·3d
🧩Theorem Proving
High-Throughput Affinity Chromatography Optimization via AI-Driven Resin Microstructure Analysis
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Wisdom of the Crowd, Without the Crowd: A Socratic LLM for Asynchronous Deliberation on Perspectivist Data
arxiv.org·6h
🎲Probabilistic Programming
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·2d
🧭SMT Solvers
From Product Hilbert Spaces to the Generalized Koopman Operator and the Nonlinear Fundamental Lemma
arxiv.org·2d
🎲Probabilistic Programming
Quantifying Conversation Drift in MCP via Latent Polytope
arxiv.org·3d
🎲Probabilistic Programming
DeputyDev -- AI Powered Developer Assistant: Breaking the Code Review Logjam through Contextual AI to Boost Developer Productivity
arxiv.org·6h
🔧Compiler Design
AI Frontiers: Advances in Efficient, Robust, and Universal Machine Learning – Synthesizing Key Themes from August 2025 a
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Anomaly Detection for IoT Global Connectivity
arxiv.org·6h
🛡️IoT Security