A Rust Shaped Hole
mnvr.in·12h·
Discuss: Hacker News
🦀Rust
On The Role of Intentionality in Knowledge Representation: Analyzing Scene Context for Cognitive Agents with a Tiny Language Model
arxiv.org·19h
🦀Rust
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
🦀Rust
"high level" languages are easier to optimize
jyn.dev·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·1d
✅Formal Verification
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
From C to Python: How Programming Languages Have Evolved Over the Decades
dev.to·3d·
Discuss: DEV
🦀Rust
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🦀Rust
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·19h
✅Formal Verification
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·8h
🦀Rust
You Are in a Box
jyn.dev·1d·
Discuss: Lobsters, Hacker News
🦀Rust
Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Beyond the Hype: Real Talk on AI-Assisted Development • Jessica Kerr & Diana Montalion • GOTO 2025
youtube.com·11h
🔄DevOps
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
✅Formal Verification
SLIM: A Heterogeneous Accelerator for Edge Inference of Sparse Large Language Model via Adaptive Thresholding
arxiv.org·19h
🦀Rust
SEALGuard: Safeguarding the Multilingual Conversations in Southeast Asian Languages for LLM Software Systems
arxiv.org·19h
🦀Rust
Context-Aware Regularization with Markovian Integration for Attention-Based Nucleotide Analysis
arxiv.org·19h
🦀Rust
Re-implementing the Nix protocol in Rust
tweag.io·1d·
Discuss: Hacker News
🦀Rust
Helix Editor Release 25.07 Highlights
helix-editor.com·4h·
Discuss: Lobsters, Hacker News, r/linux
🦀Rust