🔗 Functional Compilers - matmat · Scour

The Hazy Haskell Compiler

discourse.haskell.org·4d·

Discuss: Hacker News

🔠Type-Level Programming

macro based decorator in Clojure

clojure-diary.gitlab.io·1d

🧠Lisp Dialects

Golang for Mach-O File Reverse Engineering

dev.to·8h·

Discuss: DEV

🔓Reverse engineering

haskellweekly.news·3d

🧬Functional Programming

Exploring the Type System

gibbok.github.io·16h

🔤Type Theory

5 Ways to Get the Best Out of LLM Inference

pub.towardsai.net·6h

A Unique Performance Optimization for a 3D Geometry Language

cprimozic.net·23h·

Discuss: Lobsters, Hacker News

⬆️Lambda Lifting

Program Reduction: A Win for Recursion Schemes

newartisans.com·6d

⬆️Lambda Lifting

Superstar64/Hazy: The Hazy Haskell Compiler

github.com·4d

💧Liquidhaskell

Type inference of all constructs and the next 15 months

elixir-lang.org·3d·

Discuss: Lobsters, Hacker News

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·2d

λLambda Encodings

Beyond Python: Why LLMs Need More Stable, Open Source Code

thenewstack.io·1d

🔄Language Evolution

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

doc.rust-lang.org·1d·

Discuss: Hacker News

🦀Rust Borrowing

LLM's and Smaller, Less Popular Programming Languages

scottarbeit.com·2d·

Discuss: Hacker News

💻Programming languages

LLVM: The bad parts

npopov.com·1d·

Discuss: Lobsters, Hacker News, r/cpp, r/programming

🏭Compiler Backends

Out-of-Context: Constrained Tool Based Exploration of Context

gojiberries.io·1d·

Discuss: Hacker News

🌳Context free grammars

NOVA might have been Futhark

futhark-lang.org·3d

🏗️Compiler Archaeology

Fun with Algebraic Effects – From Toy Examples to Hardcaml Simulations

blog.janestreet.com·4d·

Discuss: Lobsters, Hacker News, Hacker News

✨Algebraic Effects

Non-Traditional Profiling

mgaudet.ca·10h·

Discuss: Hacker News

🔗Binary Similarity

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

alok.github.io·5d

🚀JIT Compilation

Loading more...