Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Language Design
🏗️ Language Design
Syntax Evolution, Type Systems, Ergonomics, Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
104
posts in
7.1
ms
Devs know AI code is riddled with holes, but ship it anyway
⚖️
Invariants
Content type:
News
theregister.com
·
2d
2 days ago
·
Hacker News
Actions for Devs know AI code is riddled with holes, but ship it anyway
Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
🔑
Capability-based Security
safebots.ai
·
6d
6 days ago
·
Hacker News
Actions for Worried about Recursive Self-Improvement (RSI)? The answer might be CDE
From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…
🔍
Static Analysis
Content type:
Blog
medium.com
·
1d
1 day ago
Actions for From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…
Extending LLVM's BOLT-based Binary
Analyser
to Validate Stack Variable Initialisation
🏗️
Compiler Design
Content type:
Blog
blog.quarkslab.com
·
2d
2 days ago
Actions for Extending LLVM's BOLT-based Binary Analyser to Validate Stack Variable Initialisation
Typed
Translation Accessors in Laravel 13.15.0 - Laravel News
📏
LinearTypes
laravel-news.com
·
1d
1 day ago
Actions for Typed Translation Accessors in Laravel 13.15.0 - Laravel News
0059: NYC and SF?
🔢
Linear Types
scattered-thoughts.net
·
6d
6 days ago
Actions for 0059: NYC and SF?
NFCShare Android malware spreads via fake banking app updates on GitHub
🔍
Static Analysis
Content type:
News
bleepingcomputer.com
·
2d
2 days ago
Actions for NFCShare Android malware spreads via fake banking app updates on GitHub
Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
⚙️
Systems Programming
Content type:
Blog
Content type:
Discussion
serokell.io
·
3d
3 days ago
Actions for Rust, C++, and the Tradeoffs Behind Safe Low-Level Code: interview with Nikita Lisitsa
Rust on the Rise; Python in Decline?
🔢
Linear Types
i-programmer.info
·
1d
1 day ago
Actions for Rust on the Rise; Python in Decline?
AI Doesn't Write Good Software: The Environment Does
⚙️
CompTime
adrianferrera.dev
·
5d
5 days ago
·
Hacker News
Actions for AI Doesn't Write Good Software: The Environment Does
Modern C++ Support in CLion: What’s New | The CLion Blog
💻
Programming
Content type:
Blog
blog.jetbrains.com
·
1d
1 day ago
Actions for Modern C++ Support in CLion: What’s New | The CLion Blog
Meta
Wired Face Recognition Into Always-On Glasses And Didn’t Tell You
🎮
ECS
Content type:
Blog
medium.com
·
4d
4 days ago
Actions for Meta Wired Face Recognition Into Always-On Glasses And Didn’t Tell You
EIP-XXXX：Contract Role
Semantics
Standard
🔑
Capability-based Security
ethereum-magicians.org
·
1d
1 day ago
Actions for EIP-XXXX：Contract Role Semantics Standard
Data-aware
Static
Analysis
: Improving Detection of Semantic Faults in Machine Learning Code Using
Data
Characteristics
🔍
Static Analysis
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics
Secure Code Warrior Leverages AI Extend DevSecOps Training Reach
🔍
Static Analysis
devops.com
·
6d
6 days ago
Actions for Secure Code Warrior Leverages AI Extend DevSecOps Training Reach
Microsoft Restores Some GitHub Repos, Keeps Others Offline as Miasma Probe Continues
⚙️
CompTime
thehackernews.com
·
1d
1 day ago
Actions for Microsoft Restores Some GitHub Repos, Keeps Others Offline as Miasma Probe Continues
[eCHO News] Episode #102: Hardening eBPF for Security. DSR with Cilium
⚙️
Systems Programming
isovalent-9197153.hs-sites.com
·
5d
5 days ago
Actions for [eCHO News] Episode #102: Hardening eBPF for Security. DSR with Cilium
The SEI CERT Coding Standard for Fortran | CMU Software
Engineering
Institute
🧹
Memory Management
Content type:
Academic
Content type:
Blog
sei.cmu.edu
·
2d
2 days ago
Actions for The SEI CERT Coding Standard for Fortran | CMU Software Engineering Institute
Show HN:
Typedframes
– Pandas/polars column name
checking
at lint time
🔍
Static Analysis
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for Show HN: Typedframes – Pandas/polars column name checking at lint time
Validate and Transform Your
Data
with Schematic
λ
Functional Programming
mitchellhanberg.com
·
5d
5 days ago
Actions for Validate and Transform Your Data with Schematic
Sign up or log in to see more results
Sign Up
Login
« Page 2
Log in to enable infinite scrolling
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
Save / unsave
s
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