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

C and VLAs (Variable Length Arrays)
subethasoftware.com·3d
🔩Systems Programming
What Are Mixin Classes in Python?
realpython.com·3d
🔬Refinement Types
Where Are They? (2008)
nickbostrom.com·12h·
Discuss: Hacker News
🔲Cellular Automata
GPT 5 vs. Opus 4.1 for Vibe-Coded Apps
instantdb.com·1d·
Discuss: Hacker News
🔄Sync Engine
Dear String-to-Integer Parsers
owl.billpg.com·2d·
Discuss: Hacker News
🔧Binary Parsing
Circadian clock in synthetic cells reveals timekeeping principles
nature.com·20h·
Discuss: Hacker News
🔲Cellular Automata
I Made An Encrypted, Security Optimized Gentoo on the Raspberry Pi 5 That's Easy
github.com·2d·
Discuss: Hacker News
🛡️RISC-V Security
GPT 5 Predictions
christiancchung.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
Noj – A Clojure Framework for Data Science
github.com·2d·
Discuss: Hacker News
🔓Open Source Software
Advanced Automated Defect Detection in Automated Fiber Placement (AFP) Utilizing Multi-Modal Sensor Fusion
dev.to·1d·
Discuss: DEV
💿Optical Forensics
DevCon 2025 Workshop: Creating a Document Processing MCP Server
dev.to·1d·
Discuss: DEV
📄Document Digitization
Python Fundamentals: contextlib
dev.to·4d·
Discuss: DEV
🌳Incremental Parsing
Making AI Agents Actually Do Stuff: Prompt Engineering That Works
hackernoon.com·2d
⚡Proof Automation
Why I'm excited about the Hierarchical Reasoning Model
medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Stop Practicing, Start Showcasing: Portfolio Projects That Land Data Analyst Jobs
dev.to·1d·
Discuss: DEV
🧪Data science
Python Essentials 1 – Completed! 🐍✨
dev.to·2d·
Discuss: DEV
🔩Systems Programming
Deconstructing the Crystal Ball: From Ad-Hoc Prediction to Principled Startup Evaluation with the SAISE Framework
arxiv.org·2d
🎯Recommendation Metrics
Everything We Know About GPT-5, OpenAI's Latest Model
lifehacker.com·2d
🖥️Modern Terminals
Machine Learning Fundamentals: model overfitting example
dev.to·2d·
Discuss: DEV
🧠Machine Learning
Handling errors in concurrent goroutines with channels
reddit.com·3d·
Discuss: r/golang
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap