๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ”ฒ Proof Irrelevance

Squash Types, Proposition Equality, Setoid Model, Type Theory

French dictionary gets bad rap over Congolese banana leaf dish
rfi.frยท12h
๐Ÿ“ABNF Parsing
The org-copy-visible Command
irreal.orgยท1d
๐ŸงFOSS
A new way to test how well AI systems classify text
news.mit.eduยท3d
๐Ÿ”คCharacter Classification
Recto โ€“ A Truly 2D Language
masatohagiwara.netยท5dยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Persuasion as a Form of Attack in LLMs
notion.soยท3dยท
Discuss: Hacker News
โšกProof Automation
Librum-Reader/Librum
github.comยท1d
๐Ÿ”“Open Source Software
Notes for August 11-17
taoofmac.comยท2h
๐Ÿ“ปHomebrew Protocols
A Deep Dive into AI Inference Platforms โ€“ Part 1
procurefyi.substack.comยท4dยท
Discuss: Substack
โšกIncremental Computation
Ranking GPT-5 against LLMs
datasciencecentral.comยท3d
๐Ÿ”ฒCellular Automata
Police: Pleasanton man arrested for alleged fatal shooting, possession of explosives
mercurynews.comยท22h
๐Ÿ”ฑplan 9
Sheriff Corpus removal hearings begin Monday in San Mateo County
mercurynews.comยท6h
๐Ÿง Memory Forensics
GPT-5 in GitHub Copilot: How I built a game in 60 seconds
github.blogยท3d
๐Ÿ”„Language Evolution
TensorFlow Graph Optimization With Grappler
hackernoon.comยท4d
โœจEffect Handlers
From Days to Hoursโ€”Meet HyperQ, the Quantum Virtual Machines That Could Democratize Q-Computing
dev.toยท2dยท
Discuss: DEV
โš›๏ธQuantum Archives
๐Ÿ“ข Neuro-Symbolic AI Summer School 2025 | Online Event | Aug 14 - 15
dev.toยท3dยท
Discuss: DEV
๐Ÿ’ปCS
๐Ÿš€AI + Crypto: The Collision That Could Redefine the Internet
dev.toยท2dยท
Discuss: DEV
๐Ÿ”—Hash Chains
DeputyDev -- AI Powered Developer Assistant: Breaking the Code Review Logjam through Contextual AI to Boost Developer Productivity
arxiv.orgยท3d
๐Ÿ“Code Metrics
LLMs as Parts of Systems
brooker.co.zaยท5d
๐ŸงฎTheorem Proving
Novel View Synthesis with Gaussian Splatting: Impact on Photogrammetry Model Accuracy and Resolution
arxiv.orgยท5d
๐Ÿ“Projective Geometry
Federated Learning for Epileptic Seizure Prediction Across Heterogeneous EEG Datasets
arxiv.orgยท5d
๐Ÿง Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap