🔗 Functional Compilers - matmat · Scour

The Hazy Haskell Compiler

discourse.haskell.org·3d·

Discuss: Hacker News

🔠Type-Level Programming

macro based decorator in Clojure

clojure-diary.gitlab.io·7h

🧠Lisp Dialects

haskellweekly.news·2d

🧬Functional Programming

Superstar64/Hazy: The Hazy Haskell Compiler

github.com·2d

💧Liquidhaskell

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·1d

λLambda Encodings

Program Reduction: A Win for Recursion Schemes

newartisans.com·4d

⬆️Lambda Lifting

Type inference of all constructs and the next 15 months

elixir-lang.org·1d·

Discuss: Lobsters, Hacker News

LLM's and Smaller, Less Popular Programming Languages

scottarbeit.com·20h·

Discuss: Hacker News

💻Programming languages

Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations

blog.janestreet.com·2d·

Discuss: Lobsters, Hacker News, Hacker News

✨Algebraic Effects

NOVA might have been Futhark

futhark-lang.org·1d

🏗️Compiler Archaeology

Quick Take: Bridging Compile-Time and Runtime Performance in Lean 4

alok.github.io·3d

🚀JIT Compilation

Reflex FRP – a Haskell-based ecosystem for building user interfaces and web apps

reflex-frp.org·3d·

Discuss: Hacker News

🎯Gradual Typing

Functional Optics for Modern Java

blog.scottlogic.com·1d

⟷Bidirectional Programming

[$] READ_ONCE(), WRITE_ONCE(), but not for Rust

lwn.net·22h

🦀Rust Macros

Automatic async to sync code conversion

psycopg.org·2h·

Discuss: Hacker News

🌳Incremental Parsing

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·1d

λLambda Formalization

Accelerating LLM inference with post-training weight and activation using AWQ and GPTQ on Amazon SageMaker AI

aws.amazon.com·19h

Alex-Ozun/swift-effect: Algebraic Effects and Effect Handlers for Swift

github.com·22h

✨Effect Handlers

Linear algebra over field extensions

guille.site·10h

📐Linear Algebra

BASIC Programming With No Strings Attached

hackaday.com·8h

🔗Concatenative Programming

Loading more...