Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🦀Rust
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·1d
🦀Rust
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
🦀Rust
Flag this post
Building Up And Sanding Down
endler.dev·1d
🦀Rust
Flag this post
Thoughts on AI and Software Design Patterns
dev.to·19h·
Discuss: DEV
🔄DevOps
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·15h·
Discuss: Hacker News
🦀Rust
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
✅Formal Verification
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
✅Formal Verification
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🦀Rust
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·21h·
Discuss: Lobsters, Hacker News
🦀Rust
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·11h·
Discuss: Hacker News
🦀Rust
Flag this post
Rouille – Rust Programming, in French
dev.to·14h·
Discuss: DEV
🦀Rust
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🦀Rust
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🦀Rust
Flag this post
ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
🦀Rust
Flag this post
Daily Artificial Intelligence Digest - Oct 31, 2025
dev.to·1d·
Discuss: DEV
🦀Rust
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·9h·
Discuss: DEV
✅Formal Verification
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·1d
🦀Rust
Flag this post
Dependency Management in Database Design
dolthub.com·3d
🦀Rust
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·23h
🦀Rust
Flag this post