🐿️ 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-08-17: Despite thoughts to the contrary, GNAT (Ada) is in fact fully supported on illumos
briancallahan.net·3d
🔗Static Linking
Learning network from scratch using RFC only
reddit.com·1d·
Discuss: r/homelab
📡Network Protocol Design
D2 (text to diagram tool) now supports ASCII renders
d2lang.com·17h·
Discuss: Hacker News, r/programming
🔠Terminal Fonts
Missing External Service Metrics After Istio v1.22 → v1.23 Upgrade
chkk.io·18h·
Discuss: Hacker News
👁️Observatory Systems
Python survey shows growth even as Foundation funding falters
theregister.com·18h
🔄Language Evolution
The Curious Case of Entropy
keccak-doomsday.com·22h·
Discuss: Hacker News
🔲Cellular Automata
My Year of Rust
xavd.id·6d·
Discuss: Hacker News
🦀Rust Macros
CoDiEmb: A Collaborative yet Distinct Framework for Unified Representation Learning in Information Retrieval and Semantic Textual Similarity
arxiv.org·2d
🧮Vector Embeddings
MCP for Cisco Meraki API
github.com·19h·
Discuss: Hacker News
📦Container Security
OPTIC-ER: A Reinforcement Learning Framework for Real-Time Emergency Response and Equitable Resource Allocation in Underserved African Communities
arxiv.org·1d
🌊Stream Processing
AirBreath Sensing: Protecting Over-the-Air Distributed Sensing Against Interference
arxiv.org·2d
🕸️Mesh Networking
The Single Most Critical Factor for Enterprise AI? It’s Not the Model
dev.to·4h·
Discuss: DEV
🔐Capability Systems
ONG: One-Shot NMF-based Gradient Masking for Efficient Model Sparsification
arxiv.org·1d
🧠Learned Compression
Latent Wave Field: The Resonant Domain Within Artificial Intelligence
medium.com·12h·
Discuss: Hacker News
🔲Cellular Automata
Maximizing AI/ML Model Performance with PyTorch Compilation
towardsdatascience.com·1d
🧮Compute Optimization
Chinese Room vs. SupatMod Experiment 1/7 (Claude, Mar 12-13, 2025)
medium.com·23h·
Discuss: Hacker News
👂Audio Evidence
How Beginners Can Use AI Without Becoming Dependent On It
dev.to·1d·
Discuss: DEV
📐Proof Assistants
On Delta-Homology Analogy: Memory as Structured Trajectories
arxiv.org·1d
🕸️Algebraic Topology
S5: Scalable Semi-Supervised Semantic Segmentation in Remote Sensing
arxiv.org·1d
🧪Data science
Day 2 of experimenting with Open Source AI: Learned a Lot about Code indexing (Progress 2%)
dev.to·1d·
Discuss: DEV
⚙️Build Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap