⚙️ Programming - gip · Scour

Finite Functional Programming ✅Formal Verification

Functional Programming in Lean - Functional Programming in Lean ✅Formal Verification

leanprover.github.io·2d·Hacker News

rust-lang/libc: Raw bindings to platform APIs for Rust 🔧MLIR

github.com·6d·r/rust

std::rint,std::rintf,std::rintl,std::lrint,std::lrintf,std::lrintl,std::llrint,std::llrintf (3) Linux Manual Page 🔧MLIR

systutorials.com·4h

Issue 522 🔧MLIR

haskellweekly.news·6h

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

·2d

StupidStackLanguage 🧮Homomorphic Encryption

esolangs.org·40m·Hacker News

My First Rust Project: A Simple CLI Task Manager 🔧MLIR

·4d

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🔧MLIR

youtube.com·7h

Why I Still Reach for Lisp and Scheme Instead of Haskell 🔧MLIR

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

Why I still reach for Lisp and Scheme instead of Haskell ✅Formal Verification

news.ycombinator.com·12h·Hacker News

Table Oriented Programming (2002) ✅Formal Verification

oocities.org·5h·Hacker News

Beginner's guide to error handling in Rust ✅Formal Verification

xn--fs5a.xn--zsss51h.xn--rhqv96g·1d·DEV

Learn Rust Programming Today 🔧MLIR

coniferproductions.com·5d

Functional Programmers need to take a look at Zig. 🔧MLIR

pure-systems.org·20h·Lobsters, Hacker News, Hacker News

Re-learning C, going through the examples in K&R. Here is the library so far 🔧MLIR

codeberg.org·2d·r/C_Programming

Speeding up the JavaScript ecosystem - Rust and JavaScript Plugins 🔧MLIR

marvinh.dev·19h·r/coding

Scientific Computing in Rust Monthly #17 🔧MLIR

scientificcomputing.rs·3d

Build a JSON Parser in Rust from Scratch 🔗Crypto

blog.sheerluck.dev·8h

Rust’s Type System as a State Machine, Phantom Types and the Typestate Pattern 🔧MLIR

·2d

Log in to enable infinite scrolling