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
📏 Linear Logic
Resource Awareness, Session Types, Proof Nets, Substructural Logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
23841
posts in
1.34
s
Microsoft just built a
scanner
that exposes hidden LLM
backdoors
techradar.com
·
1d
🔍
NTLM Forensics
How
StrongDM
’s AI team build
serious
software without even looking at the code
jmason.ie
·
2d
⚔️
Lean Tactics
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Borrowing
Microsoft researchers
crack
AI
guardrails
with a single prompt
techradar.com
·
1d
💾
Persistence Strategies
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
3d
·
Discuss:
DEV
🧱
Immutable Infrastructure
Accelerating
mathematics
xenaproject.wordpress.com
·
2d
🔬
Lean
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
3d
·
Discuss:
DEV
🦀
Rust Macros
Infrastructure as Code in
Practice
: What It
Solves
— and What It Doesn’t
hackernoon.com
·
1d
🧱
Immutable Infrastructure
Profinite
trees, through
Lawvere
theories and the lambda-calculus
arxiv.org
·
1d
λ
Lambda Encodings
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
2d
🌐
WASI
HyPER: Bridging Exploration and
Exploitation
for Scalable LLM Reasoning with
Hypothesis
Path Expansion and Reduction
arxiv.org
·
2d
💻
Local LLMs
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
1d
·
Discuss:
Hacker News
⚡
Proof Automation
Vigil
Network: Information Architecture and Communication
Standards
stationeering.substack.com
·
1d
·
Discuss:
Substack
🎯
Threat Hunting
Adventures
in Neural
Rendering
interplayoflight.wordpress.com
·
1d
·
Discuss:
Hacker News
🧠
Neural Codecs
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
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
3d
·
Discuss:
Hacker News
🔗
Functional Compilers
EU AI Act
Compliance
for
Enterprise
AI Systems: What Your Engineering Team Needs to Build
medium.com
·
2d
·
Discuss:
Hacker News
⚖️
Legal Compliance
Testing 80 LLMs on
spatial
reasoning on
grids
mihai.page
·
3d
·
Discuss:
Hacker News
🧮
Prolog Parsing
A Language For Agents
lucumr.pocoo.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🗣️
Domain-Specific Languages
Ask HN: What
useful
knowledge
do you have that LLMs don't?
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧠
Personal Knowledge Base
Loading...
Loading more...
« Page 6
•
Page 8 »
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