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

[$] Supporting kernel development with large language models
lwn.net·2d
💻Local LLMs
Make AI a Pro Translator in Any Language
cnelecar.com·1d·
Discuss: Hacker News
🎙️Whisper
A brief introduction to MCP server performance optimization
catchmetrics.io·11h·
Discuss: Hacker News
👁️Observatory Systems
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·4d·
Discuss: Hacker News
💻Local LLMs
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Coccinelle for Rust progress report (Collabora blog)
lwn.net·2d
🦀Rust Borrowing
I Built a Fun Airport Code Quiz Using AI Tools — No Code Background, Just Curiosity ✈️
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
PsyLite Technical Report
arxiv.org·1d
📄Document Digitization
Beginner to Pro: Master Python Lists, Tuples, Sets, and Dictionaries Step-by-Step
dev.to·17h·
Discuss: DEV
🌳Trie Structures
Our Coding Adventure: Using LLMs to Personalise the Narrative of a Tangible Programming Robot for Preschoolers
arxiv.org·1d
🎙️Whisper
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.org·2d
📐Error Bounds
Comparing Qodo and GitHub Copilot 🕵️
dev.to·2d·
Discuss: DEV
📏Code Metrics
Blackbox AI — For Real
dev.to·5h·
Discuss: DEV
🌐WASI
Effective Agent Instruction
dev.to·3d·
Discuss: DEV
⚡Proof Automation
HarmonyOS Development: The first article on the application shelf, generating key and certificate request files
dev.to·22h·
Discuss: DEV
🔌Operating system internals
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·2d
⚙️Compression Benchmarking
Single Core Hundred Thousand Concurrency(1750947668443300)
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Juris: The Framework That Scales From Beginner to Expert Developer
dev.to·2d·
Discuss: DEV
⚡Effectful Programming
Machine Learning Fundamentals: accuracy with python
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
The SaaS Paradox and the Future of Software Delivery
dev.to·2h·
Discuss: DEV
🔌Interface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap