⚙️ Programming - gip · Scour

Finite Functional Programming ✅Formal Verification

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

leanprover.github.io·3d·Hacker News

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

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

withFixedLegDayCount (3) Linux Manual Page ✅Formal Verification

systutorials.com·1h

Issue 522 🔧MLIR

haskellweekly.news·16h

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

pure-systems.org·1d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

dmiller-fork/libkr: A library of the examples from the c programming language by Kernighan and Ritchie 🔧MLIR

github.com·3d·Hacker News

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

youtube.com·17h

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

marvinh.dev·1d·r/coding

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

news.ycombinator.com·22h·Hacker News

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

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

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

·5d

How To Get Started Writing Rust Code For The First Time! 🔧MLIR

·15h

Seqair, my Rust-native take on htslib 🔧MLIR

deterministic.space·1d

Haskell: Debugging ✅Formal Verification

wiki.haskell.org·6h·Hacker News

Learn Rust Programming Today 🔧MLIR

coniferproductions.com·5d

Build a JSON Parser in Rust from Scratch 🔗Crypto

blog.sheerluck.dev·17h

Dump previously created procedures in Scheme ✅Formal Verification

people.eecs.berkeley.edu·2d·r/learnprogramming

StupidStackLanguage 🧮Homomorphic Encryption

esolangs.org·10h·Hacker News

Blessed Syntax and Ergonomics 🧮Homomorphic Encryption

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

Log in to enable infinite scrolling