📊 Dependency Graphs - matmat · Scour

Why Your Codebase Is a Graph, Not Files

dev.to·19h·

Discuss: DEV

🔗Topological Sorting

C and C++ dependencies, don't dream it, be it!

nibblestew.blogspot.com·1d·

Discuss: Hacker News, nibblestew.blogspot.com

🔗Dependency Resolution

Main Content || Math ∩ Programming

jeremykun.com·6h

🧮Kolmogorov Complexity

Automatic WS2812 Characterization

cpldcpu.com·1d

👁️System Observability

Build Systems and Build Philosophy

abseil.io·3d·

Discuss: Lobsters

🔄Reproducible Builds

Supac - a declarative package manager written in Rust, scriptable in nushell

codeberg.org·1d·

Discuss: r/rust

📦Package Managers

brynary/attractor: Full implementation of StrongDM Attractor specs in TypeScript

github.com·12h·

Discuss: Hacker News

🔗Topological Sorting

A Proof of P = NP

dev.to·4h·

Discuss: DEV

🎯Performance Proofs

Building a scalable code modernization solution with AWS Transform custom

aws.amazon.com·2d

🏠Homelab Orchestration

Applying a Requirements-Focused Agile Management Approach for Machine Learning-Enabled Systems

arxiv.org·3d

🔗Supply Chain

The Future of Software Engineering

poberezkin.com·9h·

Discuss: Hacker News

💻Programming languages

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·1d·

Discuss: Hacker News

✨Effect Handlers

How rising complexity is reshaping the role of data center services

techradar.com

·2d

🏠Homelab Orchestration

Software design is now cheap

dottedmag.net·19h·

Discuss: Hacker News

📏Code Metrics

Build a Compiler in Five Projects

kmicinski.com·1d

Project Management Built for Engineering Teams

velocity.quest·1d·

Discuss: Hacker News

🌊Stream Processing

The Human-Centric Stack: Why Logs Are the Great Equalizer in the Age of AI

loggly.com·3d

📝Log Parsing

Boost LLM Security: automated Red Teaming at Scale with Promptfoo

blog.nviso.eu·3d

⚡Proof Automation

AI Workflows with human-in-the-loop

weavemind.ai·20h·

Discuss: Hacker News

⚡Incremental Computation

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·2d

🤝Consensus Protocols

Loading more...