Parallel evaluation comes to Determinate Nix
determinate.systems·1d·
Discuss: Hacker News
❄️Nix Flakes
Visual Development Is Fast Until Big-O Complexity Slows It Down. Here's Our Fix
jinen83.github.io·13h·
Discuss: Hacker News
🖥️Terminal Renaissance
Let's make PostgreSQL multi-threaded (2023)
postgresql.org·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
AI code assistants make developers more efficient at creating security problems
theregister.com·21h·
Discuss: Hacker News
🚀Indie Hacking
Introduction to Ada: a project-based exploration with rosettas
blog.adacore.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🏛️Agda
Detecting Regional Spurious Correlations in Vision Transformers via Token Discarding
arxiv.org·1d
📊Learned Metrics
FastCaps: A Design Methodology for Accelerating Capsule Network on Field Programmable Gate Arrays
arxiv.org·2d
🖥️Hardware Architecture
FlashRecovery: Fast and Low-Cost Recovery from Failures for Large-Scale Training of LLMs
arxiv.org·2d
🛡️Error Boundaries
InvisiCaps: Giving Capabilities to C Pointers
fil-c.org·15h·
Discuss: Hacker News
🦀Rust Verification
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Microsoft’s Rust Bet: From Blue Screens to Safer Code
thenewstack.io·1d·
Discuss: Hacker News
🔩Systems Programming
GPUs Never Signed Up for This AI Security Job
thenewstack.io·8h
🖥️Modern Terminals
Safe Sharing of Fast Kernel-Bypass I/O Among Nontrusting Applications
arxiv.org·2d
🔍eBPF
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·1h·
Discuss: Substack
📏Code Metrics
EvolveSignal: A Large Language Model Powered Coding Agent for Discovering Traffic Signal Control Algorithms
arxiv.org·2d
🛠Language Design
Mooncake: A KVCache-centric Disaggregated Architecture for LLM Serving
arxiv.org·2d
💨Cache Analysis
Robots by Request: Designing Intelligent Machines with Natural Language by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🤖AI Translation
GCC 16 Increasing Its Default LTO Partition Count Due To Today's High Core Count CPUs
phoronix.com·1d
🖥️Modern CPU
Introducing LCOAI: A Standardized Economic Metric for Evaluating AI Deployment Costs
arxiv.org·2d
👁️Observatory Systems
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·7h·
Discuss: Hacker News
⚡Incremental Computation