Cactus Language • Pragmatics 9
inquiryintoinquiry.com·17h
💻Programming languages
Building and Aligning Comparable Corpora
arxiv.org·3h
📜Digital Philology
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
📐Binary Grammars
TokenSpan: Rethinking Prompt Compression with Aliases and Dictionary Encoding
dev.to·8h·
Discuss: DEV
📐Format Grammars
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Introductory Computer Science and Software Engineering Topics
albertyw.com·1d
🛠Language Design
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🌊Streaming Compression
Linear Types for Programmers
twey.io·2d·
Discuss: Hacker News
🔒Linear Types
Josh Lockhart & Phil Sturgeon
deprogrammaticaipsum.com·1d
🦀Rusty Databases
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·3d
🔗Functional Compilers
I built a collection of simple Python projects for beginners (CLI,GUI,Web,API)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Week 31 Status
blogs.gnome.org·8h
🎯Gradual Typing
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·16m
✅Archive Validation
ECMA-262, 16th edition, June 2025
262.ecma-international.org·1d·
Discuss: Hacker News
🎯Gradual Typing
MOPrompt: Multi-objective Semantic Evolution for Prompt Optimization
arxiv.org·3h
🔨Compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
DO NOT BUY "Practical Rust" By James Maina
reddit.com·10h·
Discuss: r/rust
🦀Rust Macros
Htmlpp, an HTML Preprocessor? (2000)
htmlpp.sourceforge.net·1d·
Discuss: Hacker News
📄PostScript
Building an AI-driven course content generation system using Amazon Bedrock
aws.amazon.com·13h
⚡gRPC