Compiling a Functional Language to LLVM
danieljharvey.github.io·6h·
Discuss: Lobsters, Hacker News
🐫OCaml
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·23h·
Discuss: r/javascript, r/programming
💎Refinement Types
Using RPI 5 Compute Module for FPGA Test
hackster.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·1d
📚Automata Learning
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·2h·
Discuss: Hacker News
⚙️PL Implementation
Experimenting with local LLMs on macOS
blog.6nok.org·1d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
Adventures in C++ Game Architecture
hoboker.substack.com·16h·
Discuss: r/programming
🔬Static Analysis
The Little Book of Everything
github.com·23h·
Discuss: Hacker News
➡️Category Theory
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·1h·
Discuss: r/rust
❄️Nixified Development
Rust's Enterprise Breakthrough Year
rust-trends.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·17h·
Discuss: Hacker News
🧮Lambda Calculus
How to Use the AT24C32 EEPROM for 4KB External Memory for Microcontrollers
hackaday.com·13h
⚙️Operating System Design
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·4h·
Discuss: Hacker News
🔧Unikernel Development
Ask HN: Feedback on a new framework aiming at the classic RPC headaches
news.ycombinator.com·16h·
Discuss: Hacker News
🌐NetworkProtocols
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
💎Refinement Types
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·1d·
Discuss: Hacker News
🔧Unikernel Development
Memory-Centric AI: SanDisk's High Bandwidth Flash
sandisk.com·5h·
Discuss: Hacker News
🔧Unikernel Development
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·3h·
Discuss: Hacker News
💎Refinement Types
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·16h·
Discuss: Hacker News
📊Runtime Verification