Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚔️ Lean Tactics
Interactive Proving, Tactic Composition, Proof Automation, Mathlib
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23075
posts in
205.1
ms
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
10h
🐚
Shell Combinators
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
2d
📏
Code Metrics
Proving Grounds Linux Box
Extplorer
( Road to
OSCP
)
infosecwriteups.com
·
1d
🏠
Homelab Pentesting
Deploying
Rust to production
checklist
kerkour.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Garnix
Blog:
Forwardly-evaluated
build systems
garnix.io
·
21h
·
Discuss:
Lobsters
❄️
Nix Flakes
TDD
Is Backwards: Why
Assertions
Should Come First in Disruptive Development
hackernoon.com
·
2d
🧪
Property-Based Testing
The Next Great Engineering
Frontier
: The Hidden
Complexity
of Physical AI
hackernoon.com
·
1d
🧠
Intelligence Compression
Build a
Compiler
in Five Projects
kmicinski.com
·
4d
🔨
Compilers
Focus Session:
LLM4PQC
-- An Agentic Framework for Accurate and Efficient Synthesis of
PQC
Cores
arxiv.org
·
1d
🔧
Hardware Verification
RuleFlow
: Generating Reusable Program
Optimizations
with LLMs
arxiv.org
·
1d
🏗️
Compiler Archaeology
Staying
on Top in the Age of LLMs
andrasgerlits.medium.com
·
2h
·
Discuss:
Hacker News
,
r/programming
💻
Local LLMs
The tools
changed
because the job
changed
sjdonado.com
·
2h
·
Discuss:
Hacker News
🔄
Language Evolution
Building
DamN64
: LLM-Assisted
N64
Development
vieux.fr
·
13h
·
Discuss:
Hacker News
🎮
Game Decompilation
Tool
Shaped
Objects
minutes.substack.com
·
7h
·
Discuss:
Substack
⚡
Proof Automation
AGI
v1.0 Will Be
Harness
and Skills
languageops.com
·
21h
·
Discuss:
Hacker News
🔐
Capability Systems
Recursive
self-improvement
from AI models
marginalrevolution.com
·
1d
·
Discuss:
Hacker News
⚡
Incremental Computation
The Real
Bottleneck
: Why
Faster
Coding Doesn't Speed Up Projects
heise.de
·
18h
·
Discuss:
Hacker News
📏
Code Metrics
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
Harness
engineering: leveraging
Codex
in an agent-first world
openai.com
·
23h
·
Discuss:
Hacker News
,
r/programming
📚
MARC Evolution
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
2d
·
Discuss:
Hacker News
⚡
Incremental Computation
Loading...
Loading more...
« Page 5
•
Page 7 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help