🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ“ Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

Io_uring by Example
unixism.netΒ·1dΒ·
Discuss: Hacker News
🐚Shell Calculus
Vibing options for whoever you are
seroter.comΒ·18hΒ·
Discuss: Hacker News
πŸ“Code Metrics
Python 3.14 Preview: Lazy Annotations
realpython.comΒ·1d
Ξ»Lambda Formalization
How AI Works – A Primer
publish.obsidian.mdΒ·23hΒ·
Discuss: Hacker News
πŸ€–AI Curation
This is How I Automate the Tech Discovery Using LLMs
dev.toΒ·1hΒ·
Discuss: DEV
πŸ”„Language Evolution
Parlant - Renovation AI Open-Source framework
dev.toΒ·3dΒ·
Discuss: DEV
✨Effect Handlers
Automated Cognitive Bias Mitigation in Genomic Data Analysis via Multi-Modal Fusion & Bayesian Calibration
dev.toΒ·1dΒ·
Discuss: DEV
βœ“Automated Theorem Proving
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
arxiv.orgΒ·1d
πŸ€–Grammar Induction
CORE: Lossless Compression for Retrieval-Augmented LLMs via Reinforcement Learning
arxiv.orgΒ·1d
βš™οΈCompression Benchmarking
SOLID Principles In 2025 In Practice With Python And UML Examples
dev.toΒ·16hΒ·
Discuss: DEV
🐚Shell Calculus
Flowing Straighter with Conditional Flow Matching for Accurate Speech Enhancement
arxiv.orgΒ·8h
πŸŽ™οΈWhisper
Mastering Go’s sync.Pool: Slash GC Pressure Like a Pro
dev.toΒ·11hΒ·
Discuss: DEV
πŸ”„Sync Engine
ReflectivePrompt: Reflective evolution in autoprompting algorithms
arxiv.orgΒ·2d
⚑Incremental Computation
The dev’s AI vault: A 7-part series on mastering ChatGPT as a developer (400+ real coding use cases)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ—οΈCompiler Archaeology
Learning ON Large Datasets Using Bit-String Trees
arxiv.orgΒ·3d
πŸ—‚οΈVector Databases
Continuous AI: A Simple Introduction
dev.toΒ·3dΒ·
Discuss: DEV
⚑Proof Automation
Mini-Omni-Reasoner: Token-Level Thinking-in-Speaking in Large Speech Models
arxiv.orgΒ·4d
πŸŽ™οΈWhisper
AI Tutors vs. Human Mentors: Which Will Shape Developer Growth in 2025?
dev.toΒ·18hΒ·
Discuss: DEV
πŸ—ΊοΈCompetency Maps
A Novel Framework for Automated Explain Vision Model Using Vision-Language Models
arxiv.orgΒ·8h
πŸ€–Paleographic ML
Capabilities of GPT-5 across critical domains: Is it the next breakthrough?
arxiv.orgΒ·1d
πŸ’»Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap