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
gf256's Feed
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2574
posts in
556.5
ms
Loading...
Subscribe
LLMs versus the
Halting
Problem: Revisiting Program
Termination
Prediction
orensultan.com
·
4d
·
Discuss:
Hacker News
✅
Formal Methods
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
3d
·
Discuss:
Hacker News
🦀
Rust
What I
wish
I
knew
before building a vibe coding platform
imagine.dev
·
1d
·
Discuss:
Hacker News
🦀
Rust
I design with Claude more than
Figma
now
blog.janestreet.com
·
2d
·
Discuss:
Hacker News
🦀
Rust
“Quantum Twins”
Simulate
What
Supercomputers
Can’t
spectrum.ieee.org
·
2d
·
Discuss:
Hacker News
,
r/technews
🔒
Cryptography
Handling
the Dual-Write Problem in
Distributed
Systems
auth0.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
1d
·
Discuss:
Hacker News
🦀
Rust
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust
libfirm/cparser
: C99 parser and frontend for
libfirm
github.com
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
Anthropic
's Performance Take-Home: A 65x Optimization (For
Dummies
)
ikot.blog
·
4d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
qzxcvbn/Csa
: THE SOVEREIGN ACCESS CONSTANT (
CsaC
_{sa} Csa) A Universal Open Standard for Passwordless, Zero-Knowledge Internet & Device Authentication
github.com
·
2d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
Lessons from
securing
AI systems at runtime (agents,
MCPs
, LLMs)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔐
Zero-Knowledge Proofs
C Isn't A
Programming
Language
Anymore
faultlore.com
·
1d
·
Discuss:
Hacker News
✅
Formal Methods
Sidestepping
Evaluation Awareness and
Anticipating
Misalignment with Production Evaluations
alignment.openai.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
CodeShield
AI – Open-source security scanner (24% cheaper than
GitGuardian
)
lydiamorgan85.github.io
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
What's so great about Rust?
bitfieldconsulting.com
·
6d
·
Discuss:
Hacker News
🦀
Rust
AMD Finally Makes More Money On
GPUs
Than
CPUs
In A Quarter
nextplatform.com
·
3d
·
Discuss:
Hacker News
⚡
CUDA
Sign up or login to customize your feed and get personalized topic recommendations
Sign Up
Login
Modernizing
Linux
swapping
: the end of the swap map
lwn.net
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Simple LLM Native
Todo
System on
OpenCode
danielwkiwi.mataroa.blog
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
3d
·
Discuss:
Hacker News
,
r/programming
✅
Formal Methods
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