Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·2d
🔗Functional Compilers
Coding in the Red-Queen Era
corecursive.com·3d
📏Code Metrics
Diff Risk Score: AI-driven risk-aware software development
engineering.fb.com·3d
📏Code Metrics
An explorer and visualizer for Go concurrency patterns
golangweekly.com·4d
🦀Rust Macros
Show HN: Chkk – Safer Upgrades for Kubernetes and Open-Source Projects
news.ycombinator.com·3d·
Discuss: Hacker News
📦Container Security
Show HN: Grid-table – Emacs grid table with rich text, images, formulas
github.com·11h·
Discuss: Hacker News
📟Terminal Typography
SanDisk and SK hynix join forces to standardize High Bandwidth Flash memory, a NAND-based alternative to HBM for AI GPUs — Move could enable 8-16x higher capaci...
tomshardware.com·2d
⚡Homebrew CPUs
Generate Slideshow-Style Documentation Sites for GitHub Repositories with iFLOW-CLI GitHub Action and Qwen3-Coder
dev.to·9h·
Discuss: DEV
📟CLI Design
'Final nail in Intel’s workstation coffin': AMD ThreadRipper Pro 9000 rips through Intel's Xeon in a desperately one-sided review
techradar.com·2d
🖥️Modern CPU
Building with Midnight: Privacy for Devs, Not Just Suits
hackernoon.com·2d
🔗Blockchain Archives
Show HN: I spent 40 hours vibe coding after 40 years of traditional programming
marcobenedetti.substack.com·2d·
Discuss: Substack
⚔️Lean Tactics
FreeBSD Errata Notice: TKIP Crypto Issue in wlan_tkip
discoverbsd.com·1d
🔌Operating system internals
Hikma Pharmaceuticals PLC (HKMPF) Q2 2025 Pre Recorded Earnings Call Transcript
seekingalpha.com·23h
🌊Apache Kafka
System1, Inc. (SST) Q2 2025 Earnings Call Transcript
seekingalpha.com·12h
🔗Data Provenance
ALScope: A Unified Toolkit for Deep Active Learning
arxiv.org·1d
🧠Machine Learning
Optimizing Vessel Routing via Hybrid Reinforcement Learning & Predictive Analytics for Reduced Fuel Consumption in Bulk Carriers
dev.to·2d·
Discuss: DEV
🎛️Feed Filtering
MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy
arxiv.org·1d
🧮SMT Solvers
Prajwal Sadananda Nayak Pioneers Revolutionary AI-Driven Email Marketing Platform
hackernoon.com·1d
🌍Cultural Algorithms
How We Automated Pathology Medical Billing with AI: Lessons from the Lab
dev.to·2d·
Discuss: DEV
📄Document Digitization
Hyperdimensional Analysis of Thyroid Hormone Receptor Binding Affinities for Optimized Drug Design
dev.to·1d·
Discuss: DEV
💎Information Crystallography