Trending

Evaluating the Effectiveness of Memory Safety Sanitizers

Unexpected security footguns in Go's parsers

ChatGPT is my static site generator

Automated Verification of Monotonic Data Structure Traversals in C

Designing type inference for high quality type errors

The Teal Programming Language

Detecting if an expression is constant in C

Static as a Server

Ty: A fast Python type checker and language server, written in Rust

Blinter The Linter - A Cross Platform Batch Script Linter

Blinter The Linter - A Cross Platform Batch Script Linter

These Python Type Hints Usage Are Too Complicated and Not Worth It

Borrow checking, RC, GC, and the Eleven (!) Other Memory Safety Approaches

Type Stubs and Typeshed in Python: A Developer’s Guide

Anyone else try preq for reliability scanning?

Glean is great for docs but terrible for actual system understanding, static analysis is tried and tested

Unexpected security footguns in Go's parsers

Statically and dynamically linked Go binaries

python

Save item

mypy

Optional static typing for Python

gitleaks

Save item

gitleaks

Find secrets with Gitleaks 🔑

rubocop

Save item

rubocop

A Ruby static code analyzer and formatter, based on the community Ruby style guide.

HugoBlox

Save item

theme-academic-cv

🎓 无需编写任何代码即可轻松创建漂亮的学术网站 Easily create a beautiful academic résumé or educational website using Hugo and GitHub. No code.