#Rust

CodeMetrics: A Self-Aware Code Analyzer That Judges Itself

Build a tool that analyzes Rust source files and generates metrics about code quality, then rates those metrics against an internal confidence scoring system that questions its own validity. The progr…

devdotdev.dev·6d ago·5 min read

Rust AI Code Review

Announcing Rust 1.96.0

The Rust Programming Language Blog [Unofficial]·May 28·4 min read

get rustup detailed release notes for 1.96.0 report it is a footgun to implement both Iterator and Copy on the same type

This Week in Rust 653

This Week in Rust [Unofficial]·May 27·13 min read

This Week in Rust Rust @thisweekinrust.bsky.social @ThisWeekinRust

Proof sketch of Hugh Woodin's Ω conjecture

Set theoretic forcing is a type system.

Holobrine·May 26·8 min read

type system Rust large cardinals woodin

I Built a WebDriver for WKWebView Tauri Apps on macOS

I've been exploring Tauri lately – the framework for building desktop (and mobile) apps using web technologies with a Rust backend. I built an an open-source W3C WebDriver implementation to make it ea…