Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λFunctional Programming
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Go's New WaitGroup.Go
dev.to·4h·
Discuss: DEV
λFunctional Programming
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·2d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Smaller Surfaces
nrempel.com·12h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
📦Opam
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Understanding Type-Based Alias Analysis in C and C++
kdab.com·5d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
A bestiary of single-file programming language implementations
github.com·6d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
WebAssembly (WASM) arch support for the Linux kernel
github.com·17h·
Discuss: Hacker News
🐋Docker
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Rouille – Rust Programming, in French
dev.to·1d·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
➡️Category Theory
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·3d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Our newest model: Chandra (OCR)
datalab.to·48m·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·9h·
Discuss: Hacker News
🔧DevOps
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·2d
🧩Parser Combinators
Flag this post
My Wishlist for PHP in 2026
stitcher.io·3d·
Discuss: Hacker News
❓Existential Types
Flag this post