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

Claude Opus 4 and 4.1 can now end a rare subset of conversations
anthropic.com·1d·
Discuss: Hacker News, r/ClaudeAI
✨Effect Handlers
Maintainers of Last Resort
words.filippo.io·2d·
Discuss: Lobsters
🔓Open Source Software
OpenAI’s Waterloo? [with corrections]
garymarcus.substack.com·2d·
Discuss: Substack
⚡Incremental Computation
SonarSource Surfaces Multiple Caveats When Relying on LLMs to Write Code
devops.com·3d
📏Code Metrics
How Did I Possibly Break This?
funcall.blogspot.com·5d·
Discuss: www.blogger.com
🎯Gradual Typing
Developers Think "Testing" is Synonymous with "Unit Testing" – @garthgilmourni
youtube.com·3d
🔍Concolic Testing
Go Coding with Asparagos: Will Graph Cycles Spoil the Salsa Festival?
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
Interpretable Machine Learning Model for Early Prediction of Acute Kidney Injury in Critically Ill Patients with Cirrhosis: A Retrospective Study
arxiv.org·2d
🧠Machine Learning
Running OPNsense Bare Metal or Virtualized (Proxmox)?
reddit.com·10h·
Discuss: r/homelab
💿Proxmox HA
Few-shot Vision-based Human Activity Recognition with MLLM-based Visual Reinforcement Learning
arxiv.org·2d
🎵Audio ML
Hyper-Resolution Spectral Mapping of Intra-Cluster Medium Ionization States via Bayesian Deep-Learning
dev.to·2d·
Discuss: DEV
🧠Machine Learning
PwC and AWS Build Responsible AI with Automated Reasoning on Amazon Bedrock
aws.amazon.com·3d
⚡Proof Automation
Practice Makes Perfect: How AI Interview Simulation Changed My Go Game
dev.to·12h·
Discuss: DEV
🎯Emulator Accuracy
Exploring the Equivalence of Closed-Set Generative and Real Data Augmentation in Image Classification
arxiv.org·3d
📊Learned Metrics
LLMCARE: Alzheimer's Detection via Transformer Models Enhanced by LLM-Generated Synthetic Data
arxiv.org·2d
🎵Audio ML
I compared ChatGPT 5’s three model options, and the results explain why people miss GPT‑4o
techradar.com·2d
🎙️Whisper
Quantum-Enhanced Ergodic Transport Modeling via Adaptive Mesh Refinement
dev.to·1d·
Discuss: DEV
⚛️Information Physics
Accelerated Cell Cycle Phase Transition Prediction via Multi-Scale Causal Graph Analysis
dev.to·1d·
Discuss: DEV
🕸️Algebraic Topology
Performance of GPT-5 in Brain Tumor MRI Reasoning
arxiv.org·2d
🧠Machine Learning
Quantum-Enhanced Graph Neural Networks for Financial Risk Attribution and Portfolio Optimization
dev.to·21h·
Discuss: DEV
🕸️Tensor Networks
Loading...Loading more...
AboutBlogChangelogRoadmap