🐿️ 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 Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Announcing Blackacre Labs
writing.kemitchell.com
·
1d
📡
RSS Automation
Security Product Efficacy
textslashplain.com
·
3d
🎯
Threat Hunting
I treated GPT as a prophet. It answered with a 740-page trilogy
scribd.com
·
2h
·
Discuss:
Hacker News
📄
PostScript
KPMG Wrote 100-Page Prompt To Build Agentic TaxBot
slashdot.org
·
1d
📐
Proof Assistants
Naming Things: The Most Underrated Skill in Software Development
andreacanton.dev
·
19h
·
Discuss:
Hacker News
🐚
Shell Calculus
10 Tips for Efficient Test Case Management in Agile Projects
dev.to
·
1h
·
Discuss:
DEV
🔍
Concolic Testing
Is Prompt Engineering Just Hype for Now?
dev.to
·
15h
·
Discuss:
DEV
🌊
Stream Processing
The AI Stack Paradox: Why Tool Polygamy Is Killing Your Build Velocity
zakelfassi.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
The 5 Reallys
alt.management
·
1d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN: MockinglyAI On-Demand AI Interviewer for System Design Mock Interviews
mockingly.ai
·
1d
·
Discuss:
Hacker News
🌐
WASI
Building Generative AI Applications with GitHub Models and .NET Aspire
milanjovanovic.tech
·
1d
·
Discuss:
Hacker News
🌀
Brotli Internals
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io
·
1d
·
Discuss:
Hacker News
📼
Tape Combinators
Asynchronous CLI Agents in GitHub Actions (Claude, Gemini, Opencode)
elite-ai-assisted-coding.dev
·
1d
·
Discuss:
Hacker News
🔓
Open Source Software
𝐁𝐞𝐲𝐨𝐧𝐝 𝐅𝐫𝐞𝐬𝐡𝐧𝐞𝐬𝐬: 𝐇𝐨𝐰 𝐭𝐨 𝐮𝐬𝐞 𝐒𝐞𝐚𝐫𝐜𝐡 𝐌𝐨𝐝𝐞𝐬 𝐢𝐧 𝐕𝐞𝐜𝐭𝐨𝐫 𝐃𝐚𝐭𝐚𝐛𝐚𝐬𝐞𝐬 (𝐰𝐢𝐭𝐡 𝐋𝐚𝐧𝐠𝐜𝐡𝐚𝐢𝐧)
dev.to
·
7h
·
Discuss:
DEV
🗂️
Vector Search
🚀 Learn Go with 13 Challenges: a practical journey to mastering the language
dev.to
·
1d
·
Discuss:
DEV
⚔️
Lean Tactics
Building a self-hosted, fast AI research agent using OpenAI and SerpApi
serpapi.com
·
5d
·
Discuss:
Hacker News
🤖
AI Curation
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com
·
2d
·
Discuss:
Hacker News
🗄️
Database Internals
the core of rust
jyn.dev
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/rust
🦀
Rust Macros
Show HN: Novel GPT-2 sampling and memory architecture
github.com
·
1d
·
Discuss:
Hacker News
💎
Information Crystallography
DevLog #1 - ValidateLite: Building a Zero-Config Data Validation Tool
dev.to
·
2d
·
Discuss:
DEV
✅
Archive Validation
Loading...
Loading more...
« Page 5
•
Page 7 »