The Weekly Edge: New Gremlin Contributor, 2 Graph Releases, Ontologies in Aura
🔗Graph Rewriting
Flag this post
How a Nix flake made our polyglot stack (and new dev onboarding) fast and sane
🏗️Build Systems
Flag this post
AI Tools that I've Seen in the Wild
🎯99-Line Tools
Flag this post
[Testing Update] 2025-11-06 - Kernels, Mesa, Grub, Nvidia, Plasma 6.5, LibreOffice
forum.manjaro.org·1d
🌱Forth Kernels
Flag this post
Quectel Unveils Smart Single Board Computers for Faster, Cost-Effective IoT Design
iotbusinessnews.com·1d
🔌Microcontrollers
Flag this post
My return to Rust is going well, other than my freakish Guns N' Roses-loving neighbor shooting me every time I try to hang string lights on my roof
pcgamer.com·1h
🔒Rust Borrowing
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
📊Query Optimizers
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·3d
🔍ML Language
Flag this post
Formal Verification’s Value Grows
semiengineering.com·2d
🎭Program Synthesis
Flag this post
Expertise need not monopolize: Action-Specialized Mixture of Experts forVision-Language-Action Learning
🪜Recursive Descent
Flag this post
Moonshot's Kimi K2 Thinking emerges as leading open source AI, outperforming GPT-5, Claude Sonnet 4.5 on key benchmarks
venturebeat.com·1d
🌱Forth Kernels
Flag this post
Modeling Clinical Uncertainty in Radiology Reports: from Explicit Uncertainty Markers to Implicit Reasoning Pathways
arxiv.org·20h
🌱Minimal ML
Flag this post
My self-hosted services run from my home server, but the data lives on my NAS
xda-developers.com·1d
🗂️Virtual Filesystems
Flag this post
[$] A security model for systemd
lwn.net·2d
🛡️Security Type Systems
Flag this post
How to KISS your projects?
⚡Partial Evaluation
Flag this post
Loading...Loading more...