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·7h·
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
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
Is cryptography in Go hard?
reddit.com·1d·
Discuss: r/golang
🔒Protocol Verification
Flag this post
How I Built a 95% Accurate Defect Detection System with an ESP32-CAM and Python
dev.to·1d·
Discuss: DEV
🐫Embedded OCaml
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
Sable and Able: A Tale of Two ASIs
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·1d
🔁Fixed-Point Theory
Flag this post
Power Constrained Nonstationary Bandits with Habituation and Recovery Dynamics
arxiv.org·22h
🩹Self-Healing Systems
Flag this post
EVTAR: End-to-End Try on with Additional Unpaired Visual Reference
arxiv.org·2d
🔢Algebraic Data Types
Flag this post
OpenAI RAG Starter Kit with File Search and Chat UI
github.com·19h·
Discuss: Hacker News
Helm
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·1d
↔️Bisimilarity
Flag this post
AI-Driven Microfluidic Design Optimization via Hyperdimensional Feature Mapping & Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·1d
🔢Matrix Decomposition
Flag this post
Weak-To-Strong Generalization
lesswrong.com·5d
🔤Kleene Algebra
Flag this post