EUNO.NEWS EUNO.NEWS
  • All (20931) +237
  • AI (3154) +13
  • DevOps (932) +6
  • Software (11018) +167
  • IT (5778) +50
  • Education (48)
  • Notice
  • All (20931) +237
    • AI (3154) +13
    • DevOps (932) +6
    • Software (11018) +167
    • IT (5778) +50
    • Education (48)
  • Notice
  • All (20931) +237
  • AI (3154) +13
  • DevOps (932) +6
  • Software (11018) +167
  • IT (5778) +50
  • Education (48)
  • Notice
Sources Tags Search
한국어 English 中文
  • 1 week ago · software

    ty: The Blazingly Fast Python Type Checker from Astral (Ruff & uv Creators)

    ty: The Blazingly Fast Python Type Checker from Astral Astral, the company behind popular Python tools like Ruffhttps://github.com/astral-sh/ruff and uvhttps:/...

    #python #type-checking #static analysis #ty #ruff #uv #rust #performance #IDE integration #VS Code
  • 2 weeks ago · software

    Xr0 verifier, guarantee the safety of C programs at compile time

    Article URL: https://xr0.dev Comments URL: https://news.ycombinator.com/item?id=46479673 Points: 14 Comments: 2...

    #C programming #static analysis #compile-time verification #memory safety #formal verification #Xr0 #software security
  • 2 weeks ago · software

    The Cost of Relying Only on Static Code Review

    What Is Static Code Review? Static code review is the process of analyzing source code without executing it. The goal is to identify issues by inspecting the s...

    #static analysis #code review #software engineering #code quality #security #automation
  • 2 weeks ago · software

    The Compiler Is Your Best Friend, Stop Lying to It

    Article URL: https://blog.daniel-beskin.com/2025-12-22-the-compiler-is-your-best-friend-stop-lying-to-it Comments URL: https://news.ycombinator.com/item?id=4644...

    #compiler #code optimization #programming best practices #static analysis #software development
  • 2 weeks ago · software

    What Your Flutter App Leaks After Release (And How to Catch It Before Launch)

    !Cover image for What Your Flutter App Leaks After Release And How to Catch It Before Launchhttps://media2.dev.to/dynamic/image/width=1000,height=420,fit=cover,...

    #flutter #mobile security #firebase #hardcoded secrets #static analysis #app release #debugging #security best practices
  • 3 weeks ago · software

    I wrote a Vibe Check for your code (Runs on a Potato 🥔)

    You know that feeling when you push code at 3 AM and you’re pretty sure you left a // FIXME: somewhere? Yeah. We all do. VibeCheck is a high‑performance Zig CLI...

    #Zig #CLI tool #static binary #code scanning #TODO detection #hardcoded secrets #debug prints #developer tooling #static analysis #VibeCheck
  • 3 weeks ago · software

    Solved: I analyzed 10k+ WordPress plugins for security issues, errors, and warnings.

    markdown !Cover image for Solved: I analyzed 10k+ WordPress plugins for security issues, errors, and warnings.https://media2.dev.to/dynamic/image/width=1000,hei...

    #WordPress #plugins #security #vulnerabilities #static analysis #PHP #code quality #error detection
  • 3 weeks ago · software

    Knip: The Ultimate Dead Code Detector for JavaScript & TypeScript Projects

    Stop shipping unused code. Your bundle and team will thank you. The Problem: Dead Code is Everywhere Every mature codebase has a dirty secret: dead code. The u...

    #dead code detection #static analysis #JavaScript #TypeScript #Knip #code cleanup #bundle size #linting
  • 1 month ago · software

    Your ESLint Security Plugin is Missing 80% of Vulnerabilities (I Have Proof)

    Benchmarking ESLint Security Plugins I ran a rigorous benchmark comparing the two major ESLint security plugins. This article covers the full methodology, test...

    #eslint #security #static-analysis #vulnerability-detection #benchmark #javascript #plugins
  • 1 month ago · software

    CodeQL 2.23.7 and 2.23.8 add security queries for Go and Rust

    CodeQL is the static analysis engine behind GitHub’s Code Scanninghttps://docs.github.com/code-security/code-scanning/introduction-to-code-scanning/about-code-s...

    #codeql #static-analysis #security-queries #go #rust
  • 1 month ago · software

    PHP Killed Dynamic Properties. Here's Why (And What to Do)

    Starting with PHP 8.2, dynamic properties are deprecated and will be removed in PHP 9.0. If you see deprecation warnings in Laravel 11 projects, this guide expl...

    #php #dynamic-properties #deprecation #php-8.2 #php-9.0 #laravel #type-safety #static-analysis
  • 1 month ago · software

    Dafny: Verification-Aware Programming Language

    Article URL: https://dafny.org/ Comments URL: https://news.ycombinator.com/item?id=46295792 Points: 9 Comments: 1...

    #Dafny #program verification #formal methods #static analysis #programming languages

Newer posts

Older posts
EUNO.NEWS
RSS GitHub © 2026