Cactus Language • Semantics 3
inquiryintoinquiry.com·3d
🔢Denotational Semantics
Proofreading with ChatGPT
leancrew.com·1d
📜Text Collation
GaloisInc/parameterized-utils
github.com·6d
🧮Algebraic Datatypes
Bzfs 1.13.0 – 1‑second (even sub‑second) ZFS replication across fleets
news.ycombinator.com·2h·
Discuss: Hacker News
💿ZFS Internals
CUDA Error Handling: A Definitive Guide
parallelprogrammer.substack.com·15h·
Discuss: Substack
🔩Systems Programming
OpenAI and Broadcom team up on $10 billion custom AI chip deal
techspot.com·11h
🏠Homelab Federation
Raspberry Pi Notifications with Ntfy: Build a Home Lab Alert System
0xmm.in·23h·
Discuss: Hacker News
📰Feed Readers
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·2d·
Discuss: Hacker News
📋DFDL
Building the Reasoning Engine at Axiom
axiommath.ai·3d·
Discuss: Hacker News
⚔️Lean Tactics
How to Use AI to Help with Software Engineering Tasks
newsletter.eng-leadership.com·1d·
Discuss: Hacker News, r/programming
⚡Proof Automation
Experimenting with B+Tree + WAL replication: 1K writes/sec, 2K readers, 1.2M aggregate ops/sec
reddit.com·1d·
Discuss: r/golang
🌲B-tree Variants
Chinese phishing kit helps scammers who send fake texts impersonate TikTok, Coinbase, others
theregister.com·3d·
Discuss: Hacker News, r/googlenews
🎫Kerberos Attacks
Log Real-Time BLE Air Quality Data to Google Sheet
hackster.io·23h
🔌Interface Evolution
Rust is a low-level systems language (not!)
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Unlock Your PPC Potential: Buy Verified Google Ads Accounts and Skip the Suspensions
dev.to·1d·
Discuss: DEV
🔍BitFunnel
🧱 The SOLID Principles Explained (Like You’re a Developer Who Actually Writes Code)
dev.to·1d·
Discuss: DEV
🐚Shell Calculus
Gain Tuning Is Not What You Need: Reward Gain Adaptation for Constrained Locomotion Learning
arxiv.org·4h
🧠Machine Learning
Fast Leave-One-Out Approximation from Fragment-Target Prevalence Vectors (molFTP) : From Dummy Masking to Key-LOO for Leakage-Free Feature Construction
arxiv.org·6d
🧮SMT Solvers
Custom STM32 Boards From Scratch! | The Complete Guide
hackster.io·1d
🎮Switch Archaeology
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·2d·
Discuss: DEV
🧮Kolmogorov Bounds