๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Language Theory

Type Systems, Formal Methods, Lambda Calculus, Category Theory

Mario Guzman's Mac Layout Guidelines
shapeof.comยท2d
๐Ÿ’พvintage computing
A tournament tried to test how well experts could forecast AI progress. They were all wrong.
vox.comยท2d
๐Ÿงฉprogramming
Tom Phillips shooting: NZ police search for children after fugitive father shot dead by police โ€“ latest updates
theguardian.comยท3h
๐Ÿ“กRSS
Effective learning: Twenty rules of formulating knowledge (1999)
supermemo.comยท6dยท
Discuss: Hacker News
โš™๏ธCompilers
IL-25-induced memory type 2 innate lymphoid cells enforce mucosal immunity
sciencedirect.comยท1d
๐ŸŒNetwork Protocols
A PM's Guide to AI Agent Architecture
productcurious.comยท3dยท
Discuss: Hacker News
๐ŸŽฐBytecode VMs
ELEMENT House Merges Concrete and Walnut in Contemporary Kyoto Design
design-milk.comยท3d
๐Ÿ–ฅ๏ธoperating systems
If the AI Bubble Pops, It Wonโ€™t Be the End
jacobin.comยท1d
๐Ÿ’พvintage computing
Rethinking RNA-binding proteins: Riboregulation challenges prevailing views
sciencedirect.comยท2d
โš™๏ธCompilers
Florida plan to drop school vaccine mandates wonโ€™t take effect for 90 days
theguardian.comยท5h
๐Ÿ”ฑplan 9
Tabular foundation model for GEOAI benchmark problems BM/AirportSoilProperties/2/2025
arxiv.orgยท3d
๐Ÿงฉprogramming
A Survey on Human-AI Collaboration with Large Foundation Models
arxiv.orgยท3d
๐Ÿงฉprogramming
PoolPy: Flexible Group Testing Design for Large-Scale Screening
arxiv.orgยท3d
๐ŸŽฐBytecode VMs
MMSearch-Plus: A Simple Yet Challenging Benchmark for Multimodal Browsing Agents
arxiv.orgยท6d
โš™๏ธCompilers
Automated Clinical Problem Detection from SOAP Notes using a Collaborative Multi-Agent LLM Architecture
arxiv.orgยท6d
๐ŸŒNetwork Protocols
Training LLMs to be Better Text Embedders through Bidirectional Reconstruction
arxiv.orgยท3d
โš™๏ธCompilers
Harnessing Batched BLAS/LAPACK Kernels on GPUs for Parallel Solutions of Block Tridiagonal Systems
arxiv.orgยท3d
๐ŸŽจGraphics Programming
Multitask Battery Management with Flexible Pretraining
arxiv.orgยท4d
โš™๏ธCompilers
ACA-Net: Future Graph Learning for Logistical Demand-Supply Forecasting
arxiv.orgยท4d
๐ŸŒNetwork Protocols
GRMM: Real-Time High-Fidelity Gaussian Morphable Head Model with Learned Residuals
arxiv.orgยท4d
๐ŸŽจGraphics Programming
Loading...Loading more...
AboutBlogChangelogRoadmap