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
📝 Shell Parsing
Command Grammar, Pipeline Syntax, Bash AST, Shell Language Theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16779
posts in
1.95
s
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
1d
👑
Isabelle/HOL
TrapSuffix
: Proactive Defense Against Adversarial
Suffixes
in Jailbreaking
arxiv.org
·
1d
🧪
Binary Fuzzing
Synthesizing
scientific
literature
with retrieval-augmented language models
nature.com
·
4d
🔍
Information Retrieval
The
Mastering
Emacs
book
masteringemacs.org
·
5d
🧩
Shell Metaprogramming
From Automation to Infection (Part II): Reverse Shells, Semantic
Worms
, and Cognitive
Rootkits
in OpenClaw Skills
blog.virustotal.com
·
5d
·
Discuss:
blog.virustotal.com
🔓
Hacking
The
Importance
of
Prompts
in the AI Era (and Why Prompt Sharing Platforms Matter)
dev.to
·
2d
·
Discuss:
DEV
📟
CLI Design
Testing
CLIs
with
Scrut
cgamesplay.com
·
5d
·
Discuss:
Hacker News
🔍
Concolic Testing
Announcing
Command Book: A home for long-running terminal
commands
commandbookapp.com
·
5d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Hello Edge: Keyword
Spotting
on
Microcontrollers
dev.to
·
3d
·
Discuss:
DEV
🔢
Bitwise Algorithms
Testing can be
fun
, actually
giacomocavalieri.me
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧪
Binary Fuzzing
Tiny
Clippy
– A native Office Assistant built in Rust and
egui
github.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Automatic
Programming
Returns
cyber-omelette.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
,
r/programming
🏗️
Compiler Archaeology
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
Structured
outputs
on Amazon Bedrock:
Schema-compliant
AI responses
aws.amazon.com
·
3d
📋
Document Grammar
One Year of Using Go
rugu.dev
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Clankers
with
claws
world.hey.com
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
mkincl/mkincl
: A simple way to reuse
Makefiles
and scripts across multiple repositories
github.com
·
4d
·
Discuss:
Hacker News
📦
Package Managers
Token
Smuggling
:How Non-Standard
Encoding
Bypass AI Security
instatunnel.my
·
4d
·
Discuss:
Hacker News
,
r/programming
🧪
Binary Fuzzing
Loading...
Loading more...
« Page 10
•
Page 12 »
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