๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”  Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

The Rise of Fluid Teams
blog.pwkf.orgยท21hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Accountability
fffej.substack.comยท1dยท
Discuss: Substack
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.aiยท4dยท
Discuss: Hacker News
๐Ÿ”ฌUnikernels
The Latest GPT-5 Leaks and Teasers
bgr.comยท8hยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Preserving Ownership Culture in a Scaling Engineering Team
handsonculture.blogยท15hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Book Review: Origin of Consciousness in the Breakdown of the Bicameral Mind
slatestarcodex.comยท1dยท
Discuss: Hacker News
โžก๏ธCategory Theory
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.comยท3dยท
Discuss: Hacker News
๐ŸนEffect Systems
DUSTrack: Semi-automated point tracking in ultrasound videos
arxiv.orgยท2h
๐Ÿ’พRetro Computing
qman โ€“ a more modern manual page viewer for our terminals
github.comยท1dยท
Discuss: Hacker News
๐Ÿ“ฆUnikernel Systems
Writing the Perfect Question (2010)
codeblog.jonskeet.ukยท4dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.orgยท5d
๐Ÿ”Formal Verification
Show HN: DOMTranslator package to translate text nodes in DOM
github.comยท2dยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Conflicting narratives and polarization on social media
arxiv.orgยท2h
๐ŸŽฎVerification Games
Challenging Disability and Interaction Norms in XR: Cooling Down the Empathy Machine in Waiting for Hands
arxiv.orgยท2h
๐ŸŽฎVerification Games
Smart Routing for Multimodal Video Retrieval: When to Search What
arxiv.orgยท1d
๐ŸซEmbedded OCaml
My Experience With Claude Code After 2 Weeks of Adventures
sankalp.bearblog.devยท4dยท
Discuss: Hacker News
๐ŸซEmbedded OCaml
Using AI in the Development of Stdlib
blog.stdlib.ioยท4dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Semantic Segmentation based Scene Understanding in Autonomous Vehicles
arxiv.orgยท2h
๐Ÿ”„Finite State Machines
Driving Platform Adoption: Community Is Your Value
thenewstack.ioยท16h
๐Ÿ”„Reproducible Builds
H-NeiFi: Non-Invasive and Consensus-Efficient Multi-Agent Opinion Guidance
arxiv.orgยท1d
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Loading...Loading more...
AboutBlogChangelogRoadmap