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
⬌ Bidirectional Typing
Type Inference, Elaboration, Synthesis, Checking Modes
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23074
posts in
271.9
ms
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
⚙️
TLA+
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
4d
·
Discuss:
DEV
🦀
Rust Macros
Zero-Trust Data
Warehousing
for Agentic AI: Why
Trusting
the Pipeline No Longer Scales
hackernoon.com
·
2d
⚙️
Batch Processing
Build a
Compiler
in Five Projects
kmicinski.com
·
5d
🔨
Compilers
Rethinking Scientific Modeling: Toward Physically Consistent and
Simulation-Executable
Programmatic
Generation
arxiv.org
·
2d
⚡
Incremental Computation
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem
Proving
on
seL4
arxiv.org
·
2d
✅
Formal Methods
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
2d
·
Discuss:
Hacker News
🌐
DNS Security
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
5d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
2d
·
Discuss:
Hacker News
🕵️
Vector Smuggling
Relay
Lang –
Async
first programming language
harrisonerd.com
·
2d
·
Discuss:
Hacker News
🌐
Protocol Synthesis
Let Your Agents
Instantly
Understand Any Git
Repo
instagit.com
·
3d
·
Discuss:
Hacker News
⚡
Proof Automation
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
6d
·
Discuss:
Hacker News
🐚
Shell Monads
The Potential of
RLMs
dbreunig.com
·
2d
·
Discuss:
Hacker News
📏
Linear Logic
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
6d
·
Discuss:
Hacker News
🎯
Gradual Typing
Hello
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🔗
Concatenative Languages
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
3d
·
Discuss:
Hacker News
,
r/programming
🔓
Password Cracking
The cost of a
function
call
lemire.me
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔗
Concatenative Programming
Vibe
Coding
tosbourn.com
·
2d
·
Discuss:
Hacker News
📏
Code Metrics
CSCI
49201 - Functional Programming in
OCaml
a-nikolaev.github.io
·
6d
·
Discuss:
Hacker News
🧬
Functional Programming
Type
Variance
en.wikipedia.org
·
6d
·
Discuss:
Hacker News
🧮
Algebraic Datatypes
Loading...
Loading more...
« Page 9
•
Page 11 »
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