Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·3d
🔤Type Theory
FSM Library for Embedded C Projects
hackster.io·3h
🦀Embedded Rust
What makes a legal statement executable? Towards a formal grammar of computable norms.
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·8h
🌐DNS Security
Reflecting on PLDI 2025
people.csail.mit.edu·12h·
Discuss: Hacker News
🌐Protocol Synthesis
Why Hoon?
docs.urbit.org·40m·
Discuss: Hacker News
🐚Bash Monads
Breaking Down and Explaining Type Parameters
hackernoon.com·2d
🧠Lisp Dialects
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·1d
🔗Static Linking
Rust Language Cheat Sheet
cheats.rs·2d·
Discuss: Hacker News
🦀Rust Macros
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·10h·
Discuss: Hacker News
🔗Functional Compilers
Moan-routine: LO's Predicate Signatures
lmika.org·2d
🔗Functional Compilers
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·1d·
Discuss: Hacker News
💻Programming languages
Binding Application in Idris
andrevidela.com·3d·
Discuss: Hacker News
🔤Type Theory
"Ode to Advanced TypeScript", a poem by Grok
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Model Context Protocol (MCP)
leimao.github.io·21h
📋Protocol Buffers
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·4h·
Discuss: Substack
⚡Incremental Computation
jank is C++
jank-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🐚Bash Monads
The Symbol Grounding Problem (1990)
arxiv.org·1d·
Discuss: Hacker News
🔢Denotational Semantics
HMQ: Principal Type Inference Under a Prefix
microsoft.com·4d·
Discuss: Hacker News
🔍Type Inference