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

Case Study: How the Federal Reserve Automates PDF Accessibility with PDFix
pdfa.org·22h
📄PostScript
The Benefits of Using Kotlin for Cross‑Platform Development
devops.com·1d
💧Liquid Types
Zero to Mastery: [July 2025] Python Monthly Newsletter 🐍
zerotomastery.io·1d
⚡Homebrew CPUs
Building Secure ReactJS Apps: Mastering Advanced Security Techniques • Jim Manico • GOTO 2024
youtube.com·1d
🛡️WASM Security
Playing with open source LLMs
alicegg.tech·3d·
Discuss: Hacker News
🌀Brotli Internals
Designing for Self-Regulation in Informal Programming Learning: Insights from a Storytelling-Centric Approach
arxiv.org·1d
📝Compiler Design
OpenCQRS – an open-source CQRS framework for the JVM
github.com·6h·
Discuss: Hacker News
🔐CBOR
Digitalizing Uncertain Information
arxiv.org·2d
🛡️Proof-Carrying Data
From Propagator to Oscillator: The Dual Role of Symmetric Differential Equations in Neural Systems
arxiv.org·13h
🔲Cellular Automata
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·13h
🌈Spectral Methods
Python Lambda Functions: When to Use Them (and When Not To) [2025 Guide]
dev.to·4d·
Discuss: DEV
λLambda Formalization
Dispatch Engineering in 2025: Distributed System Readiness Before You Scale
dev.to·7h·
Discuss: DEV
🕸️Mesh Networking
Quark’s Outlines: Python Plain Integers
dev.to·4d·
Discuss: DEV
📐Interval Arithmetic
TriangleMix: A Lossless and Efficient Attention Pattern for Long Context Prefilling
arxiv.org·2d
🔨Compilers
Predicting Champions League Winner Using Python
dev.to·20h·
Discuss: DEV
🧪Data science
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🌳Persistent Data Structures
How I Used Gemini CLI to Scrape Data and Build a Startup Directory Website
dev.to·6h·
Discuss: DEV
📟CLI Design
Design of a bioinspired robophysical antenna for insect-scale tactile perception and navigation
arxiv.org·13h
✋Tactile Computing
Using Scaling Laws for Data Source Utility Estimation in Domain-Specific Pre-Training
arxiv.org·1d
🧠Machine Learning
Efficient Differentially Private Fine-Tuning of LLMs via Reinforcement Learning
arxiv.org·1d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap