C3 0.7.7 Vector ABI changes, RISC-V improvements and more
reddit.com·1d·
Discuss: r/programming
⚙️PL Implementation
Flag this post
Jackknife Transmittance and MIS Weight Estimation
momentsingraphics.de·17h·
Discuss: Hacker News
🎨GADTs
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·1d
🔤Language Design
Flag this post
Linux 6.18 Kernel Happenings, Python 3.14, NTFSPLUS & Other October Highlights
phoronix.com·1d
🔧Unikernel Development
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·2d·
Discuss: Hacker News
🍎XNU Internals
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·1d
🧠Automated Reasoning
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·2d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·1d·
Discuss: Hacker News, r/opensource
🔧Unikernel Development
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·4h·
Discuss: DEV
⏱️Computational Complexity
Flag this post
LTO Megapost!
reddit.com·1d·
Discuss: r/homelab
🔧Microcontrollers
Flag this post
Multitasking On The Humble Z80 CPU
hackaday.com·9h
💾Retro Computing
Flag this post
All You Need for Object Detection: From Pixels, Points, and Prompts to Next-Gen Fusion and Multimodal LLMs/VLMs in Autonomous Vehicles
arxiv.org·2d
📚Automata Learning
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·23h·
Discuss: Lobsters, Hacker News, Hacker News
💻QEMU
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
github.com·1h·
Discuss: r/programming
💾Cachix
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·2d·
Discuss: DEV
🏃Escape Analysis
Flag this post
GIL and Race Condition in Python
dev.to·8h·
Discuss: DEV
⏰Timed Automata
Flag this post
Revisiting interface segregation in Go
rednafi.com·1d·
Discuss: Hacker News, r/golang
💎Refinement Types
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Flag this post