Discrete mathematics creates impact
uni-bonn.de·21h
📐Mathematical Computing
Flag this post
[$] Namespace reference counting and listns()
lwn.net·18h
⚡Incremental Parsing
Flag this post
The Useful Personal Computer
📖Literate Programming
Flag this post
CEO Interview with Wilfred Gomes of Mueon Corporation
semiwiki.com·1d
🏰Capability Machines
Flag this post
Scaling up Prime Video monitoring service reduced costs 90% (archive) (2023)
📋JSON Parsing
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
📋JSON Parsing
Flag this post
build system tradeoffs
🔗Language Toolchains
Flag this post
0055: consulting, sql needed structure, slow forum, on the line, out of thin air, papers, other stuff
scattered-thoughts.net·3d
🔄Bootstrapping
Flag this post
You Need To Become A Full Stack Person
den.dev·1d
🎮Language Ergonomics
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩SAT Solvers
Flag this post
LED Blinking Using Bare-Metal Register-Level Programming on STM32H-series.
📱Bytecode Design
Flag this post
Show HN: I built an AI that generates full-stack apps in 30 seconds
🔮Metacircular Evaluators
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·4h
✨Gleam
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·45m
🎮Language Ergonomics
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·4h
🌱Minimal ML
Flag this post
MISA: Memory-Efficient LLMs Optimization with Module-wise Importance Sampling
arxiv.org·4h
🗺️Region Inference
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·4h
🌊Loop Invariant Motion
Flag this post
Mini PC
🏗️Build Systems
Flag this post
Loading...Loading more...