๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ—๏ธ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

Cram school lecturers may teach at public schools in Japan
japantimes.co.jpยท1d
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
Liverpool 2.0 launched at Wembley - but Slot has bugs to fix
bbc.comยท5h
๐Ÿ‘‘Isabelle
Security Affairs newsletter Round 536 by Pierluigi Paganini โ€“ INTERNATIONAL EDITION
securityaffairs.comยท23h
๐Ÿ”“Hacking
Actually, Apple is doing the right thing with Apple Intelligence
lowendmac.comยท15h
๐ŸŽApple Computing
627: The 2 a.m. Rescue
linuxunplugged.comยท48m
๐ŸŒŠStream Ciphers
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.devยท1dยท
Discuss: Hacker News
๐ŸŒWeb Standards
Pragmatism in Programming Proverbs
gingerbill.orgยท5dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ’ปProgramming languages
Crystal Palace beat Liverpool on penalties to secure Community Shield
the-independent.comยท9h
๐Ÿ”ฒCellular Automata
A Love Letter to My Future Employer
catzkorn.devยท2dยท
Discuss: Hacker News
๐ŸšShell Calculus
Saturday Citations: Video games and brain activity; a triple black hole system; neutralizing Skynet
phys.orgยท1d
๐ŸบGaming Archaeology
KuaiLive: A Real-time Interactive Dataset for Live Streaming Recommendation
arxiv.orgยท2d
โš–๏ธFeed Ranking
Not All Math Symbols are Equal, or How "=" Became Ubiquitous
pballew.blogspot.comยท2dยท
Discuss: www.blogger.com
๐ŸฆดBinary Paleography
Automated Workflow Optimization via Hybrid Monte Carlo & Dynamic Bayesian Networks
dev.toยท3dยท
Discuss: DEV
๐ŸŒŠStream Processing
An Introduction to Ruby on Rails โ€“ From someone with a frontend background New to Rails? Let's skim over the basics of the framework!
blog.codeminer42.comยท3d
๐Ÿ”ŒInterface Evolution
Nvidia researchers urge the AI industry to rethink agentic AI in favor of smaller, more efficient LLMs
the-decoder.comยท14h
๐Ÿ’ปLocal LLMs
Machine Learning Fundamentals: model evaluation
dev.toยท5dยท
Discuss: DEV
๐ŸŒŠStream Processing
Competing Risks: Impact on Risk Estimation and Algorithmic Fairness
arxiv.orgยท2d
๐Ÿง Machine Learning
From Information Overload to Intelligence: Why AI is Every Crypto Trader's Secret Weapon
dev.toยท1dยท
Discuss: DEV
๐Ÿง Intelligence Compression
Originality, Creativity, Visibility: The Three Multipliers of Modern Success
dev.toยท2dยท
Discuss: DEV
๐ŸŽฏRecommendation Metrics
StanceStream โ€“ Real-Time Multi-Agent AI Debates Powered by Redis
dev.toยท5hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap