⚙️ Programming - gip · Scour

Table Oriented Programming (2002) ✅Formal Verification

oocities.org·14h·Hacker News

Scientific Computing in Rust Monthly #17 🔧MLIR

scientificcomputing.rs·3d

Functional Programmers need to take a look at Zig 🔐Zero-Knowledge Proofs

Blessed Syntax and Ergonomics 🧮Homomorphic Encryption

gingerbill.org·1d·Lobsters, Hacker News, r/programming

A Grounded Conceptual Model for Ownership Types in Rust 🔧MLIR

dl.acm.org·18h·Lobsters

Learn Rust Through the Photo Framer App — Structs, Traits & Impl Blocks 🔧MLIR

·6d

Breaking ten years of API compatibility 🔧MLIR

futhark-lang.org·1d·Lobsters

ustr (3) Linux Manual Page 🔧MLIR

systutorials.com·2h

I'm depressed so I'm writing a rust compiler 🔧MLIR

reddit.com·2d·r/rust

Watching .filter().sum() compile to the same assembly as a hand-rolled loop (Euler #1, three ways in Rust) ✅Formal Verification

heartit.tech·6d·r/rust

parse_dont_validate_rs/README.md at main · andrewbanchich/parse_dont_validate_rs 🔧MLIR

Anodized – catch Rust runtime bugs at compile time 🔧MLIR

docs.rs·1d·Hacker News

The Final Form of Software Development 🔧MLIR

blog.zksecurity.xyz·1d·Lobsters, Hacker News

Getting Started Hash-Based Data Structures in Rust. 🔐Zero-Knowledge Proofs

·3d

Untyped, on Purpose 🔧MLIR

intertwingly.net·2d·Hacker News

Is possible a language easy as py, fast as C, more secure than Rust? 🔧MLIR

news.ycombinator.com·6d·Hacker News

Transformations, functors, categories ✅Formal Verification

muratkasimov.art·1d·r/functionalprogramming

Architecture 🔧MLIR

docs.kreuzcrawl.kreuzberg.dev·1d

Is there a crate for adding "consuming" versions of String methods? ✅Formal Verification

docs.rs·5d·r/rust

Yukari Hafner: On Lisp, LLMs, and Community 🔧MLIR

reader.tymoon.eu·1d

Log in to enable infinite scrolling