GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
Show HN: I built a local AI agent desk toy
blog.simone.computer·6h·
Discuss: Hacker News
🎙️Whisper
Rust vs C, C++, Java & Python — 5 Everyday Programs Compared
dev.to·11h·
Discuss: DEV
🦀Rust Macros
The Chip That Spoke Lisp
jxself.org·1d
🤖Lisp Machines
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·1d
💻Programming languages
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·1d·
Discuss: Hacker News, r/neovim
🔗Lisp
Barriers between you and I?
languagelog.ldc.upenn.edu·14h
🔗Concatenative Languages
Embedding Lua in Nim
lambdacreate.com·2d
🦀Rust Macros
TypeScript Flaws (2024)
intercaetera.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·12h
🧪Binary Fuzzing
The Programmer Identity Crisis
hojberg.xyz·14h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Alias and references as localized macros
gustedt.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Semantics 2
inquiryintoinquiry.com·13h
🔢Denotational Semantics
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·17h·
Discuss: Hacker News
🧬Functional Programming
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·2d
⬆️Lambda Lifting
C++ Reflection and Qt MOC
wiki.qt.io·3h·
Discuss: Hacker News
🧩WASM Modules
A Detailed Workflow for Creating an MCP Server that Returns MySQL Schema Information Using Vibe Coding
dev.to·9h·
Discuss: DEV
🗄️Database Internals
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·3d·
Discuss: Hacker News
📝Concrete Syntax
Replacing the Type Checker for the Swift Compiler
forums.swift.org·6m·
Discuss: Hacker News
💧Liquid Types