Ten Simple Rules for Mathematical Writing
web.mit.edu·1h·
Discuss: Hacker News
✓Automated Theorem Proving
Kinds of Knowledge Worth Remembering
domofutu.substack.com·19h·
Discuss: Substack
✓Automated Theorem Proving
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·1d·
Discuss: Hacker News
🛡️seL4
Stochastic Interpolants
arxiv.org·1d·
Discuss: Hacker News
🐫OCaml
Croissant! Building a No-Framework Web App
dbushell.com·14h·
Discuss: Hacker News
🌐NetworkProtocols
Structuring unstructured data is a correct use of AI
mechanicalsurvival.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·1h·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml
How to Write Rust Code Like a Rustacean
thenewstack.io·2d·
Discuss: Hacker News
🔬Static Analysis
Inheritance and Polymorphism in Plain C
coz.is·3d·
Discuss: Hacker News, r/C_Programming, r/programming
🔬Static Analysis
CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks
arxiv.org·2d
🔬Static Analysis
NeoBabel: A Multilingual Open Tower for Visual Generation
arxiv.org·2d
🐫OCaml
On the Effect of Uncertainty on Layer-wise Inference Dynamics
arxiv.org·1d
➡️Category Theory
Structured Prompts, Better Outcomes? Exploring the Effects of a Structured Interface with ChatGPT in a Graduate Robotics Course
arxiv.org·18h
⚙️PL Implementation
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·18h
💻CS
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🔬Unikernels
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
github.com·3d·
Discuss: Hacker News
🛡️seL4
Generalized and Unified Equivalences between Hardness and Pseudoentropy
arxiv.org·2d
🏹Effect Systems
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·18h
💻CS
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis