🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Numeri
irreal.org
·
9m
📝
Concrete Syntax
Certified Asterisk Security Release certified-18.9-cert17
seclists.org
·
1d
🔐
Certificate Analysis
How to train your Dragon^H^H AI overlord
virtuallyfun.com
·
4d
🧲
RISC-V Archaeology
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com
·
1d
·
Discuss:
Hacker News
⚡
Homebrew CPUs
Write Your Own Retro Compiler
t3x.org
·
4d
·
Discuss:
Hacker News
⚙️
PL Implementation
A polyglot's guide to multiple-dispatch
eli.thegreenplace.net
·
3d
·
Discuss:
Hacker News
🔄
Lens Laws
Using Git to Manage TODOs
jezenthomas.com
·
2d
·
Discuss:
Hacker News
🌿
git
False Confidence
theaiunderwriter.substack.com
·
1d
·
Discuss:
Substack
💻
Local LLMs
Ask HN: How do you manage docs for AI coding agents without bloating repos?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🤖
Archive Automation
The Last Programmers
xipu.li
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔄
Language Evolution
GenAI has limited engineer productivity impact (case study)
techblog.cloudkitchens.com
·
23h
·
Discuss:
Hacker News
📏
Code Metrics
JoPA:Explaining Large Language Model's Generation via Joint Prompt Attribution
arxiv.org
·
11h
🤖
Grammar Induction
MCP & API: Are they Two Sides of the Same Coin, or Worlds Apart?
dev.to
·
1d
·
Discuss:
DEV
🔌
Interface Evolution
VLMs-in-the-Wild: Bridging the Gap Between Academic Benchmarks and Enterprise Reality
arxiv.org
·
11h
🤖
Advanced OCR
Build, Run, Chat: Creating a Self-Hosted LLM Setup
dev.to
·
7h
·
Discuss:
DEV
🏠
HomeLab
From Chart Ideas to Live Bots: A Developer’s Guide to Building Real Trading Automation
dev.to
·
1d
·
Discuss:
DEV
⚡
Proof Automation
The Go Paradox: Why Fewer Features Create a Better Language for Senior Developers
dev.to
·
3d
·
Discuss:
DEV
💻
Programming languages
Did you know about this new feature in Github copilot ?
dev.to
·
4h
·
Discuss:
DEV
🔓
Open Source Software
A multi-strategy improved gazelle optimization algorithm for solving numerical optimization and engineering applications
arxiv.org
·
11h
⚡
Incremental Computation
Tracking AI system performance using AI Evaluation Reports
dev.to
·
19h
·
Discuss:
DEV
👁️
System Observability
Loading...
Loading more...
« Page 19
•
Page 21 »