🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🗄️ Database Theory

Relational Algebra, Query Optimization, Datalog, Deductive Databases

Show HN: A simple website to analyze mortgage called "Mortlab"
mortlab.com·7h·
Discuss: Hacker News
🔢Mathematical Logic
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·5h
✅Formal Verification
give advice to an upcoming junior (class of 2027)
reddit.com·14h·
Discuss: r/MITAdmissions
🧩Theorem Proving
DataGrip and Database tools UX Survey #2 Results
blog.jetbrains.com·22h
💾Retrocomputing
The Generativity Pattern in Rust
arhan.sh·18h·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
Building a Job Search Tool with Cursor
machine-unlearning.com·13h
🧩Theorem Proving
What the hell *is* a database anyway?
reddit.com·6d·
Discuss: r/compsci
🧮Programming Language Theory
Relational Dynamics with Periodic Clocks
arxiv.org·8h
⚡Concurrency
Bounded fuzzy logic control for optimal scheduling of green hydrogen production and revenue maximisation
arxiv.org·8h
🧩Theorem Proving
A Start Of A Journey: BillsTechDeck
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
LLMs won't save you from bad software engineering culture
atelfo.github.io·1d·
Discuss: Hacker News
🔧Compiler Design
Nakamoto Consensus from Multiple Resources
arxiv.org·8h
🤝Protocol Design
Proactive Disentangled Modeling of Trigger-Object Pairings for Backdoor Defense
arxiv.org·8h
🔐Cryptography
COLLAGE: Adaptive Fusion-based Retrieval for Augmented Policy Learning
arxiv.org·8h
🎲Probabilistic Programming
A Reward-Directed Diffusion Framework for Generative Design Optimization
arxiv.org·8h
🎲Probabilistic Programming
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·8h
🔢Mathematical Logic
Understanding Asset Models: Why They Matter in ITAM
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Kernel-Based Sparse Additive Nonlinear Model Structure Detection through a Linearization Approach
arxiv.org·8h
🎲Probabilistic Programming
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to·13h·
Discuss: DEV
🎯Constraint Programming
Dataset Condensation with Color Compensation
arxiv.org·8h
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap