Generalized ADTs, Type Equality, Phantom Types, OCaml

OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·1d·
Discuss: Hacker News
👁️Observability
Flag this post
The Riemann zeta function and tuning
en.xen.wiki·2h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Show HN: Yansu, Serious Coding
twitter.com·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
HackedGPT: Novel AI Vulnerabilities Open the Door for Private Data Leakage
tenable.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
The Spegling Chronicles: Measuring dev shadow work until it measured us back
medium.com·9h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·3d·
Discuss: Hacker News, r/cpp
🏃Escape Analysis
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
LLKV: Rust, SQL, Apache Arrow, and zero-copy KV Storage
github.com·23h·
Discuss: Hacker News
🍎XNU Internals
Flag this post
Is cryptography in Go hard?
reddit.com·20h·
Discuss: r/golang
🔒Protocol Verification
Flag this post
Perceived Femininity in Singing Voice: Analysis and Prediction
arxiv.org·1d
📐Linear Algebra
Flag this post
Digitizing Spermatogenesis Lineage at Nanoscale Resolution In Tissue-Level Electron Microscopy
arxiv.org·17h
🔲Cellular Automata
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3d
🐫OCaml
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·2d
Existential Types
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·2d
⏱️Computational Complexity
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·2d
🧪Property-Based Testing
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·1d
🔍CBMC
Flag this post