Preemption in Go (2021)
hidetatz.github.io·36m·
Discuss: Lobsters, Hacker News
🔄Go Scheduler
orig inal ↗
allendowney.com·1d
🧮Linear Algebra
Self-Driving IT Security: The Road Ahead
blog.checkpoint.com·3h
🛡️Security Type Systems
I built Foyer: a Rust hybrid cache that slashes S3 latency
medium.com·34m·
Discuss: Hacker News
⚡Cache Optimization
Unit Testing in Coders at Work
gigamonkeys.wordpress.com·1h·
Discuss: Hacker News
🧪Compiler Testing
Creating a database of motivated proofs
gowers.wordpress.com·18h·
Discuss: Hacker News
⚖️Inference Rules
Until now, programming was a "single-threaded" activity. As a dev, I'd get "in the zone" and get it done.
bsky.app·7h·
Discuss: Bluesky
⚡Live Coding
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·21h
🎯99-Line Tools
GitLab 18.4: AI-native development with automation and insight
about.gitlab.com·16h
🎮Language Ergonomics
Ariadne’s Thread: Why a Catalog-First Approach Matters
medium.com·47m
🔍Search Algorithms
Building the Global Operating System Infrastructure for Trustworthy AI: The Strategic Depth of SeaOS
dev.to·1d·
Discuss: DEV
🧠Memory Ordering
Large Language Models as End-to-end Combinatorial Optimization Solvers
arxiv.org·12h
🪜Recursive Descent
Global Optimization via Softmin Energy Minimization
arxiv.org·12h
🔄Loop Optimization
Video-to-BT: Generating Reactive Behavior Trees from Human Demonstration Videos for Robotic Assembly
arxiv.org·12h
🌊Dataflow Languages
Design, assembly, and tuning of a multipurpose FPV drone: A flexible and low-cost alternative
sciencedirect.com·4h
🔌Microcontrollers
Agentic Reasoning for Robust Vision Systems via Increased Test-Time Compute
arxiv.org·12h
🗺️Region Inference
Localizing Malicious Outputs from CodeLLM
arxiv.org·12h
🌳Pattern Match Compilation
Multi-Agent Systems in PHP: A Practical Deep Research Implementation
dev.to·22h·
Discuss: DEV
🌊Reactive Languages
Guardrails for the AI Wild West: Taming Autonomous Agents by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Resilience modeling for an engineered network with multimodal performance under multiple recurrent hazards
sciencedirect.com·1d
📮Persistent Queues