OCaml Blockly
cambridge.org·10h·
Discuss: Hacker News
🐍Python
Song recommendations with free monads
blog.ploeh.dk·9h
🔷C#
In Order Traversal in Haskell and Rust
mmhaskell.com·4h·
Discuss: Hacker News
🐍Python
Programming languages and dimensions of units of measure
cl.cam.ac.uk·19h·
Discuss: Hacker News
🐍Python
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·3d
🔷C#
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·1d·
Discuss: r/golang
🐍Python
Go Interfaces - Composition Over Inheritance (And Common Sense)
dev.to·1d·
Discuss: DEV, r/golang
🔷C#
Autarkie - Instant grammar fuzzing using Rust macros (WHY2025)
cdn.media.ccc.de·3h
🐍Python
Unducking Typescript primitive aliases
zerotrickpony.com·9h·
Discuss: Lobsters, Hacker News
🔷C#
GHC Developer Blog: GHC 9.10.3-rc3 is now available
haskell.org·3d
🐍Python
Combinators Revisited • Edward Kmett • YOW! 2018
youtube.com·3h
🔷C#
Disappointment in the treatment of "P3312 Overload Set Types"
github.com·9h·
Discuss: r/cpp
🔷C#
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·10h·
Discuss: Hacker News
🔷C#
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·11h
🐍Python
Measuring intelligence and reverse-engineering goals
lesswrong.com·13h
🐍Python
Decorator Patterns in Go
refactoring.guru·7h·
Discuss: DEV
🔷C#
60% faster substring search with SIMD in Zig
aarol.dev·23h·
Discuss: Lobsters, Hacker News, r/Zig
🐍Python
Comefrom
en.wikipedia.org·11h·
Discuss: Hacker News
🔷C#
Any Use for my Hobby Project, BuffDB?
github.com·13h·
Discuss: r/opensource, r/programming, r/typescript
🐍Python
Simple Programming Languages
ryanbrewer.dev·3d·
Discuss: Hacker News
🔷C#