Static Analysis

Feeds to Scour
SubscribedAll
Scoured 300 posts in 5.4 ms

We Cut Semgrep's Taint Analysis Time by 75%

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

Show HN: Ext-Infer

 λFunctional Programming
infer.displace.tech··Hacker News

When Do Data-Driven Systems Exhibit the Capability to Infer?

 🤖AI  Content type: Academic
arxiv.org·

I've Joined OpenAI, fwd:cloudsec, AWS Well Architected Supply Chain Security

 💻Programming
tldrsec.com·

RegVelo: Gene-regulatory-informed dynamics of single cells

 📈Incremental Computation
cell.com·

The Integrity Graph: The Missing Layer In Your AI Visibility Audit via @sejournal, @billhunt

 🔢Linear Types
searchenginejournal.com·

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

 🏗️Language Design  Content type: Code
github.com··Hacker News

When AI Reads the Docs: What SimpliSafe’s Update Instructions Reveal About AI-Readiness

 🔗Dependent Types  Content type: News
thecontentwrangler.com
·

ANCHOR: haplotype-aware allelic and isoform inference from single-cell long-read RNA sequencing with de novo variant calling

 🤖AI  Content type: Academic
biorxiv.org·

Essential Cybersecurity Tools Every Developer Should Use in 2026

 🏗️Language Design
thecrazyprogrammer.com·

Can You Infer the Color of Your Hat?

 λFunctional Programming  Content type: News  Content type: Blog
thefiddler.substack.com
··Substack

Cleaner AI training data, fewer bugs: Sonar’s SonarSweep explained

 🏗️Language Design
thenewstack.io·

Malware ships with bugs that defenders could use against it

 🏗️Language Design
helpnetsecurity.com·

I find a programming language that might fix JavaScript? What do you think

 ⏱️Tokio
havran.dev··r/AskProgramming

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

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

Replaying germinal center evolution on a quantified affinity landscape

 🏞️Region-based Memory  Content type: Academic
sciencedirect.com·

Giulio Zausa's MMO-CHIP Makes Reverse Engineering Old Silicon Chips a Multiplayer Game

 🏞️Region-based Memory  Content type: News
hackster.io··Hacker News

Neurosymbolic AI: fundamental learning for context engineering in computational linguistics

 🔢Linear Types  Content type: Academic
nature.com·

SAST vs SCA: Key Differences for AppSec Teams

 🏗️Language Design
orca.security·

From Gemini CLI to Antigravity CLI: Automated OWASP Security Compliance and Agentic Remediation in…

 🏗️Language Design  Content type: Blog
medium.com
·

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