Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Tarjan Algorithms
Automated Conformance Assessment of Smart Grid Device Profiles via Graph Neural Networks
dev.to·2h·
Discuss: DEV
👑Dominator Analysis
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
📚Stack Allocation
The FLP Theorem
shachaf.net·8h·
Discuss: Lobsters, Hacker News, r/programming
🤝Session Protocols
Blueprints for Flutter Development: Building Reliable Foundations
hutouch.com·5h·
Discuss: DEV
🎮Language Ergonomics
Cactus Language • Mechanics 2
inquiryintoinquiry.com·9h
📋Backus-Naur Form
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·4h·
Discuss: DEV
🔗Concurrency Primitives
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·17h
🌿Trie Structures
original ↗
redblobgames.com·1d
🚪Escape Hatch
Building Your First AI Agent: Tavily X LangGraph
dev.to·6h·
Discuss: DEV
🎭Program Synthesis
Master Python Lists: A Comprehensive Guide for Beginners & Beyond
dev.to·19h·
Discuss: DEV
🪢Rope Data Structures
Directory Listings with Foundry
blogs.gnome.org·1d
🗑️Garbage Collection
Unlocking Schedules: Visualizing Constraint Conflicts with Graph-Based Analysis by Arvind Sundararajan
dev.to·4d·
Discuss: DEV
🎨Graph Coloring
AT Protocol private data: Developing a rubric for success
pfrazee.leaflet.pub·15m·
Discuss: Hacker News
🛡️Security Type Systems
Momentum-constrained Hybrid Heuristic Trajectory Optimization Framework with Residual-enhanced DRL for Visually Impaired Scenarios
arxiv.org·21h
🌊Loop Invariant Motion
Resilience modeling for an engineered network with multimodal performance under multiple recurrent hazards
sciencedirect.com·1d
📮Persistent Queues
A Minimal, Executable Specification for Bitcoin Consensus - Toby Sharp
hornetnode.org·4h
📡Binary Protocols
Qbix Streams as a Graph Database for Indexing Catalogs, Dating Sites, etc.
community.qbix.com·5h·
Discuss: Hacker News
📈Query Optimization
Space-Deniable Proofs
eprint.iacr.org·15h
📜Proof Languages