The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·12hΒ·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
πŸŽ“ Capstone Project Completed! πŸš€
dev.toΒ·1dΒ·
Discuss: DEV
πŸ•΅οΈMetadata Mining
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.aiΒ·8hΒ·
Discuss: Hacker News
πŸ“„Text Chunking
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.orgΒ·2d
πŸ”—Combinatory Logic
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comΒ·1d
πŸ“Concrete Syntax
Flag this post
Understanding intrinsically disordered protein regions and their roles in cancer
phys.orgΒ·1d
βš™οΈABNF Mining
Flag this post
Lang’s theorem β€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·10h
Ξ»Lambda Encodings
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.netΒ·20hΒ·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.orgΒ·1dΒ·
βš™οΈTLA+
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.comΒ·9hΒ·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
Olmo 3 is a fully open LLM
simonwillison.netΒ·6h
πŸŒ€Brotli Internals
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.comΒ·1dΒ·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.comΒ·20hΒ·
Discuss: Substack
πŸ’»Programming languages
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.orgΒ·1dΒ·
πŸ“Mathematical Art
Flag this post
CARE: Turning LLMs Into Causal Reasoning Expert
arxiv.orgΒ·2d
πŸ€–Grammar Induction
Flag this post
Yale Journal on Regulation: Navigating the Web of Agency Authority with AI
pacificlegal.orgΒ·8hΒ·
Discuss: Hacker News
βš–οΈConstraint CHR
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.comΒ·1d
⚑Proof Automation
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comΒ·1d
πŸ“šLempel-Ziv
Flag this post
How To Build a Graph-Based Recommendation Engine Using EDG and Neo4j
towardsdatascience.comΒ·1d
πŸ•ΈοΈNeo4j
Flag this post
TONL: A New LLM-Friendly Data Serialization Format
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”’Linear Types
Flag this post