Tractable Graph Structures in EFX Orientation
arxiv.orgΒ·1d
πŸ”„Graph Rewriting
Show HN: CompoConf – modular configuration for modular systems
korbi.aiΒ·10hΒ·
Discuss: Hacker News
🧩WASM Modules
Advanced Go Concurrency: Unleashing Lock-Free Data Structures for Real-World Wins
dev.toΒ·7hΒ·
Discuss: DEV
⚑Hardware Transactional Memory
And the other Big Red Logic Books?
logicmatters.netΒ·15h
πŸ”€Category Theory
Linters, Formatters, and Type-Checkers
playfulprogramming.comΒ·1d
🎯Gradual Typing
Coordinating computers in a relativistic universe: Expert ponders how algorithms might function across space
phys.orgΒ·16h
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.comΒ·17hΒ·
Discuss: r/compsci, r/programming
πŸ—„οΈDatabase Internals
My first experience with Formal Methods | ZipCPU
zipcpu.comΒ·21h
πŸ”§Hardware Verification
Two Pointer Algorithms
mmhaskell.comΒ·3d
πŸ¦€Rust Macros
How to write a (software) 3D polygon pipeline (2000)
cbloom.comΒ·12hΒ·
Discuss: Hacker News
⟷Bidirectional Programming
The Less Humble Programmer (2023)
digitalhumanities.orgΒ·12hΒ·
Discuss: Lobsters, Hacker News
πŸ“œProof Carrying Code
Can All Knowledge Be Mined? A Formal Framework for Ο†^∞ Consequence Closure
researchgate.netΒ·15hΒ·
Discuss: Hacker News
πŸ”’Denotational Semantics
Parallel Complexity of Depth-First-Search and Maximal path
arxiv.orgΒ·1d
πŸ•ΈοΈNetwork Topology
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.comΒ·1dΒ·
Discuss: www.blogger.com
βš”οΈLean Theorem
Working with Claude Code
bphogan.comΒ·12hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
This algorithm introduces a novel 2-approximation algorithm for computing a dominating set in general undirected graphs. This clearly demonstrates that P = NP, ...
dev.toΒ·1dΒ·
Discuss: DEV
πŸ•ΈοΈGraph Algorithms
Beyond Model Stacking: The Architecture Principles That Make Multimodal AI Systems Work
towardsdatascience.comΒ·8h
✨Effect Handlers
A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
arxiv.orgΒ·3d
πŸ”—Combinatory Logic
Compiling LLMs into a MegaKernel: A Path to Low-Latency Inference
zhihaojia.medium.comΒ·12hΒ·
Discuss: Hacker News
πŸ“ŠPerformance Profiling
Efficient Serving of LLM Applications with Probabilistic Demand Modeling
arxiv.orgΒ·1d
🌊Streaming Systems