Dive into Systems
🧩Theorem Proving
Flag this post
News for October 2025
ptreview.sublinear.info·5d
📈Complexity Theory
Flag this post
Why Python's deepcopy() is surprisingly slow (and better alternatives)
🔗Parser Combinators
Flag this post
🎲 Container Escapes 101 - Kernel resource sharing
some-natalie.dev·1d
🌍Distributed Systems
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
⚙Functional Programming
Flag this post
Tactics to End Dark Patterns in App and Web Development
thenewstack.io·1d
🏗️Software Architecture
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·5d
🕸️Graph Theory
Flag this post
A Middle Layer for Offloading JVM-Based SQL Engines' Execution to Native Engines
👐Open Source Software
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
🧩Theorem Proving
Flag this post
MIT researchers propose a new model for legible, modular software
🏗️Software Architecture
Flag this post
Are We Aligned? A Preliminary Investigation of the Alignment of Responsible AI Values between LLMs and Human Judgment
arxiv.org·2d
🧮Programming Language Theory
Flag this post
Loading...Loading more...