Secure Your Keys with Keyand.me
thasso.xyz·23h·
Discuss: Hacker News
🛡️seL4
Perl 5.42 Released - Still Going Strong
i-programmer.info·2d·
Discuss: r/programming
⚙️PL Implementation
Apple Trace Cache
realworldtech.com·13h·
Discuss: Hacker News
👁️System Observability
Strengthening Microsoft Defender: Understanding Logical Evasion Threats
zenodo.org·1d·
Discuss: Hacker News
👁️System Observability
Don’t compare programming to the real world
expressionstatement.com·1d·
Discuss: r/programming
👁️System Observability
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Nvidia Unveils Helix Parallelism: 32x Faster AI Inference
storagereview.com·12h·
Discuss: Hacker News
⚙️Operating System Design
A Null Pointer Exception Brought Down Mighty Google;7 Hours of Downtime
getpanto.ai·2d·
Discuss: Hacker News
👁️System Observability
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·3d
✓Automated Theorem Proving
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Introducing Phi-4-mini-flash-reasoning
azure.microsoft.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
CoreCodeBench: A Configurable Multi-Scenario Repository-Level Benchmark
arxiv.org·3d
🔄Reproducible Builds
Rationale-Enhanced Decoding for Multi-modal Chain-of-Thought
arxiv.org·1d
🔄Finite State Machines
Seeing Like an LLM
strangeloopcanon.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
SynthEHR-Eviction: Enhancing Eviction SDoH Detection with LLM-Augmented Synthetic EHR Data
arxiv.org·1d
🐫OCaml
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
✓Automated Theorem Proving
Show HN: Cactus – Ollama for Smartphones
news.ycombinator.com·1d·
Discuss: Hacker News
🐫OCaml
Beyond the Dataset – Deep tech data science
aneeshsathe.com·1d·
Discuss: Hacker News
👁️System Observability
Perspective Chapter: Insights from Kalman Filtering with Correlated Noises Recursive Least-Square Algorithm for State and Parameter Estimation
arxiv.org·1d
👁️System Observability