🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔶 Cubical Type Theory

Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types

Fooling You, Fooling Me
cacm.acm.org·22h
🔲Cellular Automata
America’s Problems Aren’t That Complicated
rollingstone.com·4h
🧲Magnetic Philosophy
AI is not another abstraction because god plays dice
rakhim.exotext.com·1d
⚖️Hoare Logic
Car Financing – and Why It's a Trap Today
aristocarware.com·6h·
Discuss: Hacker News
⏳Time Capsule Networks
Is the LLM response wrong, or have you just failed to iterate it?
simonwillison.net·1d
🔲Proof Irrelevance
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·2d·
Discuss: Hacker News
🐚Shell Calculus
TryQuiet/quiet
github.com·1d
🌐WebRTC Archives
What does the government think an algorithm is?
tommorris.org·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: A livestream of all image descriptions (alt text) on Bluesky
bobbiec.github.io·1d·
Discuss: Hacker News
🛡️Security Headers
Targeting 25 years of Windows with Visual Studio 2019 (2021)
colinfinck.de·1d·
Discuss: Hacker News
🔗Static Linking
How to find a cryptic animal: Recording the elusive beaked whale in the Foz do Amazonas Basin
phys.org·2h
🦴Binary Paleontology
LLMs, Quantum Measurement, and a Primitive of Consciousness
understoryai.substack.com·3d·
Discuss: Substack
🔐Quantum Cryptography
[R] LLMs play a cooperative card game, coordination without communication
reddit.com·16h·
Discuss: r/MachineLearning
🔲Cellular Automata
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·16h·
Discuss: Hacker News
🔓Open Source Software
The Hybrid Cloud Dilemma: Striking the Right Balance for Your Business
dev.to·2h·
Discuss: DEV
🖥️Self-hosted Infrastructure
Are bad incentives to blame for AI hallucinations?
techcrunch.com·1d·
Discuss: Hacker News
🤖Grammar Induction
Unlocking On-Device AI: Verifying LLM Authenticity in the Palm of Your Hand
dev.to·12h·
Discuss: DEV
💻Local LLMs
The Ultimate Life Hack for Turning a Boring Walk into a Real-Life Video Game Hometown
dev.to·13h·
Discuss: DEV
🌍Cultural Algorithms
Semantically Reflected Programs
arxiv.org·5d
🔢Denotational Semantics
Automated Fault Identification in Shell-and-Tube Heat Exchangers via Spectral Analysis and Deep Learning
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap