Bridging the visibility gap in software supply chain security
about.gitlab.comยท2d
๐Ÿ”—Supply Chain
Dependency thoughts
macwright.comยท3d
๐Ÿ”—Dependency Resolution
XProc tips and tricks
so.nwalsh.comยท1d
โšกProof Automation
How to Learn the Swift Source Code
blog.jacobstechtavern.comยท9hยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.orgยท1dยท
Discuss: Lobsters, Hacker News
๐ŸšNordic Shell
Image Rotation: Mutable Arrays in Haskell
mmhaskell.comยท1d
ฮปLambda Encodings
Swift and C++ Interoperability in Practice
arturgruchala.comยท1dยท
Discuss: Hacker News
โœ…Format Verification
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.deยท1dยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Asynchrony is not Concurrency
kristoff.itยท5dยท
Discuss: Lobsters, Hacker News, r/programming
๐ŸŒŠStream Processing
Stop Writing Slow Rust: 20 Rust Tricks That Changed Everything
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.comยท10hยท
Discuss: Hacker News
๐ŸŽฏEmulator Accuracy
Rust Clippy performance status update
blog.goose.loveยท2dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
A Full Code Agent in 200 Lines
cthiriet.comยท1dยท
Discuss: Hacker News
โšกProof Automation
Architecture Styles โ€“ Azure Architecture Center
learn.microsoft.comยท7hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
blog.daviddodda.comยท1hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Migrating to AWS in production with zero downtime
loops.soยท3hยท
Discuss: Hacker News
๐Ÿ Homelab Orchestration
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.orgยท1d
๐ŸงฎConstraint Solvers
Language Generation in the Limit: Noise, Loss, and Feedback
arxiv.orgยท20h
๐Ÿ’ปProgramming languages
How To Significantly Enhance LLMs by Leveraging Context Engineering
towardsdatascience.comยท23h
๐Ÿ”—Constraint Handling
Unique, mathematical shortcuts language models use to predict dynamic scenarios
eecs.mit.eduยท1dยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages