SOC Visibility Quad: Why Application Telemetry Completes the Framework | Oligo Security
oligo.security·32m
👁️System Observability
Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·1h
⚡SMT Applications
Log Detective: GSoC 2025 (part 2)
danigm.net·8h
🔓Open Source Software
Song recommendations with F# free monads
blog.ploeh.dk·2d
🔗Functional Compilers
Why Stacking Sliding Windows Can't See Far
guangxuanx.com·8h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·23h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Why AI Probably Won't Help Your Team Ship More Product
chaoticgood.management·23h·
Discuss: Hacker News
📏Code Metrics
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·1d
🔧Hardware Verification
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·9h
💻Local LLMs
My Current AI Dev Workflow
steipete.me·2d
⚡Proof Automation
NVFP4 Trains with Precision of 16-Bit and Speed and Efficiency of 4-Bit
developer.nvidia.com·2d·
Discuss: Hacker News, Hacker News
🧠Learned Codecs
From Logic to Linear Algebra: How AI is Rewiring the Computer
dev.to·2d·
Discuss: DEV
⚡Homebrew CPUs
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·12h·
Discuss: Hacker News
👑Isabelle
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·15h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·23h
📐Geometric Hashing
When functions dissolve
rubber-duck-typing.com·2d·
Discuss: Hacker News
🐚Shell Calculus
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·1d·
Discuss: Hacker News
🦀Rusty Databases
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·2d
🤖Grammar Induction
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·9h
🧠Intelligence Compression