๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Decoding the Mystery of Intuition: Pioneering Philosopher of AI Margaret Boden on the Three Elements of Creativity
themarginalian.orgยท1d
๐ŸงฒMagnetic Philosophy
The Rise of Right-Wing Nihilism
nytimes.comยท2d
๐ŸงฒMagnetic Philosophy
From Facts & Metrics to Media Machine Learning: Evolving the Data Engineering Function at Netflix
netflixtechblog.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠFeed Optimization
MCP, OTAs, and Reshaping Travel
directbooker.comยท2dยท
Discuss: Hacker News
๐Ÿง Query Planners
Kubernetes v1.34 is coming with some interesting security changes โ€” what do you think will have the biggest impact?
armosec.ioยท1d
๐Ÿ“ฆContainer Security
Is creative destruction on the decline?
ft.comยท1dยท
Discuss: Hacker News
๐ŸŒCultural Algorithms
Model could improve water service for more than 1 billion people
phys.orgยท1d
๐Ÿ“กNetwork Protocol Design
How to Correctly Apply Limits on the Result in DAX (and SQL)
towardsdatascience.comยท5d
๐Ÿ”—Constraint Handling
How to Push Back Against Unreasonable Management Expectations in the Age of AI?
deepdocs.devยท3dยท
Discuss: Hacker News, r/programming
โš™๏ธProof Engineering
Show HN: Meow Story Engine โ€“ Open-source AI story engine (card-based, demo)
github.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Drive LED indicators
reddit.comยท1dยท
Discuss: r/homelab
โšกCircuit Archaeology
A Case Against Abstraction
dev.toยท5dยท
Discuss: DEV
โœจEffect Handlers
Adaptive Differential Signal Calibration via Hyperdimensional Vector Projection for High-Speed Data Transmission
dev.toยท3dยท
Discuss: DEV
๐Ÿง Machine Learning
Risky Bulletin: NIST releases face-morphing detection guideline
news.risky.bizยท4d
๐Ÿ”“Hacking
Contrastive Analysis of Constituent Order Preferences Within Adverbial Roles in English and Chinese News: A Large-Language-Model-Driven Approach
arxiv.orgยท3d
๐Ÿ“Concrete Syntax
InfoSec News Nuggets 8/20/2025
aboutdfir.comยท3d
๐Ÿ”“Hacking
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.orgยท6d
๐ŸŽจGraph Coloring
AGP: A Novel Arabidopsis thaliana Genomics-Phenomics Dataset and its HyperGraph Baseline Benchmarking
arxiv.orgยท2d
๐Ÿ“Vector Dimensionality
Automated Cell Viability Assessment via Multi-modal Fusion & Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿ”Vector Forensics
Breaking Reward Collapse: Adaptive Reinforcement for Open-ended Medical Reasoning with Enhanced Semantic Discrimination
arxiv.orgยท5d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap