🔗 Concatenative Programming - matmat · Scour

LLM's and Smaller, Less Popular Programming Languages

scottarbeit.com·1d·

Discuss: Hacker News

💻Programming languages

The many meanings of “stack”

ezzeriesa.notion.site·4h·

Discuss: Hacker News

🧠Separation Logic

BASIC Programming With No Strings Attached

hackaday.com·21h

🧪Binary Fuzzing

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

dev.to·7h·

Discuss: DEV

🔤Type Theory

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

Which programming languages are most token-efficient?

martinalderson.com·3d·

Discuss: Lobsters

📝Concrete Syntax

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

Limited Math: Aligning Mathematical Semantics with Finite Computation

arxiv.org·1d

λLambda Encodings

haskellweekly.news·2d

🔗Functional Compilers

Program Reduction: A Win for Recursion Schemes

newartisans.com·5d

🔗Functional Compilers

A Zeckendorf table

leancrew.com·11h

🎞️Tape Combinatorics

Type-In Rescue: The C64 Autoboot Generator

bumbershootsoft.wordpress.com·6h

Java Generics and Collections • Maurice Naftalin & Stuart Marks

youtube.com·1d

λLambda Formalization

Halting Problem

en.wikipedia.org·8h·

Discuss: Hacker News

🔍Type Inference

Building with Claude Code

jaime.win·13h

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

news.ycombinator.com·20h·

Discuss: Hacker News

🎯Gradual Typing

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

github.com·1h

🔓Decompilation

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

ohadravid.github.io·1d·

Discuss: Lobsters, Hacker News, r/rust

🦀Rust Macros

jgm/djot: A light markup language

github.com·1d·

Discuss: Hacker News

📝Concrete Syntax

Loading more...