๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘‘ Dependent Haskell

Singletons, Type-level Programming, GADTs, Kind Polymorphism

Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท5d
๐ŸŒณArchive Merkle Trees
Philosophers Among Recent Large ERC Grant Winners
dailynous.comยท2d
๐ŸงฎTheoretical Computer Science
Using Podman hooks to mount persistent ZFS datasets into ephemeral Containers
people.freebsd.orgยท1hยท
Discuss: Lobsters, Hacker News
๐Ÿ’พZFS
Show HN: Build Discord bots, earn prizes (18 and under)
converge.hackclub.comยท16hยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
How we made a Ruby method faster
nickholden.ioยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
Researchers push back on Apple study: LRMs can handle complex tasks with the right tools
the-decoder.comยท1d
๐ŸงฎSMT Solvers
The Hidden โ€œVerbosity Taxโ€ in AI: Why Per-Token Pricing Isnโ€™t What It Seems
blog.devops.devยท20h
๐Ÿ’ฐPreservation Economics
Building a Hacker News OAuth Provider from First Principles
hn.simplerauth.comยท2dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Saarthi- a voice first web application
dev.toยท8hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
๐Ÿ” Deep Dive into useMemo in React.js: Optimize Performance Like a Pro
dev.toยท6hยท
Discuss: DEV
๐ŸŽ๏ธVarnish Cache
HarmonyOS5-NewsAPP-KnockShare
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Sync Engine
im 15 and i just made my first python project!
dev.toยท20hยท
Discuss: DEV
๐Ÿ“ฐRSS Reading Practices
Signal Use and Emergent Cooperation
arxiv.orgยท4d
๐Ÿ”ฒCellular Automata
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.orgยท2d
๐Ÿ—œ๏ธGraph Compression
From Slow as Snail to Fast as Lightning My Web Framework Performance Optimization Practice Record๏ผˆ1751009131538400๏ผ‰
dev.toยท2dยท
Discuss: DEV
๐ŸŽฌWebCodecs API
Machine Learning Fundamentals: anomaly detection project
dev.toยท22hยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Mastering Go Modules: Create, Publish, Conquer! ๐Ÿš€
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Machine Learning Fundamentals: active learning
dev.toยท4dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Ran out of idea for AI product, so I talked to Gemini
dev.toยท6hยท
Discuss: DEV
๐Ÿ›Digital humanities
Field Sensitive Escape Analysis in Golang?
reddit.comยท4dยท
Discuss: r/golang
๐Ÿง Lisp Dialects
Loading...Loading more...
AboutBlogChangelogRoadmap