🧮 Algebraic Datatypes - matmat · Scour

research!rsc: Pulling a New Proof from Knuth’s Fixed-Point Printer

research.swtch.com·13h·

Discuss: Lobsters, Hacker News

📐Interval Arithmetic

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·1d

λLambda Encodings

A Zeckendorf table in Python

leancrew.com·4h

📐Interval Arithmetic

**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**

dev.to·7h·

Discuss: DEV

🔤Type Theory

Linear algebra over field extensions

guille.site·1d

📐Linear Algebra

Beyond the Flat Table: Building an Enterprise-Grade Financial Model in Power BI

towardsdatascience.com·14h

🧠Query Planners

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·1d

λLambda Formalization

Java gives a status update about new language features -- Constant Patterns and Pattern Assignment!

mail.openjdk.org·1d·

Discuss: Hacker News, r/programming

✅Format Verification

A New Document Database

blog.spacegirl.nl·2d

🗄️Database Internals

Choosing a GGUF Model: K-Quants, I-Quants, and Legacy Formats

kaitchup.substack.com

·16h·

Discuss: Substack, r/LocalLLaMA

B-Lang-org/bsc: Bluespec Compiler (BSC)

github.com·2h

🔓Decompilation

The Rustonomicon – The Dark Arts of Advanced and Unsafe Rust Programming

doc.rust-lang.org·8h·

Discuss: Hacker News

🦀Rust Borrowing

Functional Optics for Modern Java

blog.scottlogic.com·2d

⟷Bidirectional Programming

Vulnerabilities in the Cashu ECash Protocol

conduition.io·1d

🔗Hash Chains

BASIC Programming With No Strings Attached

hackaday.com·21h

🔗Concatenative Programming

Ogg Encapsulation for the Opus Audio Codec

rfc-editor.org·4h

✅FLAC Verification

Golomb-Rice coding for compressing a set of hashes

johndcook.com·1d

📊Compression Proofs

Superstar64/Hazy: The Hazy Haskell Compiler

github.com·3d

🔗Functional Compilers

Misc engineering truisms

macwright.com·2d

🔩Systems Programming

&&&&&&&&&&&&&&str

ohadravid.github.io·1d·

Discuss: Lobsters, Hacker News, r/rust

🦀Rust Macros

Loading more...