Compiling a Functional Language to LLVM
danieljharvey.github.io·1d·
Discuss: Lobsters, Hacker News
🐫OCaml
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·10h
🔍Formal Verification
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
The Engine to No Engine Journey
md.jtmn.dev·10h·
Discuss: Hacker News
🧱Immutable Infrastructure
Context Pruning in Conversational Agent
poonai.xyz·3h·
Discuss: Hacker News
✓Automated Theorem Proving
The bloat of edge-case first libraries
43081j.com·17h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Using RPI 5 Compute Module for FPGA Test
hackster.io·2d·
Discuss: Hacker News
🔧Unikernel Development
Rich Answered That
gist.github.com·22h·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
An Introduction to XForms
xml.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
⚙️PL Implementation
Effects as Capabilities in Scala
nrinaudo.github.io·2h·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🔧Unikernel Development
Was Action! The Best 8-Bit Language?
hackaday.com·11h
💾Retro Computing
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
Using Haskell in Production
agentultra.com·19h·
Discuss: Hacker News
🔠Type-Level Programming
Billion-Line Days Demand Billion-Test Nights
momentic.ai·23h·
Discuss: Hacker News
🤖Program Synthesis
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
The subjective experience of coding in different programming languages
interconnected.org·2h·
Discuss: Hacker News
🔬Static Analysis
Oh, the Tea Spills: What’s Really Holding Up Carbon Language at Google?
lucisqr.substack.com·15h·
Discuss: r/programming
🔬Unikernels