Creusot 0.14.0 release - Contracts for Rust, formally proved
We are pleased to announce the release of version 0.14.0 of Creusot, our formal verification tool for Rust.
Lobsters5 min read
Rust
46 stories
Highlights from "I spent 6 years developing a game in Rust and it just shipped, AMA" (2024)
I recently released Way of Rhea, a puzzle game that I’ve been working on in Rust since 2018. If you like games like Braid, Talos Principle, or Portal you’d probably enjoy it:
Lobsters20 min read
The next-gen borrow checker, a drop-in replacement for Rust borrow checking
The next-gen borrow checker, a drop-in replacement for Rust borrow checking. - new_borrow_checker.md
Lobsters51 min read
The wild west of polyglot docs sites
A polyglot docs site attempts to combine the outputs from multiple docs generators into a cohesive whole. There isn’t really a great way to do this, yet.
Lobsters7 min read
Clean-room ports with a coding agent: the oracle loop behind six agent ports, and what each run cost
ts-rust passed 181,711 ported tests for about $24,047 of Opus 5.5 tokens. Six agent ports, the oracle loop they share, what each cost and where it broke.
Stackness Blog9 min readBranches in branch-free code
You can see the output on Compiler Explorer, alongside versions compiled with GCC and with the Zicond extension we’ll look at below.
Lobsters6 min read
Demoting i686 Windows targets to std-only
Empowering everyone to build reliable and efficient software.
Lobsters2 min readThe Missing Piece in Rust Error Handling
Rust already has most of what I want from error handling: explicit control flow, errors as values, and concise propagation with ?. The friction comes when deciding what to put in the error half of Result.
Lobsters8 min read
Rust upstart reveals 'reimplementation' of Microsoft Office – with Claude on coding duty
ArtCraft adds Word, Excel, and PowerPoint lookalikes to its open source lineup, but they're not ready for production
The Register5 min readThe Performance Cost of RwLock in Our Read-Heavy Workload
How per-item RwLock reads became expensive in our read-heavy workload, how using lock-free has improved performance, and where a simple RwLock remained a good fit.
Lobsters6 min read
Beyond the &
Rust has a number of kinds of smart pointers, both in the standard library and defined by user [...]
Lobsters9 min readProperty Testing with Agent Swarms
Using agents to build property-testing machinery, then turn the findings into small, reviewable fixes.
Lobsters6 min read
An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust
An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust - storytold/photocraft
Lobsters12 min read
Rails originator roasted over Rust boosterism
David Heinemeier Hansson's agent-coded bakeoff produced curious results
The Register7 min read
Local-First Semantic Search on Windows: Running SigLIP2 and DINOv3 with Tauri 2 and ONNX
I built PixaFind for the search you do when you remember a file's contents but have forgotten its name. You might remember a cat sitting in sunlight, a whiteboard from a meeting, or a paragraph about a budget. None of those memories give you a path to type into Explorer.
Dev.to AI10 min readBurn 0.22.0: Faster Builds, Easier Extensions, and Smarter Autotuning
Burn 0.22.0: Faster builds without backend generics, easier custom operations, adaptive memory management, smarter autotuning, GPU graph replay, and new fine-tuning and deployment workflows.
Lobsters14 min read
Mold 3.0.0 Released
mold 🦠: A Modern Linker in Rust 🦀. Contribute to rui314/mold development by creating an account on GitHub.
Lobsters6 min read
Implementation That Favors the AI, Review That Favors the Human---Writing a COW Filesystem from Scratch, Part 2
In the last post, I decided to hand the keyboard over to the AI. But how to use the keyboard, what the key layout is, which input method to use: all of that is still unclear. To get a filesystem built sooner rather than later, I still need to make a little more effort.
Dev.to AI13 min read
Showing 18 of 46 stories
Load more storiesAiByts Weekly Brief
Get the top AI news and tools straight to your inbox every week.
Weekly · AI news
Join 15,000+ AI enthusiasts