🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

Aug 23 2025 : Intro to Soldering Workshop: Make an LED Tile
nycresistor.com·9h
⚡Circuit Archaeology
Archaeologists Found an Entirely New Language Among the Ruins of an Ancient Empire
popularmechanics.com·9h
🏺Computational Archaeology
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·5d
🌐NetworkProtocols
Achieving actually full disk encryption of UEFI ESP at rest with TCG OPAL, FIPS, LUKS
blog.surgut.co.uk·18h·
Discuss: blog.surgut.co.uk
🔒Secure Boot
OpenBSD Meets the Solar Neighborhood
laser-coder.net·2d·
Discuss: Hacker News
🔌Operating system internals
Show HN: Companies use AI to take your calls. I built AI to make them for you
pipervoice.com·7h·
Discuss: Hacker News
🎙️Whisper
Open source BOM management (for me)
vincentuden.xyz·1d·
Discuss: Hacker News
⚡Circuit Archaeology
TPC-H Query 1: Column Storage and Local Aggregation
database-doctor.com·3d·
Discuss: Hacker News
🗄️Database Internals
Frameworks (and AI) for marketers who think before they pitch
lauradecastro.substack.com·16h·
Discuss: Substack
📊Feed Optimization
Wine Characterisation with Spectral Information and Predictive Artificial Intelligence
arxiv.org·1h
🧠Machine Learning
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust Macros
Enhancing Speech Emotion Recognition Leveraging Aligning Timestamps of ASR Transcripts and Speaker Diarization
arxiv.org·1d
🎵Audio ML
Python Binary to String Guide
dev.to·11h·
Discuss: DEV
💾Binary codes
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Solving the MIT Inverse Problem by Considering Skin and Proximity Effects in Coils
arxiv.org·1h
⚙️Tape Engineering
Physics+ MIN/MAX Problem 1: UNIZOR.COM - Physics+ 4 All - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
🔗Tailscale
Theo's Live, ADHD & Salt Tea: Why I Created the Chat App for Power Users
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
Show HN: I'm not a developer, but I spent a year architecting a compassionate AI
github.com·3d·
Discuss: Hacker News
⚡Incremental Computation
[SHOW OSS]Claude Sub Agents – AI Development Team
github.com·2d·
Discuss: Hacker News, Hacker News
👑Isabelle
Real-Time AI Code Review Assistant with Redis Vector Search
dev.to·1d·
Discuss: DEV
⚡Redis Internals
Loading...Loading more...
AboutBlogChangelogRoadmap