What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·5h·
Discuss: Hacker News
🦀Rust Macros
TokenSpan: Rethinking Prompt Compression with Aliases and Dictionary Encoding
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·2d·
Discuss: Lobsters
🔗Concatenative Programming
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·9h·
Discuss: Hacker News
📝Text Compression
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·9h
💧Liquid Types
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Poltergeist: The Ghost That Keeps Your Builds Fresh
steipete.me·13h
🎯Gradual Typing
What you see may not be what you get
thoughtbot.com·3h
🔣Unicode
lydiahallie/javascript-questions
github.com·3d
🔗Concatenative Programming
Coding with Claude
blog.puzzmo.com·11h·
Discuss: Hacker News
🎯Gradual Typing
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·4h·
Discuss: Hacker News
🌳Incremental Parsing
ECMA-262, 16th edition, June 2025
262.ecma-international.org·2d·
Discuss: Hacker News
🎯Gradual Typing
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
[P] Implementing Einsum
lyadalachanchu.github.io·2d
📐Linear Algebra
How the Lean language brings math to coding and coding to math
amazon.science·8h·
Discuss: Hacker News
🔬Lean
GoLang appreciation post
reddit.com·6h·
Discuss: r/golang
📜Proof Carrying Code