๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

How brain rot may cripple us very soon
aardvark.co.nzยท13h
๐ŸบMedia Archaeology
The AVX-512 thread
forums.anandtech.comยท1d
๐ŸงฒRISC-V Archaeology
My Guilty Perl Obsession
perl.comยท1d
๐Ÿš€Indie Hacking
Where to Host a Python Web App
judoscale.comยท2dยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธSelf-hosted Infrastructure
Show HN: Cosmic AI Platform โ€“ Build and deploy CMS sites using natural language
cosmicjs.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Hypermedia APIs
Perplexity wants to involve publishers when content is used
heise.deยท19h
๐Ÿ”BitFunnel
Kramer Intelligence Offers AI Services to U.S. Government for $1 per Agency
medium.comยท2dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Storm-0501 Hits Enterprise With 'Cloud-Based Ransomware' Attack
darkreading.comยท13h
๐ŸŽซKerberos Exploitation
Homelab setup for a startup in my home
reddit.comยท1dยท
Discuss: r/homelab
๐Ÿ HomeLab
Gonk - The First Steps and Routing
dev.toยท3dยท
Discuss: DEV
โšกgRPC
๐Ÿ”ฅ Why Everyone Is Sleeping On TinyGo: Run Go on Microcontrollers and the Web (WASM) Today!
dev.toยท3dยท
Discuss: DEV
๐ŸŒWASI
From Logic to Linear Algebra: How AI is Rewiring the Computer
dev.toยท3dยท
Discuss: DEV
โšกHomebrew CPUs
Beyond the Hype: A Technical Analysis of Why AI-Generated Content Struggles to Build Authentic Engagement
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI Curation
Quantifying Out-of-Training Uncertainty of Neural-Network based Turbulence Closures
arxiv.orgยท2d
๐Ÿ“ŠQuantization
The Impact of Artificial Intelligence on Human Thought
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
CarboNet: A Finite-Time Combustion-Tolerant Compartmental Network for Tropospheric Carbon Control
arxiv.orgยท2d
๐ŸงฎAlgorithmic Cooking
๐Ÿš€ GitHub Copilot: A Persona-Based Approach to Real-World Development
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Enhancing Document VQA Models via Retrieval-Augmented Generation
arxiv.orgยท1d
๐Ÿ“„Text Chunking
AI-Powered Ransomware Has Arrived With 'PromptLock'
darkreading.comยท15h
๐Ÿš€Indie Hacking
Author Correction: Disease-associated astrocyte epigenetic memory promotes CNS pathology
nature.comยท1d
๐ŸงฌCopy Number Variants
Loading...Loading more...
AboutBlogChangelogRoadmap