๐Ÿฟ๏ธ 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

Learning from punishment
news.mit.eduยท15h
๐Ÿ”ฒCellular Automata
Subverting AIOps Systems Through Poisoned Input Data
schneier.comยท1dยท
Discuss: www.schneier.com
๐Ÿ”“Hacking
Aerial footage shows final leg of Swedish church's move to new home
bbc.comยท23h
๐Ÿ—๏ธSwedish Architecture
IBM and NASA made an open-source AI model for predicting solar weather
engadget.comยท23h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
[R] azzurra-voice, a new State-of-the-Art Italian Text-to-Speech model
reddit.comยท1dยท
Discuss: r/MachineLearning
๐ŸŽ™๏ธWhisper
Streamdown: React-Markdown replacement designed for AI-powered streaming
github.comยท13hยท
Discuss: Hacker News
๐Ÿ“„Document Streaming
'Warhammer 40k: Dawn of War 4' revealed, with a new developer promising a return to 'mass-battle, base-building roots' (video)
space.comยท1d
๐ŸบGaming Archaeology
I was burned out at work, so I quit my job, sold my home, and moved to Spain. It was the best decision of my life.
businessinsider.comยท19h
๐Ÿฆ‹Format Metamorphosis
Kilmar Abrego Garcia wants criminal case thrown out over Trump administrationโ€™s โ€˜vindictiveโ€™ prosecution
the-independent.comยท1d
๐Ÿ“ฆDeflate
Metabolic modeling unlocks diversity of yeast for industrial biotechnology
phys.orgยท19h
โ˜•Precision Brewing
World.exe: From Gods to NPCs ๐Ÿ˜‡๐Ÿค–๐ŸŽ
dev.toยท4dยท
Discuss: DEV
๐Ÿ“œBinary Philology
Bio-Integrated Microfluidic Scaffold Optimization via Adaptive Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Monad annoyance
macwright.comยท2d
๐ŸงฌFunctional Programming
KP-INR: A Dual-Branch Implicit Neural Representation Model for Cardiac Cine MRI Reconstruction
arxiv.orgยท2d
๐Ÿง Machine Learning
Automated Electrochemical Impedance Spectroscopy Analysis for Fine-Tuned pH Gradient Optimization in Microfluidic Devices
dev.toยท2dยท
Discuss: DEV
โ˜•Precision Brewing
๐Ÿš€ Stop Burning Money on AI Models: OpenRouter vs DynaRoute Face-Off
dev.toยท18hยท
Discuss: DEV
๐Ÿ“กBGP Archaeology
What is the point of libraries now that you can just generate them?
ghuntley.comยท1dยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
The Only Marketers Who Should Fear AI Are the Lazy Ones
hackernoon.comยท23h
๐ŸŽฏContent Recommendation
Automated Multi-Modal Protein Expression Analysis via Dynamic Federated Learning
dev.toยท4dยท
Discuss: DEV
๐Ÿ”Vector Forensics
CrowdStrike: Slow Growth, Flat Margins, And A Rich Valuation
seekingalpha.comยท1d
๐Ÿ”BitFunnel
Loading...Loading more...
AboutBlogChangelogRoadmap