๐ฟ๏ธ 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
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com
ยท
1d
๐
Tailscale
There Has Never Been a Better Time to Be a Junior Dev โ It Won't Last Forever
aaronstannard.com
ยท
1d
ยท
Discuss:
Hacker News
๐
Code Metrics
KPMG Wrote 100-Page Prompt To Build Agentic TaxBot
slashdot.org
ยท
1d
๐
Proof Assistants
Optimizing FizzBuzz in Rust
github.com
ยท
10h
ยท
Discuss:
Lobsters
,
Hacker News
๐งช
Binary Fuzzing
Dissecting Tool-Integrated Reasoning: An Empirical Study and Analysis
arxiv.org
ยท
2d
๐
Constraint Handling
Naming Things: The Most Underrated Skill in Software Development
andreacanton.dev
ยท
13h
ยท
Discuss:
Hacker News
๐
Shell Calculus
AI as a Co-pilot for Developers: Boosting Productivity Without Losing Control
blog.devops.dev
ยท
1d
๐
Language Evolution
You Can Build Better AI Agents in Java Than Python
medium.com
ยท
3d
ยท
Discuss:
Hacker News
โ๏ธ
Lean Tactics
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com
ยท
23h
ยท
Discuss:
Hacker News
๐
Burrows-Wheeler
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io
ยท
1d
ยท
Discuss:
Hacker News
โก
Dependent Rust
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
vibe.forem.com
ยท
3d
ยท
Discuss:
DEV
๐ฆ
Rust Macros
Is Prompt Engineering Just Hype for Now?
dev.to
ยท
10h
ยท
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
ยท
19h
ยท
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
ยท
2h
ยท
Discuss:
DEV
๐๏ธ
Vector Search
๐ Learn Go with 13 Challenges: a practical journey to mastering the language
dev.to
ยท
1d
ยท
Discuss:
DEV
โ๏ธ
Lean Tactics
Loading...
Loading more...
« Page 4
โข
Page 6 »