🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Meta names Shengjia Zhao as chief scientist of AI superintelligence unit
techcrunch.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Can TikTok Revive Classic Songs? A Statistical Analysis of Social Media Virality
statsignificant.com·2d·
Discuss: Hacker News
🍎Apple
Fuck dopamine, we're voluntarily breaking our own brains
anushkakarmakar.substack.com·14h·
Discuss: Substack
🖥️Self-hosted Infrastructure
Linux Budgie Desktop: A Perfect Blend of Aesthetics and Power
thenewstack.io·11h
💾Retro Computing
Media Tracker with Astro and Turso
goulven-clech.dev·4d·
Discuss: Hacker News
🔬Unikernels
McKinsey Technology Trends Outlook 2025
mckinsey.com·3d·
Discuss: Hacker News
🧗Climbing Tech
Surveillance Malware Hidden in NPM and PyPI Packages Targets Developers With
socket.dev·3d·
Discuss: Hacker News
🌐NetworkProtocols
Indie App Spotlight: ‘Pics2PDF’ turns your best photos into a quick document, and more
9to5mac.com·5h
🍎Apple
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.org·4d
✓Automated Theorem Proving
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·4d
🎮Verification Games
Major Quantum Computing Advance Made Obsolete by Teenager
quantamagazine.org·2d·
Discuss: Hacker News
🔬Unikernels
Automated Design of Structured Variational Quantum Circuits with Reinforcement Learning
arxiv.org·3d
🏹Effect Systems
A new data-driven energy-stable Evolve-Filter-Relax model for turbulent flow simulation
arxiv.org·2d
🐫OCaml
UniSegDiff: Boosting Unified Lesion Segmentation via a Staged Diffusion Model
arxiv.org·1d
💻CS
On the Role of AI in Managing Satellite Constellations: Insights from the ConstellAI Project
arxiv.org·4d
✓Automated Theorem Proving
Understood: Real-Time Communication Support for Adults with ADHD Using Mixed Reality
arxiv.org·1d
🎮Verification Games
Implications of Current Litigation on the Design of AI Systems for Healthcare Delivery
arxiv.org·3d
🏹Effect Systems
Acceleration of Gossip Algorithms through the Euler-Poisson-Darboux Equation
arxiv.org·5d
📡Network Protocol Design
The Judge Variable: Challenging Judge-Agnostic Legal Judgment Prediction
arxiv.org·5d
✓Automated Theorem Proving
Graph Attention Specialized Expert Fusion Model for Node Classification: Based on Cora and Pubmed Datasets
arxiv.org·4d
➡️Category Theory
Loading...Loading more...
AboutBlogChangelogRoadmap