🐿️ 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

My 14-year-old created a non-toxic plush toy. He was worried about his younger sister.
businessinsider.com·21h
⚙️DIY Electronics
Reflections on Matrix criticism over the last week | Lobsters
lobste.rs·1d·
Discuss: Lobsters
🚀Indie Hacking
Geeks for Geeks articles are just worse for learning?
geeksforgeeks.org·1d
🖥️Hardware Architecture
An Accurate and Rapidly Calibrating Speech Neuroprosthesis
nejm.org·1d·
Discuss: Hacker News
🎛️Cassette DSP
Starting with pytest’s parametrize
nedbatchelder.com·3d·
Discuss: Lobsters, r/programming
⚡Proof Automation
Intel FRED Suffers A Late "Incompatible Change" To The Architecture
phoronix.com·1d
🦀Embedded Rust
From Linux Primitives to Kubernetes Security Contexts
learnkube.com·5d
📦Container Security
SNI5GECT: Sniffing and Injecting 5G Traffic Without Rogue Base Stations, (Thu, Aug 14th)
isc.sans.edu·1d
📼Cassette Hacking
What Is LLM Tokenization and Why Is It Important?
medium.com·4d·
Discuss: Hacker News
📝Text Parsing
The Drugs Are Taking Hold
blog.dshr.org·1d·
Discuss: Hacker News, www.blogger.com
🔍BitFunnel
JWT Pentesting: A Journey from Token to Takeover
infosecwriteups.com·1d
🌐NetworkProtocols
[D] Just got my US green card—what doors does this open for me in AI/PhD/funding?
reddit.com·13h·
Discuss: r/MachineLearning
🏛Digital humanities
From black box to glass box
dev.to·2d·
Discuss: DEV
👁️System Observability
From Code to Docs: One Workflow That Does It All
dev.to·1d·
Discuss: DEV
📏Code Metrics
AI-Driven Autonomous Calibration of Semiconductor Fabrication Processes via Bayesian Optimization and Dynamic Process Modeling
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Empirical Investigation into Configuring Echo State Networks for Representative Benchmark Problem Domains
arxiv.org·1d
📊Quantization
Connecting AI to the Real World: Understanding Model Context Protocol (MCP) by Anthropic
dev.to·15h·
Discuss: DEV
🔌Interface Evolution
Vibe Coding: Why AI-Powered Development Is Reshaping Software Creation
dev.to·15h·
Discuss: DEV
📏Code Metrics
Physics-Informed Deep Contrast Source Inversion: A Unified Framework for Inverse Scattering Problems
arxiv.org·1d
🏺Computational Archaeology
DAS: Dual-Aligned Semantic IDs Empowered Industrial Recommender System
arxiv.org·1d
🎯Content Recommendation
Loading...Loading more...
AboutBlogChangelogRoadmap