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

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
Open source implementation of DeepMind's AlphaEarth geospatial model
github.com·1d·
Discuss: Hacker News
📊Quantization
Beavers return to the forest landscape, reviving its natural environment
phys.org·7h
🦴Database Paleontology
Microsoft BASIC For 6502 Is Now Open Source
hackaday.com·1d
🔓Open Source Software
Casual Productivity with LLMs
kylekukshtel.com·3d·
Discuss: Hacker News
🦀Rust Macros
Attention as an Adaptive Filter
arxiv.org·17h
🧠Machine Learning
Mitigating Catastrophic Forgetting in Continual Learning through Model Growth
arxiv.org·2d
⚡Incremental Computation
Do small language models generate realistic variable-quality fake news headlines?
arxiv.org·2d
🧪Archive Fuzzing
PointAD+: Learning Hierarchical Representations for Zero-shot 3D Anomaly Detection
arxiv.org·1d
🏺Computational Archaeology
From Evaluation to Defense: Constructing Persistent Edit-Based Fingerprints for Large Language Models
arxiv.org·1d
💻Local LLMs
Planning with Reasoning using Vision Language World Model
arxiv.org·1d
💻Local LLMs
Kubernetes for starters
reddit.com·3h·
Discuss: r/kubernetes
📦Container Security
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·4h·
Discuss: DEV
⚡SMT Applications
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
Home server from old office PCs
reddit.com·1h·
Discuss: r/homelab
🏠Homelab Archaeology
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
Loading...Loading more...
AboutBlogChangelogRoadmap