⚙️ Programming - gip · Scour

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

systutorials.com·14h

Building Semantic Version Control in Rust 🔧MLIR

therohansharma.com·5d·Hacker News

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🔧MLIR

github.com·12h·Hacker News

Arboretum.hs: Symbolic manipulation for algebras of graphs ✅Formal Verification

Generalised plusequals ✅Formal Verification

leontrolski.github.io·6d·Hacker News

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

codeberg.org·3d·r/C_Programming

Previous Issues ✅Formal Verification

brokencomb.dev·4d

Looking at Rust GUI libraries and I 2026-04-24 19:30:02.426298+02 🔧MLIR

flutterby.com·6d

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

·3d

std::find_first_of (3) Linux Manual Page 🔧MLIR

systutorials.com·22h

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc 🔧MLIR

github.com·23h·r/cpp

Clash: Clash Language Homepage 🔧MLIR

clash-lang.org·6d

Clojure on Fennel part three: parsing ✅Formal Verification

andreyor.st·3d·Hacker News

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types ✅Formal Verification

Claude Mythos Just Audited Rust’s Standard Library and Found Something Unexpected 🔧MLIR

·3d

I've just added generics to my programming language! ✅Formal Verification

reddit.com·6d·r/Compilers

"Parse, don't Validate" through the years with C++ ✅Formal Verification

derekrodriguez.dev·4d·Hacker News, r/programming

std::find_if_not (3) Linux Manual Page ✅Formal Verification

systutorials.com·22h

Highline: Ruby gem for a higher level command-line oriented interface 🔧MLIR

github.com·7h·Hacker News

The Complicated Nature of Programming Languages 🔧MLIR

functiondispatch.substack.com·6d·r/programming

Sign up or log in to see more results

Log in to enable infinite scrolling