OCaml Blockly
cambridge.org·2h·
Discuss: Hacker News
🐍Python
Song recommendations with free monads
blog.ploeh.dk·1h
🔷C#
Programming languages and dimensions of units of measure
cl.cam.ac.uk·10h·
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#
Unducking Typescript primitive aliases
zerotrickpony.com·53m·
Discuss: Lobsters, Hacker News
🔷C#
GHC Developer Blog: GHC 9.10.3-rc3 is now available
haskell.org·3d
🐍Python
Disappointment in the treatment of "P3312 Overload Set Types"
github.com·36m·
Discuss: r/cpp
🔷C#
Generic Containers in C: Safe Division Using Maybe
uecker.codeberg.page·2h·
Discuss: Hacker News
🔷C#
SKATE, a Scalable Tournament Eval: Weaker LLMs differentiate between stronger ones using verifiable challenges
arxiv.org·3h
🐍Python
60% faster substring search with SIMD in Zig
aarol.dev·15h·
Discuss: r/Zig
🐍Python
Measuring intelligence and reverse-engineering goals
lesswrong.com·5h
🐍Python
Comefrom
en.wikipedia.org·2h·
Discuss: Hacker News
🔷C#
Any Use for my Hobby Project, BuffDB?
github.com·4h·
Discuss: r/opensource, r/programming, r/typescript
🐍Python
Simple Programming Languages
ryanbrewer.dev·2d·
Discuss: Hacker News
🔷C#
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🔷C#
Building a .so sqlite extension in go
til.scapegoat.dev·9h
🔷C#
What is Fil-c and how to use it?
gizvault.com·2h·
Discuss: r/C_Programming
🐍Python
CppCon 2025 Type Traits without Compiler Instrinsics: Promise of Static Reflection -- Andrei Zissu
isocpp.org·15h
🔷C#