🔢 lambda calculus - abnv · Scour

Feedback on checked exceptions and lambdas

dev.to·3d·

Discuss: DEV

🛡️Error Handling

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·2d

⚡Effect Handlers

Tip of the Week #165: <code>if</code> and <code>switch</code> statements with initializers

abseil.io·1d

🔗Lexical Scoping

Kotlin Symbol Processing: создаём свой процессор

habr.com·2d

📋Template Compilers

The Next Big Language (2007) by Steve Yegge

steve-yegge.blogspot.com·18h·

Discuss: Hacker News

🌱Minimal Languages

How I Built My Project in Haskell

dev.to·1d·

Discuss: DEV

🌱Minimal Languages

The Hairy Ball Theorem

3quarksdaily.com·4d

🧮Combinator Calculus

Logistic Regression, Average Marginal Effects, and the Linear Probability Model - Part II: Coefficients and AMEs of nested models

elff.eu·2d

✨Effect Inference

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·1d

📊Pratt Parsers

Naughty is Nice!

yamlscript.org·1d

🧼Lisp Hygiene

Tip of the Week #108: Avoid <code>std::bind</code>

abseil.io·1d

🏷️Symbol Mangling

Private Data Space Model

privatedata.space·3d

🪢Rope Data Structures

TMTOWTDI for YS Expressions

yamlscript.org·1d

📦Closure Conversion

LlamaLib: A cross-platform C++/C# library for local LLMs based on llama.cpp

github.com·2d·

Discuss: Hacker News

💬Smalltalk VMs

What I am doing now

artima.com·1d

🔄Bootstrapping

My Most Important C++ Aha! Moments...Ever

artima.com·1d

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·2d

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·2d

🧩Monadic Parsing

Style tips for less experienced developers coding with AI

honnibal.dev·2d·

Discuss: Hacker News

🌊Gradual Effects

The Little Book of Linear Algebra

little-book-of.github.io·2d

🧮Linear Algebra

Loading more...