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
292.6
ms
Metasploit
Wrap-Up
02/06/2026
rapid7.com
·
3d
🛡️
eBPF Security
Semantically
Labelled Automata for Multi-Task Reinforcement Learning with
LTL
Instructions
arxiv.org
·
1d
⏰
Temporal Logic
The proof theory and
semantics
of second-order (
intuitionistic
) tense logic
arxiv.org
·
1d
👑
Isabelle/HOL
Automatic
Programming
notes.billmill.org
·
5d
⚡
Proof Automation
There is a Lot of Knowledge and Wisdom Packed Into
Speakeasy
's Agent Skills by The API
Evangelist
apievangelist.com
·
4d
🎙️
Whisper
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
JLW-7/Wally
: Cute little voice assistant built on ESP32 to help users with reminders, productivity, and daily conversations.
github.com
·
2d
·
Discuss:
Hacker News
🎙️
Whisper
Profiling
Swift Applications on Windows and macOS with
Tracy
compositorapp.com
·
3d
·
Discuss:
Hacker News
🦀
Rust Macros
C Isn't A
Programming
Language
Anymore
faultlore.com
·
4d
·
Discuss:
Hacker News
🔩
Systems Programming
ClawHavoc
: 341 Malicious
Clawed
Skills Found by the Bot They Were Targeting
koi.ai
·
4d
·
Discuss:
Hacker News
📟
Terminal Forensics
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
4d
·
Discuss:
Hacker News
🌳
Incremental Parsing
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🦀
Rusty Databases
A Guide to building Advanced
RAGs
🏗️
dev.to
·
3d
·
Discuss:
DEV
⚙️
Build Archaeology
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
6d
·
Discuss:
Hacker News
💧
Liquid Types
From
CLI
to GitHub
Bot
: Building a Code Management AI for Python
dev.to
·
3d
·
Discuss:
DEV
🔗
Topological Sorting
Testing
CLIs
with
Scrut
cgamesplay.com
·
5d
·
Discuss:
Hacker News
🔍
Concolic Testing
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically
Raft
, using Lean 4 and
dependen
...
freederia.com
·
3d
🤝
Consensus Protocols
https://www.cl.cam.ac.uk/~
mgk25/ucs/examples/UTF-8-test.txt
cl.cam.ac.uk
·
3d
🔤
Character Encoding
Bui – TUI for
painless
Bubblewrap
sandboxing
smaller.fish
·
4d
·
Discuss:
Hacker News
🌐
WASI
Loading...
Loading more...
« Page 9
•
Page 11 »
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