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
⚡ Dependent Rust
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
17866
posts in
198.7
ms
Efficient and
Adaptable
Detection of Malicious LLM Prompts via
Bootstrap
Aggregation
arxiv.org
·
14h
🧪
Binary Fuzzing
ArkEval
: Benchmarking and Evaluating Automated
CodeRepair
for ArkTS
arxiv.org
·
14h
📏
Code Metrics
Hoppscotch
Earns a 133 Proof of
Usefulness
Score by Building an Open-Source, Lightweight API Development Ecosystem
hackernoon.com
·
4d
🔓
Open Source Software
[Dev Weekly #97]
Astro
is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3
Codex
Just Dropped, and more
blog.codeminer42.com
·
4d
🔄
Language Evolution
How to write your first
obfuscator
of Java
Bytecode
blog.quarkslab.com
·
5d
📜
Proof Carrying Code
OpenClaw
’s Security
Nightmare
: Lessons in Agentic Engineering Era
dev.to
·
3d
·
Discuss:
DEV
🔓
Hacking
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
5d
⚡
Proof Automation
AI
Slopageddon
and the OSS
Maintainers
redmonk.com
·
4d
🔄
Language Evolution
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🌊
Streaming Algorithms
Shebang
(
Unix
)
en.wikipedia.org
·
4d
📝
Shell Parsing
One Year of Using Go
rugu.dev
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
Advancing
the C language in today’s time means
improving
safety,
dev.to
·
3d
·
Discuss:
DEV
🔩
Systems Programming
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
5d
🔗
Topological Sorting
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
⚡
Performance Mythology
Tiny
Clippy
– A native Office Assistant built in Rust and
egui
github.com
·
3d
·
Discuss:
Hacker News
🔩
Systems Programming
Merkle
trees and build systems with
OSTree
and ninja
lwn.net
·
4d
·
Discuss:
Hacker News
🌳
Git Internals
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Using
Microvm.nix
to Sandbox
OpenClaw
buduroiu.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
❄️
Nixpkgs
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
4d
·
Discuss:
Hacker News
💻
Local LLMs
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
4d
·
Discuss:
Substack
⚙️
RISC-V Microcode
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