🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Beyond Code: APIs as the Next OSS Battleground
redmonk.com·7h·
Discuss: Hacker News
🔓Open Source Software
ODFM, an omics data resource from microorganisms associated with fermented foods
nature.com·2d·
Discuss: Hacker News
🏷️Metadata Standards
The Apache Iceberg v3 Table Spec
snowflake.com·14h·
Discuss: Hacker News
🔧KAITAI
Developers of "Skin Deep" release the source code for the game.
blendogames.com·1d·
Discuss: Hacker News, r/TwoBestFriendsPlay
🦀Embedded Rust
The path to medical superintelligence
microsoft.ai·15h·
Discuss: Hacker News, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Advice for Node.js Host and Touchscreen web browser client
reddit.com·3h·
Discuss: r/homelab
🏠HomeLab
Generative AI’s crippling and widespread failure to induce robust models of the world
garymarcus.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Use AI to build ecosystems, not just products
atelierlogos.studio·1d·
Discuss: Hacker News
🧭Content Discovery
ChatGPT: Everything you need to know about the AI-powered chatbot
techcrunch.com·3h
🔌Interface Evolution
Genuinely multi-dimensional stationarity preserving global flux Finite Volume formulation for nonlinear hyperbolic PDEs
arxiv.org·1d
📚Archive Mathematics
Dimensionality Reduction on IoT Monitoring Data of Smart Building for Energy Consumption Forecasting
arxiv.org·1h
📈Time Series
Built a geospatial game in Go using PostGIS where you plant seeds at real locations
reddit.com·12h·
Discuss: r/golang
🦀Rust Borrowing
Beyond Speed: A Smarter Framework for Measuring AI Developer Efficiency
dev.to·2d·
Discuss: DEV
📏Code Metrics
my first open-source project
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software
Reasoning in machine vision: learning to think fast and slow
arxiv.org·1d
🧠Machine Learning
What If You Could Skip the Backend in AI dApp Development?
dev.to·19h·
Discuss: DEV
🖥️Self-hosted Infrastructure
CSBrain: A Cross-scale Spatiotemporal Brain Foundation Model for EEG Decoding
arxiv.org·1h
🔲Cellular Automata
Writing Better Instructions for Cursor
dev.to·1h·
Discuss: DEV
⚡Proof Automation
Bayes correlated equilibria, no-regret dynamics in Bayesian games, and the price of anarchy
arxiv.org·1h
🔲Cellular Automata
GKNet: Graph Kalman Filtering and Model Inference via Model-based Deep Learning
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap