🔗 Graph Algorithms - nmarshall · Scour

Show HN: HeapLens – I built the only heap dump analyzer in VSCode (Java/Android) 🔍Borrow Checker

marketplace.visualstudio.com·6d·Hacker News

Algorithms for Modern Hardware ⚙️Performance Profiling

en.algorithmica.org·2h·Hacker News

WeakC4, or Distilling an Emergent Object 🧠Memory Models

2swap.github.io·14h·Hacker News

Matrix-matrix multiplication, from less conventional points of view: 🔢Homomorphic Encryption

okmij.org·2d·Hacker News

War on Raze ∀Lean4

gist.github.com·2d·Hacker News

The Layered Network Model 🌐Network Protocols

mahi-novice.bearblog.dev·15h

Visualizing Graph Structures Using Go and Graphviz 📐Diagramming

dominik.info·3d·Hacker News, r/golang, r/programming

I Solved Connect 4 ∀Lean4

youtube.com·16h·Hacker News

Software Artchitecture: An Unorthodox Approach 🏗️System Design

charlesfonseca.substack.com·1d·Substack

nbio: A non-blocking I/O and event loop abstraction in Odin ⚡Tokio

pkg.odin-lang.org·2d·Hacker News

Explaining the squarified treemap algorithm 📐Computational Geometry

book.gtoolkit.com·5d·Hacker News

A Gradual Probabilistic Lambda Calculus 🎯Hindley-Milner

arxiv.org·1d

Rust-Powered Graph Embedding Engine 🔥Burn

cleora.ai·6d·Hacker News

A WIP arbitrary precision arithmetic library (alternative to GMP) λFunctional Programming

news.ycombinator.com·1d·Hacker News

Functional Algorithms, Verified λFunctional Programming

www21.in.tum.de·5d·Lobsters

Reactive graph protocol for human and LLM co-operation 🗳️Raft Algorithm

graphrefly.dev·5d·Hacker News

FOSSGIS Conference 2026 🗺️OpenStreetMap

volkerkrause.eu·5d

Fourwords, a free open human and machine friendly global positioning standard 🗺️OpenStreetMap

yoshimi.space·5d·Hacker News

FRACTRAN: A Simple Universal Programming Language for Arithmetic ∀Lean4

leetarxiv.substack.com·4d·Substack, r/programming

My 11-step GraphRAG pipeline, what worked, and what's still broken ⚙️DataFusion

news.ycombinator.com·4d·Hacker News

Loading more...