Are you familiar with Stephen Wolfram and his computational universe theory?
wolframphysics.org·1d·
Discuss: r/programming
🧮Programming Language Theory
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·23h·
Discuss: Hacker News
🤝Protocol Design
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🧭SMT Solvers
A Library Approach to Constant Template Parameters
brevzin.github.io·4d·
Discuss: Hacker News, r/cpp
🧮Programming Language Theory
A new study found that LLMs like ChatGPT fell for fake clinical details 50–82% of the time. Even the best prompts could not stop all hallucinations
nature.com·14h
🎲Probabilistic Programming
[asking for advice]
reddit.com·1d·
Discuss: r/cpp
📐Type Theory
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·12h·
Discuss: Hacker News
🧩Theorem Proving
A Fast, Growable Array With Stable Pointers in C
danielchasehooper.com·2d·
Discuss: Lobsters, Hacker News, r/C_Programming
🧠Memory Management
Scaling Down and Back Up Again
science.org·1d
🎲Probabilistic Programming
The Hidden Behavior of C# Records
dev.to·1d·
Discuss: DEV
🧠Memory Management
Neuromorphic Cybersecurity with Semi-supervised Lifelong Learning
arxiv.org·31m
🛡️IoT Security
Speech-to-LaTeX: New Models and Datasets for Converting Spoken Equations and Sentences
arxiv.org·1d
🔗Parser Combinators
🔐 Building Quantum-Resistant ZKP: A Developer's Journey into Post-Quantum Cryptography
dev.to·1d·
Discuss: DEV
🔐Cryptography
Three challenges in machine-based reasoning
amazon.science·23h·
Discuss: Hacker News
🧭SMT Solvers
Breaking Ecosystem Lock-in in Google's Gemini CLI
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·1d
🔄Category Theory
Causality-Driven Audits of Model Robustness
arxiv.org·31m
🎲Probabilistic Programming
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.org·2d
🔢Mathematical Logic
[D] Do you think LLM memory will ever be solved without fine‑tuning?
reddit.com·15h·
Discuss: r/MachineLearning
🔧Compiler Design