λ Functional Programming - hello · Scour

bntre/visual-lambda: Visual environment for manipulation the lambda calculus expressions

github.com·12h·

Discuss: Hacker News

🔗Dependent Types

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types

arxiv.org·3d

Full Transformer Block — Deep Dive + Problem: List Operations

dev.to·4h·

Discuss: DEV

🌳Pratt Parsing

Power of C++26 Reflection: Strong (opaque) type definitions

godbolt.org·18h·

Discuss: r/cpp

👻Phantom Types

Beyond basic Excel formulas: Why LAMBDA helper functions are the new normal

howtogeek.com·2h

Writing functions that play nice with Io.Group

ziggit.dev·2d

I'm Building a Programming Language From Scratch. Here's What That's Actually Like.

dev.to·1h·

Discuss: DEV

🦀Rust Macros

anadim/AdderBoard: Smallest transformer that can add two 10-digit numbers

github.com·5h

🌳Pratt Parsing

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·1d

🎭Program Synthesis

Differential Logic • 13

inquiryintoinquiry.com·1d

✅Model Checking

LLM-Based Evolution as a Universal Optimizer

imbue.com·21h·

Discuss: Hacker News

💬Prompt Engineering

The Topology of LLM Behavior

lesswrong.com·18h

An Introduction to Lean 4

uv.es·7h

🏗️Cranelift

Swapping NULL for NUL - a better way to find nothing!

research.exoticsilicon.com·18h

♻️Interning

Gödel, slowly …

logicmatters.net·1h

IIFE for Complex Initialization -- Bartlomiej Filipek

isocpp.org·1d

🔨Incremental Compilation

The third hard problem

mmapped.blog·18h

🔢Homomorphic Encryption

Solving hard problems

marcg.net·1d

🎭Program Synthesis

Introduction to Data-Centric Query Compilation

duckul.us·2d·

Discuss: r/compsci

What makes a game tick? Part 9 - Data Driven Multi-Threading Scheduler

mropert.github.io·1d·

Discuss: r/cpp

🧵Lightweight Threads

Loading more...