Constraint Satisfaction, Register Allocation, Scheduling Problems, Algorithmic Graph Theory

Monotonically Decreasing the Number of Directed 3-Cycles via Edge-Flips?
arxiv.org·18h
🕸️Graph Algorithms
Flag this post
My Rough and Incomplete Back End Developer Skill Tree
iainschmitt.com·8h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Using Claude Skills with Neo4j
towardsdatascience.com·5h
🕸️Neo4j
Flag this post
Complex networks-based anomaly detection for financial transactions in anti-money laundering
sciencedirect.com·9h
🔍Vector Forensics
Flag this post
The Hallelujah Algorithm
dev.to·4d·
Discuss: DEV
🕸️Graph Algorithms
Flag this post
Making asm.js/WebAssembly compilation more parallel in Firefox
bouvier.cc·1d
🏗️Compiler Archaeology
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.edu·2h
📐Error Bounds
Flag this post
Who needs Graphviz when you can build it yourself?
spidermonkey.dev·5h·
Bidirectional Programming
Flag this post
Lore Laundering Machines - by Ben Recht - arg min
argmin.net·1d
🎯Performance Proofs
Flag this post
Signature schemes you've never heard about – Kobi Gurkan
kobi.leaflet.pub·13h·
Discuss: Hacker News
🌳Archive Merkle Trees
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.org·1d
🧮Theoretical Computer Science
Flag this post
The Agentic AI Platform for the Agentic Workforce of the Future
paloaltonetworks.com·8h
🏠Homelab Automation
Flag this post
Arranging the PIC Parterre
rastamouse.me·9h
🔗Static Linking
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·18h
🧮Constraint SMT
Flag this post
Turing Machine Visualization (2016)
turingmachine.io·1d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
Convert any GitHub repo to coding puzzles
github.com·4h·
Discuss: Hacker News
Proof Automation
Flag this post
A moonlit week
blog.mitrichev.ch·2d·
λLambda Encodings
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·1d·
Discuss: Hacker News
🔒Type Safety
Flag this post
How I Chose The Tech Stack For Job Helper
playfulprogramming.com·1d
📡RSS Automation
Flag this post
Nodesmith: Automated Blockchain Node Upgrades
coinbase.com·23h·
Discuss: Hacker News
🤝Distributed Consensus
Flag this post