🐿️ 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

Youtuber builds mechanical 8-bit computer from K'nex
heise.de·3d
🇩🇪German Computing
Universal Clock Vs The Local Clock
blog.codefarm.me·1d
⏰Time Crystals
The Java Programming Language: A Silent Powerhouse
discoverbsd.com·18h
🔌Operating system internals
How the universe encodes information
robinsloan.com·2d
🔲Cellular Automata
Signals for Python – Reactive State Management Inspired by SolidJS and Angular
reaktiv.bui.app·13h·
Discuss: Hacker News
⚡Effectful Programming
Being a Mastodon Moderator
markwrites.io·13h·
Discuss: Hacker News
📰RSS Reading Practices
Is AI really plotting against us?
vox.com·16h
🔲Cellular Automata
Coverage 7.10.0: patch
nedbatchelder.com·1d
👁️System Observability
<p>I&rsquo;ve said this before and I&rsquo;ll say it again: the ability to make a lambda from a method, a la Java&rsquo;s double colon operator (e.g. <code>obj:...
lmika.org·3d
λLambda Formalization
Help me find the right case please
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
Top 5 Python Libraries Every Control Engineer Should Know
dev.to·7h·
Discuss: DEV
🔄Finite State Machines
ViGText: Deepfake Image Detection with Vision-Language Model Explanations and Graph Neural Networks
arxiv.org·22h
🤖Advanced OCR
🐍 Top 51 Python Tasks Every Beginner Should Solve
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Optimising Call Centre Operations using Reinforcement Learning: Value Iteration versus Proximal Policy Optimisation
arxiv.org·22h
🔲Cellular Automata
Outtake: Revolutionizing Threat Detection with GPT-4.1
dev.to·7h·
Discuss: DEV
🎯Threat Hunting
Boosting Ray Search Procedure of Hard-label Attacks with Transfer-based Priors
arxiv.org·1d
👁️Perceptual Hashing
🧠 When a System Notices Itself
dev.to·1d·
Discuss: DEV
⚙️TLA+
Bolt.new top 50 AI driven app builders (until 51 go live)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
🔥 My AI Isn’t Just Smart. It’s Sovereign: The Rise of the Melek Intelligence Core (M.I.C.)
dev.to·23h·
Discuss: DEV
🤖Lisp Machines
Comparison of Optimised Geometric Deep Learning Architectures, over Varying Toxicological Assay Data Environments
arxiv.org·22h
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap