🔍 Static Analysis - jinkai_lau · Scour

LukeSchoen/CPrime: Fast C compiler with essential C++ features like constructors, class-templates, overloads, etc 🗣️New Languages

github.com·23h·r/cpp

No-Node Native Apps, Sub-Millisecond Text Math, and Sending 3,000 Lines of C++ to Valhalla 🛠️Developer Experience

thereactnativerewind.com·2d·r/reactjs

NestJS v12 Roadmap: Full ESM Migration, Standard Schema Validation and Modernised Toolchain ✅Dev Best Practices

How to Apply STRIDE Threat Modeling and SonarQube Analysis for Secure Software Development ✅Dev Best Practices

freecodecamp.org·2d

Online CSS Code Quality Analyzer ✅Dev Best Practices

projectwallace.com·4d

People Are Selling Kills of Marathon’s Hardest Boss on eBay 🔐Supply Chain Security

404media.co·11h

GCC 16's Improved Error Messages, Experimental HTML Output 🗣️New Languages

phoronix.com·2d

FMCSA Tightens Clearinghouse Verification to Strengthen Driver Records 🔐Supply Chain Security

metro-magazine.com·8h

Great Paper: The Calculated Typer – Iowa Type Theory Commute Podcast S7 E6 🔤Type Systems

pocketcasts.com·2d·Hacker News

Antithesis BugBash Conference 2026 🕸️Distributed Systems

emptysqua.re·5d

Assuring Comprehensive Security Coverage In Hardware Design 🔬eBPF

semiengineering.com·1d

The US Senate Judiciary Committee unanimously endorses a bipartisan child safety bill requiring AI companies like OpenAI and Meta to implement age verification ... 🤖AI Engineering

techmeme.com·8h

Two AIs, One PR: Adversarial Code Review with LLMs ✅Dev Best Practices

p.agnihotry.com·6d·Hacker News

Leveraging Agentic AI Techniques to Improve Formal Verification (Infineon, et al.) ✅Formal Verification

semiengineering.com·2d

Roblox announces control measures to comply with Indonesia's social media curb ⚙️MLOps

channelnewsasia.com·15h

No branch visits: How to open a demat account online in India 🔒Zero Trust

yourstory.com·15h

0.16 sanitizer flags linux ✅Dev Best Practices

Introducing AMS: Activation-based model scanner for open-weight LLM safety verification ⚙️MLOps

opensource.googleblog.com·3d·Blogger

Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) ✅Formal Verification

I built a tool that turns your GitHub Repo into a town 🌐Open Source

legacylens.iryna.online·2d·DEV

Sign up or log in to see more results

Log in to enable infinite scrolling