Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
✅Formal Verification
The Generativity Pattern in Rust
arhan.sh·17h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·15h·
Discuss: DEV
🦀Rust
In Support Of Shitty Types
lucumr.pocoo.org·16h·
Discuss: Lobsters, Hacker News
🦀Rust
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·7h
🦀Rust
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·20h·
Discuss: Hacker News, r/programming
🦀Rust
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·4d·
Discuss: Hacker News
🦀Rust
TokenSpan: Rethinking Prompt Compression with Aliases and Dictionary Encoding
dev.to·12h·
Discuss: DEV
🦀Rust
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·7h
✅Formal Verification
A comprehensive taxonomy of hallucinations in Large Language Models
arxiv.org·7h
🦀Rust
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·2d·
Discuss: Hacker News
🦀Rust
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🦀Rust
Lightweight Backbone Networks Only Require Adaptive Lightweight Self-Attention Mechanisms
arxiv.org·7h
🦀Rust
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·7h
🔄DevOps
Typed languages are better suited for vibecoding
solmaz.io·1d·
Discuss: Hacker News
🦀Rust
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·7h
🦀Rust
PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·7h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
The Hidden Cost of Performance: How High-Load Specialization Warps Engineering Intuition
hackernoon.com·1d
🦀Rust
UrBLiMP: A Benchmark for Evaluating the Linguistic Competence of Large Language Models in Urdu
arxiv.org·7h
🦀Rust
Constructive Disintegration and Conditional Modes
arxiv.org·1d
✅Formal Verification