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

Weekly Update 465
troyhunt.com·56m
💿WORM Storage
Project Hydra: Improving state resolution in Matrix
matrix.org·2d·
Discuss: Lobsters, Hacker News
🤝Paxos Consensus
Evaluating GPT5's reasoning ability using the Only Connect game show
ingram.tech·4d·
Discuss: Hacker News
🧠Computational Logic
Thinking of Starting an AI Content Business? Don’t Make These Mistakes!
dev.to·14h·
Discuss: DEV
🤖AI Curation
SPHENIC: Topology-Informed Multi-View Clustering for Spatial Transcriptomics
arxiv.org·1d
🔶Voronoi Diagrams
Automated Fault Characterization in IEC 62304-Based Medical Device Software
dev.to·4d·
Discuss: DEV
📏Code Metrics
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·3d·
Discuss: DEV
🧮Vector Embeddings
Securely launch and scale your agents and tools on Amazon Bedrock AgentCore Runtime
aws.amazon.com·3d
🌊Streaming Systems
DualPhys-GS: Dual Physically-Guided 3D Gaussian Splatting for Underwater Scene Reconstruction
arxiv.org·2d
📐Projective Geometry
Learning to Defer in Congested Systems: The AI-Human Interplay
arxiv.org·2d
🧠Machine Learning
Deep and diverse population synthesis for multi-person households using generative models
arxiv.org·2d
🌍Cultural Algorithms
I Was Frustrated with Bad AI Code, So I Built a "Prompt Architect" to Fix It
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Medico 2025: Visual Question Answering for Gastrointestinal Imaging
arxiv.org·1d
🧠Machine Learning
Exploiting Krylov Subspace Methods for Real-Time Sparse Linear Systems in High-Dimensional Signal Processing
dev.to·5d·
Discuss: DEV
⚡SIMD Vectorization
FlowTime
hackster.io·1d
⚙️DIY Electronics
OpenAI’s GPT-OSS Challenges Meta’s Leadership in Open-Weight AI
spectrum.ieee.org·2d·
Discuss: r/technews
🔓Open Source Software
DAgger Diffusion Navigation: DAgger Boosted Diffusion Policy for Vision-Language Navigation
arxiv.org·2d
🌀Riemannian Computing
AI-Driven Single-Cell Transcriptomic Data Harmonization via Dynamic Hypervector Alignment
dev.to·1h·
Discuss: DEV
📐Vector Dimensionality
Chi-Geometry: A Library for Benchmarking Chirality Prediction of GNNs
arxiv.org·3d
🔗Graph Isomorphism
OpenBSD’s Greytrapping: 18 Years of Fighting Spam with Data and Grit
discoverbsd.com·2d
🛡️eBPF Security
Loading...Loading more...
AboutBlogChangelogRoadmap