Mastering Python Strings: More Than Just Text
dev.to·7h·
Discuss: DEV
📝Concrete Syntax
Flag this post
I took the “Crusty Interpreter” class!
decomposition.al·12h·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post
locally presentable (infinity,n)-category
ncatlab.org·12h
🔀Category Theory
Flag this post
Introducing F# 10
devblogs.microsoft.com·10h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
From Proof to Program: Characterizing Tool-Induced Reasoning Hallucinations in Large Language Models
arxiv.org·23h
👑Isabelle
Flag this post
Writing Type-Safe Generics in C
hackaday.com·1h
💧Liquid Types
Flag this post
Finding duplicated code with tools from your CS course
purplesyringa.moe·1d·
Discuss: Hacker News, r/programming
λLambda Encodings
Flag this post
Enduring patterns in world's languages: One-third of grammatical 'universals' stand up to rigorous testing
phys.org·7h
🤖Grammar Induction
Flag this post
7 Steps to Build a Simple RAG System from Scratch
kdnuggets.com·13h
📝Concrete Syntax
Flag this post
C23: A Slightly Better C
lemire.me·33m·
Discuss: Hacker News
🐚Shell Calculus
Flag this post
a go parser for Claude Skills
reddit.com·19h·
Discuss: r/golang
🌳Incremental Parsing
Flag this post
Day 36: Python Integer Sequence Generator, Efficiently Concatenate Numbers from 1 to n with Interactive Input
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Flag this post
Parallel Vector Drawing to a CGBitmapContext
shapeof.com·10h
🖥️Terminal Renaissance
Flag this post
The Futhark Programming Language
futhark-lang.org·14h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Typechecking is undecideable when 'type' is a type
dspace.mit.edu·13h·
Discuss: Lobsters, r/programming
🔗Dependently Typed
Flag this post
Creating a real-time ray traced physics sandbox with Microsoft Copilot
hydrogen18.com·12h·
Discuss: Hacker News, r/programming
📟Terminal Physics
Flag this post
Can a Domain-Specific Language Improve Program Structure Comprehension of Data Pipelines? A Mixed-Method Study [EMSE Journal]
dirkriehle.com·2d
🔤DSLs
Flag this post
Using the JetBrains program structure interface for codebase context
blog.sweep.dev·9h·
Discuss: Hacker News
🌊Streaming Algorithms
Flag this post
The Ten Commandments for C Programmers
lysator.liu.se·10h·
Discuss: Hacker News
🔗Dependently Typed
Flag this post
Driving Compilers - the core concepts associated with the creation of an executable
fabiensanglard.net·2d
🔩Systems Programming
Flag this post