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

Using the PicoPSU and PicoRC on an i486
rubenerd.com¡1d
🔌Single Board PC
Read more: Basel research team discovers mini-factories in cells
swissinfo.ch¡22h
⬆️Lambda Lifting
Researchers cracked the encryption used by DarkBit ransomware
securityaffairs.com¡1h
🔐Archive Cryptanalysis
Inclusive Language Guide
aswf.io¡13h¡
Discuss: Hacker News
📝ABNF Parsing
Five Great DevOps Job Opportunities
devops.com¡22h
🔓Open Source Software
The Kafka Challenge – Translating the Inimitable
hedgehogreview.com¡2d¡
Discuss: Hacker News
🏛Digital humanities
Freedesktop.org – Desktop Interoperability Standards
freedesktop.org¡13h¡
Discuss: Hacker News
🔓Open Source Software
The human brain ages less than thought and in layers – at least in the area of the cerebral cortex responsible for the sense of touch
dzne.de¡14h¡
Discuss: Hacker News
⏰Time Crystals
LLMs Are Interesting, but Physical AI Is About to Reshape Our World
automation.com¡7h¡
Discuss: Hacker News
🏠Home Automation
Play Laugh Lines No. 32: Doctors, Part 2
newyorker.com¡1d
🖋Typography
GPT-5 mixes cocktails: Security researchers crack OpenAI's self-restrictions
heise.de¡13h
⚡Proof Automation
Physicist describes discovering preserved blood vessels in the world's largest T. rex
phys.org¡14h
🦴Binary Paleontology
Actual LLM agents are coming
pleias.fr¡5d¡
Discuss: Hacker News
🔲Cellular Automata
[P] VulkanIlm: Accelerating Local LLM Inference on Older GPUs Using Vulkan (Non-CUDA) — Benchmarks Included
reddit.com¡1d¡
Discuss: r/MachineLearning
💻Local LLMs
Ask HN: Looking for an AI Research Mentor
news.ycombinator.com¡1d¡
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Do you think they will ever add sum types/tagged unions?
reddit.com¡4d¡
Discuss: r/golang
💧Liquid Types
GoLang 101: Understanding Polymorphism Through Interfaces
dev.to¡4d¡
Discuss: DEV
🔤Type Theory
Smoothing Slot Attention Iterations and Recurrences
arxiv.org¡4d
🌊Streaming Algorithms
A New Era of Retail AI: How Contextual Intelligence Is Reshaping the Shopping Experience
dev.to¡17h¡
Discuss: DEV
🧮Algorithmic Cooking
Conformal Sets in Multiple-Choice Question Answering under Black-Box Settings with Provable Coverage Guarantees
arxiv.org¡4d
🧮Kolmogorov Bounds
Loading...Loading more...
AboutBlogChangelogRoadmap