⬆️ Lambda Lifting - matmat · Scour

**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**

dev.to·7h·

Discuss: DEV

🔤Type Theory

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

doc.rust-lang.org·8h·

Discuss: Hacker News

🦀Rust Borrowing

Automatic async to sync code conversion

psycopg.org·15h·

Discuss: Hacker News

🌳Incremental Parsing

Functional Optics for Modern Java

blog.scottlogic.com·2d

⟷Bidirectional Programming

haskellweekly.news·2d

🔗Functional Compilers

Program Reduction: A Win for Recursion Schemes

newartisans.com·5d

🔗Functional Compilers

LLM's and Smaller, Less Popular Programming Languages

scottarbeit.com·1d·

Discuss: Hacker News

💻Programming languages

Type inference of all constructs and the next 15 months

elixir-lang.org·2d·

Discuss: Lobsters, Hacker News

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

github.com·1d

✨Effect Handlers

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·1d

λLambda Encodings

BASIC Programming With No Strings Attached

hackaday.com·21h

🔗Concatenative Programming

macro based decorator in Clojure

clojure-diary.gitlab.io·20h

🧠Lisp Dialects

goperf.dev·3d

🧮Compute Optimization

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

thenewstack.io·11h

🔄Language Evolution

Building with Claude Code

jaime.win·14h

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·1d

λLambda Formalization

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

gojiberries.io·5h·

Discuss: Hacker News

🌳Context free grammars

Java gives a status update about new language features -- Constant Patterns and Pattern Assignment!

mail.openjdk.org·1d·

Discuss: Hacker News, r/programming

✅Format Verification

Unlocking the Power of Hugging Face's `transformers` Library

dev.to·8h·

Discuss: DEV

🌀Brotli Internals

The Hazy Haskell Compiler

discourse.haskell.org·3d·

Discuss: Hacker News

🔗Functional Compilers

Loading more...