Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
On This Day in Math - June 23
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📐Mathematical Art
Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·21h·
Discuss: DEV
🔗Concatenative Programming
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
The Guide to the Foundation Models Framework
azamsharp.com·4h·
Discuss: Hacker News
λLambda Formalization
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.org·1d
⚽Sphere Packing
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·2d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
Explaining software and computational methods
blog.khinsen.net·18h
📝Concrete Syntax
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·4h·
Discuss: DEV
🧠Machine Learning
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros