Show HN: Metal.graphics – Metal shaders course for SwiftUI
metal.graphics·2h·
Discuss: Hacker News
🌈Color Science
Wubular: Rubular Reimagined in Ruby+WASM
rubyelders.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Coding at the Speed of AI: Innovation, Vulnerability, and the GenAI Paradox
devops.com·3h
🔄Language Evolution
Origins of Life: Thioester RNA Aminoacylation Enables Peptide Synthesis
bioengineer.org·5h·
Discuss: Hacker News
⚙️ABNF Mining
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·1d·
Discuss: Hacker News
🤖Archive Automation
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·21h
🦀Rust Macros
TRIM: Accelerating High-Dimensional Vector Similarity Search with Enhanced Triangle-Inequality-Based Pruning
arxiv.org·2d
🗂️Vector Databases
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2d·
Discuss: Hacker News
✅Format Verification
I Supercharged My Browser GPT with Rust and WebAssembly: The Journey to a Dual-Engine AI
dev.to·2d·
Discuss: DEV
🦀Rust Macros
System eval with Obsidian and Claude Code
interjectedfuture.com·18h·
Discuss: Hacker News
⚡Proof Automation
How I Make Claude Code Work for Me (Aug 2025)
craftingteams.substack.com·2d·
Discuss: Substack
🔩Systems Programming
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·5h
🧮SMT Solvers
Builder Pattern in CDK
medium.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Bootstrapping a Coding Agent
runnercode.com·1d·
Discuss: Hacker News
📏Code Metrics
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·2d
✨Algebraic Effects
NLKI: A lightweight Natural Language Knowledge Integration Framework for Improving Small VLMs in Commonsense VQA Tasks
arxiv.org·5h
🎙️Whisper
Shelling Out Is Selling Out
petersobot.com·2d·
Discuss: Hacker News
🎞️MKV Forensics
Regarding formatting issues with AI-generated copy
dev.to·1d·
Discuss: DEV
✅Format Verification
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·2d
🔧Hardware Verification