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
🐛 Debuggers
GDB, Breakpoints, Stack Traces, Memory Inspection
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81804
posts in
279.4
ms
Tip of the Week #165: <code>if</code> and <code>switch</code>
statements
with
initializers
abseil.io
·
2d
💻
C programming
Tip of the Week #130:
Namespace
Naming
abseil.io
·
2d
💻
C programming
SHOW HN:
Notepad
++ Vulnerability
Checker
github.com
·
5d
·
Discuss:
Hacker News
💻
C programming
Abstract Framework for All-Path
Reachability
Analysis
arxiv.org
·
4d
💻
C programming
Learning to Repair
Lean
Proofs
from Compiler Feedback
arxiv.org
·
5d
💻
C programming
I
outperformed
Enterprise
Engines
by 225,000x on a $50 CPU. Here is the data
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🔌
Electronics
Software • Re: Memory manager
EMM386
problems (
previously
working config)
vogons.org
·
6d
🔌
Electronics
Confused
about Go's escape analysis for
dynamically-sized
values, my test shows they don't escape
go.dev
·
6d
·
Discuss:
r/golang
💻
C programming
SnapPoint
: A Hard
Reset
for Your Dev Machine
github.com
·
6d
·
Discuss:
DEV
📰
Current events
Moving from
Process
to
Subprocess
troz.net
·
6d
💻
C programming
Verifying
coding
AIs
for LLM powered software
aunhumano.com
·
6d
·
Discuss:
Hacker News
💻
C programming
Queue
monitoring that
catches
issues early
queuedash.com
·
6d
·
Discuss:
Hacker News
📰
Current events
Everybody
Tests
focused.io
·
6d
·
Discuss:
Hacker News
🔌
Electronics
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🔌
Electronics
**Abstract:** This research introduces a novel framework for automated verification of formal software
specifications
, addressing the
limitations
of existing...
freederia.com
·
5d
🔌
Electronics
Linux as daily driver, three months in by
Ben
Overmyer
benovermyer.com
·
6d
·
Discuss:
Hacker News
🔌
Electronics
Auditing
Outline.
Firsthand
lessons from comparing manual testing and AI security platforms
blog.doyensec.com
·
6d
📰
Current events
AI Coding, Rust, and the Linux Security
Tradeoffs
We Have to
Manage
linuxsecurity.com
·
6d
💻
C programming
Rust
Coreutils
0.6 Brings Increased Compatibility, Removing Some Unsafe Code & More
Perf
phoronix.com
·
1w
💻
C programming
Bjarne
’s Last
Stand
: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·
6d
·
Discuss:
Substack
,
r/cpp
💻
C programming
Loading...
Loading more...
« Page 11
•
Page 13 »
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