Static Analysis

Feeds to Scour
SubscribedAll
Scoured 297 posts in 9.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·

Essential Cybersecurity Tools Every Developer Should Use in 2026

 🏗️Language Design
thecrazyprogrammer.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
·

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

 🏗️Language Design
thenewstack.io·

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

 ⏱️Tokio
havran.dev··r/AskProgramming

Malware ships with bugs that defenders could use against it

 🏗️Language Design
helpnetsecurity.com·

Can You Infer the Color of Your Hat?

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

Waifu Wednesday: Evie from Stellar Blade BLOOD RAIN

 🤖AI
nichegamer.com·

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

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

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

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

Multimodal physical evidence uncovers interpretable gene regulatory networks for perturbation prediction

 🧩Monads  Content type: Academic
biorxiv.org·

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

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

Replaying germinal center evolution on a quantified affinity landscape

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

Neurosymbolic AI: fundamental learning for context engineering in computational linguistics

 🔢Linear Types  Content type: Academic
nature.com·

MMO-CHIP: From Microscope to Verilog in an hour

 ⏩SIMD  Content type: Video
media.ccc.de··Lobsters

Using AI Doesn’t Mean You Can Slack on Architecture

 🤖AI
spin.atomicobject.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