↔️ Bidirectional Typing - abnv · Scour

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints

arxiv.org·1d

🔗Parser Combinators

Show HN: PolyMCP – Expose Python functions as MCP tools

news.ycombinator.com·16h·

Discuss: Hacker News

🔮Metacircular Evaluators

Simplifying assertions with lenses

blog.ploeh.dk·2d

🚂Error Monads

vindarel: 🖌️ Lisp screenshots: today's Common Lisp applications in action

lisp-journey.gitlab.io·14h

Scripting on the JVM with Java, Scala, and Kotlin

mill-build.org·2h·

Discuss: Hacker News, r/programming

🌱Tiny Languages

Generative Type experiments

brendandawes.com·2d

🤖Code Generation

Proving What's Possible

buttondown.com·18h

📜Proof Languages

No, dynamic type systems are not inherently more open

lexi-lambda.github.io·1d·

Discuss: Hacker News

🌈Gradual Languages

Task 17: Implement property-based invariant tests · Issue #30

github.com·51m

🎲Property Testing

Using Generative AI tooling with Clojure

dev.solita.fi·1d

docs.modular.com·21h

🔗Go Generics

A Field Guide to Semantic Obfuscation: Or, Why I Just Sent You a Broccoli Emoji Instead of a Green Heart Emoji

jenniferdaniel.substack.com·6h·

Discuss: Substack

🎲Parser Fuzzing

Lost Proofs, Found Proofs: How AI Unearthed Forgotten Solutions

hackernoon.com·11h

🧩Constraint Solvers

process-compose

notes.billmill.org·10h

🔗Concatenative

State of JavaScript 2025

i-programmer.info·23h

🎮Language Ergonomics

🧠 Programming Idioms — Common Code Patterns Across Languages

programming-idioms.org·1d·

Discuss: DEV

🎮Language Ergonomics

🔗 Explainer: Tree-sitter vs. LSP

yellowduck.be·3h

🌲Tree-sitter

Python's Dynamic Typing Problem

whileforloop.com·2d·

Discuss: Hacker News, r/programming

🌊Gradual Typing

Customizing Your Claude Code Spinner Verbs

danielmiessler.com·15h

💬Interactive REPLs

12 OOP Concepts EVERY Developer Should Know

blog.algomaster.io·8h

Loading more...