Program Analysis

Feeds to Scour
SubscribedAll
Scoured 80 posts in 6.4 ms

Show HN: Typedframes – Pandas/polars column name checking at lint time

 🎲Fuzzing  Content type: Code
github.com··Hacker News

AI Doesn't Write Good Software: The Environment Does

 🤖Automated Testing
adrianferrera.dev
··Hacker News

Typed Translation Accessors in Laravel 13.15.0 - Laravel News

 🧪Property Testing
laravel-news.com·

Microsoft Restores Some GitHub Repos, Keeps Others Offline as Miasma Probe Continues

 🎲Fuzzing
thehackernews.com·

Meta Wired Face Recognition Into Always-On Glasses And Didn’t Tell You

 🎲Fuzzing  Content type: Blog
medium.com·

Show HN: Cost.dev (YC W21) – making agents cost-aware and 79% cheaper to call

 🧪Property Testing  Content type: Discussion
news.ycombinator.com··Hacker News

The SEI CERT Coding Standard for Fortran | CMU Software Engineering Institute

 ✅Formal Verification  Content type: Academic  Content type: Blog
sei.cmu.edu·

EIP-XXXX：Contract Role Semantics Standard

 ✅Formal Verification
ethereum-magicians.org·

Human Judgment as a Specification

 ✅Formal Verification  Content type: Blog
blog.brownplt.org·

Data-aware Static Analysis: Improving Detection of Semantic Faults in Machine Learning Code Using Data Characteristics

 🎲Fuzzing  Content type: Academic
arxiv.org·
Less-relevant results

MS Open Source Tools Hacked 🔓, Cursor Sandbox Escape 💻, Dashlane Vaults Stolen 🔑

 🎲Fuzzing
tldr.tech·

Testing a Security Tool Like It Can Hurt People

 🎲Fuzzing  Content type: Blog
emphere.com··r/devops

Shai-Hulud copycat campaign targets Python developers through PyPI typosquatting

 🎲Fuzzing  Content type: Blog
about.gitlab.com·

How Far Can AI Self-Validate Rails Code? - The Miners

 🤖Automated Testing  Content type: Blog
blog.codeminer42.com·

I built a static analysis tool in pure C that traces data access through function call chains, need feedback

 🎲Fuzzing  Content type: Code
github.com··r/C_Programming

Claude Mythos Glasswing: Why AI Vuln Discovery Terrifies Me

 🤖Automated Testing  Content type: Blog  Content type: Discussion
tildalice.io·

ToxicSkills Revisit: Loch Ness Levels of Mythical AI Risk

 🎲Fuzzing
flyingpenguin.com·

Enter the WasmForge: Compiling Sliver into WebAssembly

 🎲Fuzzing  Content type: Blog
praetorian.com··r/netsec

Medium Severity, Maximum Impact: How Attackers Learned to Game CVSS

 🎲Fuzzing
pathandpayload.com·

FusionVul: A Multimodal Feature Fusion Framework for Source Code Vulnerability Detection

 🎲Fuzzing  Content type: Academic
arxiv.org·
Sign up or log in to see more results
Sign UpLogin

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help