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

Log Detective: GSoC 2025 (part 2)
danigm.net·1d
🔓Open Source Software
Securing Grafana and Prometheus with SSH tunnels instead of public ports
igorstechnoclub.com·2h·
Discuss: Hacker News
📦Container Security
How Many Paths of Length K Are There Between a and B?
horace.io·3d·
Discuss: Hacker News
🕸️Graph Algorithms
Show HN: Auto-Match – How We Built Receipt-to-Transaction Matching (Open Source)
midday.ai·1d·
Discuss: Hacker News
🔤EBCDIC Mining
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Checkpoints for Claude Code
apps.apple.com·7h·
Discuss: Hacker News
🚀Compiler Optimizations
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·3d
🌀Brotli Dictionary
Why AI Probably Won't Help Your Team Ship More Product
chaoticgood.management·1d·
Discuss: Hacker News
📏Code Metrics
New research reveals how university students are really using AI
the-independent.com·23h
🤖AI Curation
A beginner's guide to the Flux-Kontext-Max model by Black-Forest-Labs on Replicate
dev.to·1d·
Discuss: DEV
🎙️Whisper
Creating Wikipedia Search Embeddings with a Gaia Node
dev.to·2d·
Discuss: DEV
🏛Wikidata
The IRMA Dataset: A Structured Audio-MIDI Corpus for Iranian Classical Music
arxiv.org·8h
🎼Computational Musicology
Best AI Coding Assistants to Look Forward to in 2025
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Reasoning Steps as Curriculum: Using Depth of Thought as a Difficulty Signal for Tuning LLMs
arxiv.org·1d
🧮SMT Solvers
[D] Analyzed 402 healthcare ai repos and built the missing piece
reddit.com·1d·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Harnessing Receptor Kinase Dynamics for Predictive Self-Incompatibility Allele Pairing
dev.to·1h·
Discuss: DEV
💎Information Crystallography
Building Travel Lens AI: Image Analysis With Flask + Gemini on Google Cloud Shell
dev.to·11h·
Discuss: DEV
🌀Brotli Internals
Show HN: Prompttest – Pytest for LLMs
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·1d·
Discuss: DEV
⚙️Compression Benchmarking
A Dynamic Approach to Collaborative Document Writing
arxiv.org·2d
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap