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
🦀 Rust
Julia, Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
2588
posts in
33.0
ms
Unravel
Engine: Cross-Platform C++20 Game Engine with
Wysiwyg
Editor
github.com
·
11h
·
Discuss:
Hacker News
✅
Formal Methods
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
✅
Formal Methods
Type
Variance
en.wikipedia.org
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
Codex
Is a Surprisingly
Competent
Research Assistant
nicholasclark.org
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Clankers
with
Claws
world.hey.com
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
The ‘weird’ things that happened when
Clickhouse
replaced
C++ with Rust
thenewstack.io
·
4d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Testing can be
fun
, actually
giacomocavalieri.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
🐛
Vulnerability Research
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
4d
·
Discuss:
Hacker News
,
r/Compilers
📡
Side-Channel Attacks
RAG on
Ruby
on
Rails
jessewaites.com
·
3d
·
Discuss:
Hacker News
✅
Formal Methods
Tiny
Clippy
– A native Office Assistant built in Rust and
egui
github.com
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
✅
Formal Methods
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
4d
·
Discuss:
Hacker News
✅
Formal Methods
How to make a local open source AI chatbot who has access to
Fedora
documentation
fedoramagazine.org
·
3d
·
Discuss:
fedoramagazine.org
,
Hacker News
✅
Formal Methods
stdlib
v7.2
erlang.org
·
2d
·
Discuss:
Hacker News
✅
Formal Methods
Fresh: A
terminal
text
editor
you can just use
getfresh.dev
·
2d
·
Discuss:
Hacker News
🐛
Vulnerability Research
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
3d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
Forcing
Rust: How Big Tech
Lobbied
the Government into a Language Mandate
medium.com
·
4d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
No, Really, Bash Is Not Enough: Why Large-Scale CI Needs an
Orchestrator
- Ian
Duncan
iankduncan.com
·
2d
·
Discuss:
Hacker News
📡
Side-Channel Attacks
I Built a Claude Code
Plugin
That
Detects
and Blocks It Before Changes Happen
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🐛
Vulnerability Research
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
4d
·
Discuss:
Hacker News
✅
Formal Methods
Loading...
Loading more...
« Page 2
•
Page 4 »
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