🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

Intuition behind Power of 2 Choices Load balancing
amandeepsp.github.io·5d·
Discuss: r/compsci, r/programming
⚡Cache Theory
Philosophical Thoughts on Kolmogorov-Arnold Networks
kindxiaoming.github.io·4d·
Discuss: Hacker News
🔲Cellular Automata
Microsoft boss troubled by rise in reports of 'AI psychosis'
bbc.com·1d·
Discuss: Hacker News, r/technews
🔓Hacking
"Surprises" in BLS Jobs Revisions Became More Frequent After 2020
medium.com·1d·
Discuss: Hacker News
📈Time Series
RS485 Basic and Versatile
hackster.io·22h
📼Cassette Protocols
Limitron – a minimal, lock-free, GC-friendly rate limiter for Go
reddit.com·4d·
Discuss: r/golang
🔒Linear Types
Steering a middle ground between two extreme takes on the role of statistics in the development of language models
statmodeling.stat.columbia.edu·4d
💻Programming languages
Thinking Thursday: The Greatest What?
denisegaskins.com·1d
📐Mathematical Art
Debugging Behind the Iron Curtain (2010)
jakepoz.com·2d·
Discuss: Hacker News
🇷🇺Russian Computing
[R] What do people expect from AI in the next decade across various domains? Survey with N=1100 people from Germay::We found high likelihood, higher perceived r...
reddit.com·2d·
Discuss: r/MachineLearning
🔲Cellular Automata
Day 71: When Your LAN Dies and Forces Better Code Habits
dev.to·2d·
Discuss: DEV
🔩Systems Programming
Automated Viscosity Measurement Calibration via Deep Learning and Bayesian Optimization
dev.to·2d·
Discuss: DEV
☕Precision Brewing
Thailand: Former PM Thaksin Shinawatra acquitted of royal defamation charges
lemonde.fr·16h
📝ABNF Extensions
Gemini has a few tricks up its sleeve that ChatGPT still doesn’t – here are 3 things Gemini can do better than ChatGPT
techradar.com·2d
🎯Content Recommendation
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.org·4d
🧮SMT Solvers
The 4-Hour Weekly Workflow That Keeps My Codebase Clean
dev.to·4d·
Discuss: DEV
📏Code Metrics
MISS: Multi-Modal Tree Indexing and Searching with Lifelong Sequential Behavior for Retrieval Recommendation
arxiv.org·1d
🔍Search Indexing
From Mud to Masterpiece: Meet dc-artisan and Craft Better Prompts
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Is General-Purpose AI Reasoning Sensitive to Data-Induced Cognitive Biases? Dynamic Benchmarking on Typical Software Engineering Dilemmas
arxiv.org·4d
🧠Intelligence Compression
Optimal Condition for Initialization Variance in Deep Neural Networks: An SGD Dynamics Perspective
arxiv.org·3d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap