🔗 Concatenative Programming - matmat · Scour

A Unique Performance Optimization for a 3D Geometry Language

cprimozic.net·6h·

Discuss: Lobsters, Hacker News

⬆️Lambda Lifting

BASIC Programming With No Strings Attached

hackaday.com·1d

🧪Binary Fuzzing

LLM's and Smaller, Less Popular Programming Languages

scottarbeit.com·1d·

Discuss: Hacker News

💻Programming languages

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

dev.to·12h·

Discuss: DEV

🔤Type Theory

The many meanings of “stack”

ezzeriesa.notion.site·9h·

Discuss: Hacker News

🧠Separation Logic

Functional Optics for Modern Java

blog.scottlogic.com·2d

⟷Bidirectional Programming

Automatic async to sync code conversion

psycopg.org·20h·

Discuss: Hacker News

🌳Incremental Parsing

haskellweekly.news·2d

🔗Functional Compilers

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·2d

λLambda Encodings

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

Building with Claude Code

jaime.win·18h

Which programming languages are most token-efficient?

martinalderson.com·3d·

Discuss: Lobsters

📝Concrete Syntax

A Zeckendorf table

leancrew.com·16h

🎞️Tape Combinatorics

Type-In Rescue: The C64 Autoboot Generator

bumbershootsoft.wordpress.com·11h

Program Reduction: A Win for Recursion Schemes

newartisans.com·5d

🔗Functional Compilers

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·1d

λLambda Formalization

How do you map runtime text back to source code without source maps?

news.ycombinator.com·1d·

Discuss: Hacker News

🎯Gradual Typing

Subagents, Commands and Skills Are Converging

vivekhaldar.com·4h·

Discuss: Hacker News

🔐Capability Systems

B-Lang-org/bsc: Bluespec Compiler (BSC)

github.com·6h

🔓Decompilation

&&&&&&&&&&&&&&str

ohadravid.github.io·1d·

Discuss: Lobsters, Hacker News, r/rust

🦀Rust Macros

Loading more...