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

Renee or Greta? Your name could determine whether you get the job or not
the-independent.com·1h
👂Psychoacoustics
How Low (or High) Can You Go?
thefiddler.substack.com·6h·
Discuss: Substack
🔲Cellular Automata
Declarative GUI Toolkit Slint 1.13 released
slint.dev·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Automating Security Research: AI Engine Exploits Complex Blind Code Injection
blog.ostorlab.co·1d·
Discuss: Hacker News
⚡Proof Automation
Could this be the next big step forward for AI? Huawei's open source move will make it easier than ever to connect together, well, pretty much everything
techradar.com·2d
🏠Homelab Federation
Beavers return to the forest landscape, reviving its natural environment
phys.org·4h
🦴Database Paleontology
[$] Rug pulls, forks, and open-source feudalism
lwn.net·3h
🔓Open Source Software
Open source implementation of DeepMind's AlphaEarth geospatial model
github.com·1d·
Discuss: Hacker News
📊Quantization
Microsoft BASIC For 6502 Is Now Open Source
hackaday.com·1d
🔓Open Source Software
Kubernetes for starters
reddit.com·1h·
Discuss: r/kubernetes
📦Container Security
Casual Productivity with LLMs
kylekukshtel.com·3d·
Discuss: Hacker News
🦀Rust Macros
Planning with Reasoning using Vision Language World Model
arxiv.org·1d
💻Local LLMs
They can't always be good days
dev.to·5d·
Discuss: DEV
🎯Gradual Typing
Graph Contrastive Learning versus Untrained Baselines: The Role of Dataset Size
arxiv.org·2d
📊Learned Metrics
On the Perturbed Projection-Based Distributed Gradient-Descent Algorithm: A Fully-Distributed Adaptive Redesign
arxiv.org·1d
🤝Consensus Algorithms
Zero-Error Nash Equilibrium: Harnessing Nonlocal Correlation in Incomplete Information Games
arxiv.org·1d
⚛️Quantum Channels
Boosting Your Anomaly Detection With LLMs
towardsdatascience.com·1d
💻Local LLMs
Fast kernel methods: Sobolev, physics-informed, and additive models
arxiv.org·1d
🌀Riemannian Computing
Quantum-like Coherence Derived from the Interaction between Chemical Reaction and Its Environment
arxiv.org·2d
⚛️Information Physics
The 100x100 Challenge: Learning Through GitHub Projects
dev.to·40m·
Discuss: DEV
🧬Bitstream Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap