Takeaway: a work-stealing task queue library for Rust
bal-e.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·1d·
Discuss: Hacker News
⚖️Logic Programming
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·2d·
Discuss: Hacker News, r/programming
🔍Static Analysis
Simple Programming Languages
ryanbrewer.dev·5d·
Discuss: Hacker News
⚙Functional Programming
Understanding when to use list comprehensions vs generator expressions
dev.to·2d·
Discuss: DEV
💭Prolog
OpenAI GPT-5 Review: Built to Win Benchmarks, Not Hearts
decrypt.co·1d
🎲Probabilistic Programming
The famous "bottomless pit" AI greentext is fake
seangoedecke.com·1d
🧭SMT Solvers
NEAR vs Sui: My Raw Dev Take After Building on Both 🤯
dev.to·1h·
Discuss: DEV
🦀Rust
EGGCodec: A Robust Neural Encodec Framework for EGG Reconstruction and F0 Extraction
arxiv.org·21h
🎲Probabilistic Programming
Investigating Intersectional Bias in Large Language Models using Confidence Disparities in Coreference Resolution
arxiv.org·1d
🔢Mathematical Logic
HealthBranches: Synthesizing Clinically-Grounded Question Answering Datasets via Decision Pathways
arxiv.org·1d
🎲Probabilistic Programming
The Modern Data Toolbox: Combining LLMs, ML, and Statistics for Greater Impact
pub.towardsai.net·1d
🎲Probabilistic Programming
[P] I built OSCAR – a browser-based neural network simulator that lets you see models learn in real time
reddit.com·5h·
Discuss: r/compsci
🧭SMT Solvers
Numerical Considerations in Weighted Model Counting
arxiv.org·2d
🎲Probabilistic Programming
Large Language Model Evaluated Stand-alone Attention-Assisted Graph Neural Network with Spatial and Structural Information Interaction for Precise Endoscopic Im...
arxiv.org·1d
🎲Probabilistic Programming
I Built a "GPT" in My Browser in One Evening. The Journey from Amnesia to Stable Learning with Pure JS.
dev.to·1d·
Discuss: DEV
🧭SMT Solvers
Exploiting Krylov Subspace Methods for Real-Time Sparse Linear Systems in High-Dimensional Signal Processing
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
Evaluating Podcast Recommendations with Profile-Aware LLM-as-a-Judge
arxiv.org·21h
🎲Probabilistic Programming
WebSocket Revolution in Real-Time Communication(2808)
dev.to·18h·
Discuss: DEV
🤝Protocol Design
Sample-efficient LLM Optimization with Reset Replay
arxiv.org·2d
🔧Compiler Design