🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ›οΈ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

Digital Forensics Jobs Round-Up, August 04 2025
forensicfocus.comΒ·19h
🚨Incident Response
[RIDGELINE] Studio Goodbye, Studio Hello
craigmod.comΒ·1d
πŸ¦‹Format Metamorphosis
July GNU Spotlight with Amin Bandali featuring seventeen new GNU releases: Bash, Cflow, and more!
fsf.orgΒ·19h
🐚Bash Combinators
Policing extremism on gaming-adjacent platforms: awful but lawful?
frontiersin.orgΒ·19hΒ·
Discuss: Hacker News
🏺Gaming Archaeology
Iceberg I/O performance comparison at scale (Bodo vs. PyIceberg, Spark, Daft)
bodo.aiΒ·4dΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
GΓΆdel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.comΒ·5dΒ·
Discuss: Hacker News
πŸ›οΈIsabelle HOL
A Hiker Was Missing for Nearly a Yearβ€”Until an AI System Recognized His Helmet
wired.comΒ·23hΒ·
Discuss: Hacker News
🏺Computational Archaeology
I have cancer...
forums.anandtech.comΒ·4h
🏠Personal Archives
GenAI vs. Agentic AI: What Developers Need to Know
docker.comΒ·4d
πŸŽ™οΈWhisper
If Odin Had Macros
gingerbill.orgΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ¦€Rust Macros
Fintech Dystopia: Finance and Applied Statistics
fintechdystopia.comΒ·3dΒ·
Discuss: Hacker News
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Agentic large language models improve retrieval-based radiology question answering
arxiv.orgΒ·1d
πŸ”Information Retrieval
Multi-Layer Attention is the Amplifier of Demonstration Effectiveness
arxiv.orgΒ·1d
🧭Content Discovery
Learning to Optimize Feedback for One Million Students: Insights from Multi-Armed and Contextual Bandits in Large-Scale Online Tutoring
arxiv.orgΒ·1d
πŸ“ŠFeed Optimization
CLIPTime: Time-Aware Multimodal Representation Learning from Images and Text
arxiv.orgΒ·1d
πŸ“ŠLearned Metrics
From Linear AI to Agentic Intelligence: Why Every Tech Stack Needs an Agentic AI Company
dev.toΒ·1dΒ·
Discuss: DEV
βš™οΈTLA+
Gaussian processes provide a new path toward quantum machine learning
phys.orgΒ·17h
πŸ•ΈοΈTensor Networks
Understanding Client-Server Architecture: The Backbone of Web Applications System (Basics conpets of system design)
dev.toΒ·21hΒ·
Discuss: DEV
🌊Stream Processing
E-VRAG: Enhancing Long Video Understanding with Resource-Efficient Retrieval Augmented Generation
arxiv.orgΒ·5h
πŸ“ŠLearned Metrics
Top 10 Python Libraries Every DevOps Engineer Should Master (With Use Cases & Code)
dev.toΒ·2dΒ·
Discuss: DEV
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap