Book review: A New Kind of Science (2005)
bactra.org·1d·
Discuss: Hacker News
💻CS
Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·21h·
Discuss: Hacker News
🌐NetworkProtocols
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·4h
👁️System Observability
On Trustworthy Rule-Based Models and Explanations
arxiv.org·4h
✓Automated Theorem Proving
LLMs show cultural theory was right about the death of the author
programmablemutter.com·14h·
Discuss: Hacker News
➡️Category Theory
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
I Changed My Mind: AI Will Replace Us
medium.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
GTA1: GUI Test-time Scaling Agent
arxiv.org·2d
🧪Property-Based Testing
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Beyond the Linear Separability Ceiling
arxiv.org·4h
➡️Category Theory
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Helpful function to find memory leaks in JavaScript
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·4h
🔍Formal Verification
LLM Inference Handbook
bentoml.com·5h·
Discuss: Hacker News
🛡️seL4
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·4h
🎮Verification Games
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving
Position: We Need An Algorithmic Understanding of Generative AI
arxiv.org·4h
✓Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·4h
✓Automated Theorem Proving