Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·10h
🌳Context free grammars
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
Advanced PDF Optimization Techniques - 1752612
dev.to·4h·
Discuss: DEV
📝Text Compression
Introduction to JavaScript
thenewstack.io·1d
🔗Concatenative Programming
Helix Editor Release 25.07 Highlights
helix-editor.com·6h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·1d
💾Binary Linguistics
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·1d·
Discuss: r/programming
✅Format Verification
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Fun with MCP - an "O RLY?" Book Generator MCP Tool
chrisfrew.in·4d
📝Text Compression
Billions of Edges per Second with Postgres
onesparse.com·7h·
Discuss: Hacker News
🗜️Graph Compression
English vocabulary: difference between coast, shore, beach, and bank
grammaticus.blog·10h
🔤Morphological Analysis
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
Building Readable AI Agents: From Spaghetti Code to Human-Friendly Logic
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Making an ASCII Animation
pierce.dev·3h·
Discuss: Hacker News
📟Terminal Physics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
The Best C++ Library
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Can the Law Compile? Legal Speech as Machine Code
hackernoon.com·1d
💻Programming languages
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·3d·
Discuss: Hacker News
🧠Lisp Dialects