A Gaussian Leftover Hash Lemma for Modules over Number Fields
eprint.iacr.orgยท5d
๐Ÿ”—Borrowing Extensions
RSS feed in an Astro blog
amanhimself.devยท14h
๐Ÿ“Rope Editors
Should Cowboys extend red-hot Javonte Williams before he becomes a free agent?
espn.comยท2h
โšกPartial Evaluation
Recommended reading: history of large language models
noncommutativeanalysis.wordpress.comยท5h
๐ŸŒฑMinimal ML
Should You Use Upper Bound Version Constraints?
iscinumpy.devยท4dยท
๐ŸŒณTree Shaking
The Wild Vibe
jarv.orgยท19hยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
EP184: API Vs SDK!
blog.bytebytego.comยท23h
๐ŸŽฎLanguage Ergonomics
Asking Eric: The neighbor momโ€™s requests of my college-age son strike me as weird
orlandosentinel.comยท1d
๐Ÿ”—Concatenative Theory
RAM stick Errors
reddit.comยท2hยท
Discuss: r/computers
๐Ÿ’ฌError Messages
why or how distributed software is intrinsically concurrent?
reddit.comยท1hยท
๐Ÿ”—Concurrency Primitives
An enough week
blog.mitrichev.chยท2dยท
๐ŸงฉConstraint Solvers
Built FoldCMS: a type-safe static CMS with Effect and SQLite with full relations support (open source)
reddit.comยท1dยท
Discuss: r/reactjs
๐Ÿ“šStack Languages
Determining the Maximum Decimal Digits at Compile-Time
dev.toยท13hยท
Discuss: DEV
๐Ÿ“šStack Allocation
A little update on my algorithm visualization project. Would love your feedback!
reddit.comยท23hยท
Discuss: r/webdev
๐Ÿ”—Graph Rewriting
Announcing Chamber: A simple, cross-platform encrypted file vault tool built with Go
reddit.comยท5hยท
Discuss: r/golang
๐Ÿ’ฌSmalltalk VMs
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ฆCompression Algorithms
Towards a Typology of Strange LLM Chains-of-Thought
lesswrong.comยท2d
๐ŸŒŠGradual Effects
Show HN: Realization Jsmn on a Pure Zig
github.comยท2dยท
Discuss: Hacker News
๐Ÿ“‹JSON Parsing
I built a community crowdsourced LLM benchmark leaderboard (Claude Sonnet/Opus, Gemini, Grok, GPT-5, o3)
reddit.comยท17hยท
Discuss: r/webdev
๐ŸLanguage Benchmarks