Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·4d
🎯Proof Tactics
Homelab Jouney, Planning stage
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Intel Simplifying P-State Driver's Energy Model For Newer Core Ultra CPUs
phoronix.com·9h
⚡Homebrew CPUs
Test your Infrastructure with Game Days
blog.devops.dev·10h
👁️System Observability
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·2d
🌐WASI
Running new applications on old glibc
lightofdawn.org·2d·
Discuss: Hacker News
🔗Static Linking
AI can help your DevSecOps pipeline
spiceworks.com·1d·
Discuss: Hacker News
🏠Homelab Pentesting
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
VLLM Predicted Outputs
cascadetech.ai·23h·
Discuss: Hacker News
💻Local LLMs
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·1h·
Discuss: Hacker News
⚡Cache Theory
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
The effective LLM multi-tenant security with SQL
getbruin.com·2d·
Discuss: Hacker News
🗄️Database Internals
The Porcelain to Come
stackdiver.com·21h·
Discuss: Hacker News
🔲Cellular Automata
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Is Odin Just a More Boring C?
dayvster.com·5d·
Discuss: Lobsters, Hacker News, Hacker News
🔩Systems Programming
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.org·1d
🔲Cellular Automata