🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

2025 Innovator of the Year: Sneha Goenka for developing an ultra-fast sequencing technology
technologyreview.com·2d
🧬Copy Number Variants
Jess Weatherbed Breaks Down Why Apple’s Crossbody Strap is a Great Idea
macstories.net·3m
🍎Apple Archive
I'm shutting down The Sample
obryant.dev·1d
📰RSS Reading Practices
Esoteric Languages Challenge Coders to Think Way Outside the Box
spectrum.ieee.org·5d·
Discuss: Hacker News, r/programming, r/technews
💻Programming languages
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·5d·
Discuss: Substack
🌊Streaming Systems
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·6d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
How tiny tweaks in music shape what we imagine
phys.org·23h
🎵Music Universality
Hear Ring Doorbell Alerts Anywhere in Your Home With This $27 Plug-In Chime
lifehacker.com·1d
🏠Home Automation
Notion's hosted MCP server: an inside look
notion.com·5d·
Discuss: Hacker News
🔌Interface Evolution
Why Linux has a scattered file system: a deep dive
reddit.com·1d·
Discuss: r/linux
🗄️File Systems
Show HN: I am vibe coding a collaborative vibe coding tool
news.ycombinator.com·3d·
Discuss: Hacker News
🔓Open Source Software
Cloning Myself with AI: Experiments from a Software Manager
medium.com·1d·
Discuss: Hacker News
⚡Proof Automation
The Simple 4-Step Guide to DHCP Server Configuration for Multiple VLANs
dev.to·23h·
Discuss: DEV
📡Network Protocol Design
Top 10 Free AI Outline Generators in 2025
dev.to·51m·
Discuss: DEV
📄Document AI
Sam Altman's take on 'Fake' AI discourse on Twitter and Reddit. The irony is real
reddit.com·1d·
Discuss: r/artificial
⚙️Proof Engineering
Building AI with a Personality: Tailoring LLM Behavior Through Psychological Priming
dev.to·2d·
Discuss: DEV
🤖Lisp Machines
Never Hit the ChatGPT Limit Again: 5 Hacks for Long Coding Conversations 🚀
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Cartesian Therapeutics, Inc. (RNAC) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference (Transcript)
seekingalpha.com·14h
👑Coq Tactics
Dynamically Adaptive Quantum Decoherence Mitigation via Reinforcement Learning
dev.to·4d·
Discuss: DEV
⚛️Quantum Tape
MeanFlow-Accelerated Multimodal Video-to-Audio Synthesis via One-Step Generation
arxiv.org·1d
🎧Learned Audio
Loading...Loading more...
AboutBlogChangelogRoadmap