Graph Lineages and Skeletal Graph Products
arxiv.orgยท1d
๐Ÿ”—Graph Isomorphism
The new Dependabot NuGet updater: 65% faster with native .NET
devblogs.microsoft.comยท11hยท
Discuss: Hacker News
๐Ÿ”—Dependency Resolution
Analysing Snapshot Isolation
muratbuffalo.blogspot.comยท9hยท
Discuss: www.blogger.com
๐ŸŒณPersistent Data Structures
Manually fixing apt's "Unmet dependencies" error
dustri.orgยท2h
๐Ÿ“ฆPackage Managers
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Linear Types
SAT Requires Exhaustive Search
link.springer.comยท1dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Building brittle software
blog.kronis.devยท22h
โ„๏ธNix Flakes
Reproducible Go Toolchains: What You Need to Know
hackernoon.comยท2d
๐Ÿ”„Reproducible Builds
Machine Learning Fundamentals: model evaluation project
dev.toยท5hยท
Discuss: DEV
๐Ÿ“Code Metrics
(BT) Diversity from (LC) Diversity
golem.ph.utexas.eduยท5h
๐ŸงฎKolmogorov Complexity
Why Computer Science Is No Good, Redux
cacm.acm.orgยท5h
๐ŸŽฏPerformance Proofs
Rod Burstall: In Memoriam
arxiv.orgยท5hยท
Discuss: Lobsters
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Software Internals Book Club
eatonphil.comยท16h
โš™๏ธOperating System Design
The Christofides Algorithm
alon.krยท6hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธGraph Algorithms
Detection Engineering: Practicing Detection-as-Code โ€“ Validation โ€“ Part 3
blog.nviso.euยท15h
โœ…Archive Validation
Machine Learning Pipeline for Software Engineering: A Systematic Literature Review
arxiv.orgยท1d
๐Ÿ“Code Metrics
Depth=2
tristanpemble.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Dependency Resolution
Show HN: Code Index MCP โ€“ Codebase Indexing Server for LLMs
github.comยท16hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.comยท21hยท
Discuss: Hacker News
๐Ÿ“ŠCitation Graphs
Tinkering with Hobby Projects
jeffersonheard.ghost.ioยท7hยท
Discuss: Hacker News
โš™๏ธDIY Electronics