Static Analysis

Feeds to Scour
SubscribedAll
Scoured 108 posts in 7.7 ms

Are We Lost in the Woods? Detecting Silent Semantic Faults for Random Forest Classifiers with Data-informed Static Analysis

 💻programming  Content type: Academic
arxiv.org·

Getting agents to code less slop

 💻programming  Content type: Blog
thempatel.com··Hacker News
Less-relevant results

Making Semgrep rip: How Ripgrep inspired us to shave hours off (some) scans

 λFunctional Programming  Content type: Blog
semgrep.dev··Hacker News

How we made the world's fastest spreadsheet even faster

 🔢Numerical Methods  Content type: Blog
rowzero.com·

AI industry leaders urge Congress to regulate synthetic DNA to prevent bioweapons

 λFunctional Programming
4sysops.com·

Devs know AI code is riddled with holes, but ship it anyway

 💻programming  Content type: News

Zcash teams propose Ironwood pool to restore supply verification after Orchard flaw

 💣Binary Exploitation
cointelegraph.com·

Cisco’s Mythos Post Throws Anthropic Under the Bus

 🕸️Graph Theory
flyingpenguin.com·

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

 💻programming  Content type: Code
github.com··Hacker News

NFCShare Android malware spreads via fake banking app updates on GitHub

 💣Binary Exploitation  Content type: News
bleepingcomputer.com·

Why The New York Times Is Wholly Responsible for Bari Weiss’s Rise

 💣Binary Exploitation
newrepublic.com·

Typed Translation Accessors in Laravel 13.15.0 - Laravel News

 λFunctional Programming
laravel-news.com·

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

 🏗️Design Patterns
safebots.ai··Hacker News

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

 💣Binary Exploitation
thehackernews.com·

[eCHO News] Episode #102: Hardening eBPF for Security. DSR with Cilium

 💣Binary Exploitation

View from Bangladesh: India forcing people across the border is becoming a test of ties

 💣Binary Exploitation  Content type: News
scroll.in·

Secure Code Warrior Leverages AI Extend DevSecOps Training Reach

 λFunctional Programming
devops.com·

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

 💻programming  Content type: Academic  Content type: Blog
sei.cmu.edu·

EIP-XXXX:Contract Role Semantics Standard

 🏗️Design Patterns

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

 🌳Red-Black Trees  Content type: Blog
medium.com·
Sign up or log in to see more results

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