🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Proof Assistants
Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
[$] 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...
« Page 17
•
Page 19 »