[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·20h·
Discuss: r/golang
🎯GADT
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
What are you doing this weekend?
lobste.rs·1d·
Discuss: Lobsters
📝Nix Language
Flag this post
Rethinking Cross-lingual Alignment: Balancing Transfer and Cultural Erasure in Multilingual LLMs
arxiv.org·1d
📚Automata Learning
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
crockford.com·4h·
Discuss: Hacker News
λFunctional Programming
Flag this post
Emma – a programming language specifically designed to accelerate AI
emma-lang.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·1d·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
👁️System Observability
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
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
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
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
Nim 2.2.6
nim-lang.org·1d·
Discuss: Hacker News
📦Opam
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·23h·
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
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
A bestiary of single-file programming language implementations
github.com·5d·
Discuss: Hacker News
⚙️PL Implementation
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
WebAssembly (WASM) arch support for the Linux kernel
github.com·2h·
Discuss: Hacker News
🐋Docker
Flag this post