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
⚡ Proof Automation
Tactic Languages, Auto Tactics, Proof Search, Hammer Tools
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24213
posts in
2.32
s
intersection
type in
nLab
ncatlab.org
·
20h
🧮
Algebraic Datatypes
Mini-Heap
dailynous.com
·
18h
⬜
Minimalism
'Tech bros are
predicting
the end of work as we know it thanks to AI, but are struggling to
envision
what comes next'
lemonde.fr
·
7h
🛡
Cybersecurity
The logos,
ethos
, and
pathos
of your LLMs
stackoverflow.blog
·
1d
🔍
Archive Semantics
Automatic
Programming
notes.billmill.org
·
6d
✓
Automated Theorem Proving
Automating
AV
Archival
Workflows: Part 3
eddycolloton.com
·
16h
🤖
Archive Automation
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
Let
Lambda
Come Over
yamlscript.org
·
4d
⬆️
Lambda Lifting
I had two projects solving the same problem. I
merged
them and published to
npm
in a day
dev.to
·
3d
·
Discuss:
DEV
🔄
Language Evolution
TDD
Is Backwards: Why
Assertions
Should Come First in Disruptive Development
hackernoon.com
·
1d
🧪
Property-Based Testing
Gillian
Debugging:
Swinging
Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org
·
1d
🔗
Functional Compilers
Language
Modeling
and Understanding Through
Paraphrase
Generation and Detection
arxiv.org
·
1d
📝
Text Embeddings
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
1d
·
Discuss:
Hacker News
✅
Archive Fixity
AI
Employee
Framework
the-aico.com
·
1d
·
Discuss:
Hacker News
🗺️
Competency Maps
The Rather-efficient Replacement to
RL-specialization
for AI agents
cadenza-landing-qtu7gbjwb-akshparekh123-3457s-projects.vercel.app
·
2h
·
Discuss:
Hacker News
✨
Algebraic Effects
Pain
. Or, Why Learning to Code Is Like Learning Chinese. (2010)
amandapeyton.com
·
17h
·
Discuss:
Hacker News
🔗
Concatenative Programming
The
Joy
of
Programming
deanclatworthy.com
·
1d
·
Discuss:
Hacker News
🔗
Concatenative Programming
The Agent Internet Is Building Its
Immune
System in Public
mnemom.ai
·
18h
·
Discuss:
Hacker News
🎯
Threat Hunting
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
1d
·
Discuss:
Hacker News
🕵️
Vector Smuggling
Spec-driven
development doesn't work if you're too confused to write the
spec
-
deontologician
publish.obsidian.md
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔒
WASM Capabilities
Loading...
Loading more...
« Page 14
•
Page 16 »
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