Pain Points of OCaml
quamserena.comยท7hยท
Discuss: Hacker News
๐Ÿ“Type Theory
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท1h
๐Ÿ—„๏ธDatabase Internals
Flag this post
Disciplined Biconvex Programming
arxiv.orgยท8h
๐Ÿ“ŠDynamic Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.devยท1dยท
Discuss: Hacker News
๐Ÿฆ€rust
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.ioยท9h
๐ŸŒณData Structures
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comยท22h
๐Ÿ“Type Theory
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.comยท1d
๐Ÿ“Type Theory
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
dev.toยท34mยท
Discuss: DEV
๐Ÿ›ก๏ธMemory Safety
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.comยท20hยท
Discuss: Substack
๐Ÿ”ขalgo
Flag this post
OSS updates September and October 2025
blog.michielborkent.nlยท1d
โŒจ๏ธCLI Development
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.comยท1d
๐Ÿ“Type Theory
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.comยท2dยท
๐Ÿ“Type Theory
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.comยท22h
โŒจ๏ธCLI Development
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.orgยท8h
๐Ÿ•ธ๏ธWebAssembly
Flag this post
Limitations of a two-pass assembler
boston.conman.orgยท10h
๐Ÿ•ธ๏ธWebAssembly
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.toยท23mยท
Discuss: DEV
๐Ÿนgolang
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.comยท2dยท
Discuss: r/rust
๐Ÿฆ€rust
Flag this post
What a diff makes: automating code migration with large language models
arxiv.orgยท8h
๐Ÿ•ธ๏ธWebAssembly
Flag this post