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·5h·
Discuss: r/homelab
🏠HomeLab
Test your Infrastructure with Game Days
blog.devops.dev·13h
👁️System Observability
ASP.NET Core 9 Essentials • Albert Tanure & Rafael Herik de Carvalho • GOTO 2025
youtube.com·2d
🌐WASI
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·7h·
Discuss: Hacker News
📋DFDL
Why do CPUs have multiple cache levels?
fgiesen.wordpress.com·5h·
Discuss: Hacker News
⚡Cache Theory
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·5d·
Discuss: DEV
⚡SMT Applications
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
Falsehoods Vibe Coders Believe About LLMs
wilsonhobbs.com·2d·
Discuss: Hacker News
💧Liquid Types
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·2d
⚡Proof Automation
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·2d·
Discuss: Hacker News
🔗Lisp
Love C, Hate C: Web Framework Memory Problems
alew.is·1d·
Discuss: Hacker News
🔩Systems Programming
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation