Trending

Content tagged with "static-analysis"

Show all

Hacker News

Top stories from the Hacker News community• Updated 11 minutes ago

HN

The Easiest Way to Build a Type Checker

jimmyhmiller.com

69

surprisetalk

6 days ago

webdev typescript development best-practices static-analysis performance developer-tools

HN

Java Decompiler

java-decompiler.github.io

110

mooreds

11 days ago

java reverse-engineering software-development static-analysis decompiling decompiler bug-bounty

HN

Typechecking is undecideable when 'type' is a type (1989) [pdf]

dspace.mit.edu

41

birdculture

16 days ago

type-checking theory type-systems type-theory programming-languages theory-of-programming theory-of-computation static-analysis programming-language-theory typechecking research

HN

How to write type-safe generics in C

raphgl.github.io

32

todsacerdoti

18 days ago

c generics type-safety programming cpp performance static-analysis

HN

Making the Clang AST Leaner and Faster

cppalliance.org

34

vitaut

21 days ago

compiler performance static-analysis compilers system-design

HN

The purported benefits of effect systems

typesanitizer.com

16

SchwKatze

about 1 month ago

programming-languages type-systems software-engineering programming-language system-design performance static-analysis best-practices

HN

C++: A prvalue is not a temporary

blog.knatten.org

36

ingve

about 1 month ago

cpp performance static-analysis

HN

Frozen String Literals: Past, Present, Future?

byroot.github.io

67

Bogdanp

about 1 month ago

language-design programming-languages parsing syntax performance string-processing programming-paradigms software-engineering string-literals static-analysis best-practices optimization string-manipulation language-features python

HN

Sufficiently Smart Compiler

wiki.c2.com

21

coffeeaddict1

about 1 month ago

compilers performance static-analysis optimization

Reddit

Top posts from tech subreddits

No posts found

Try removing the tag filter or searching for different content.

Hugging Face Trending

Popular models from Hugging Face• Updated about 1 hour ago

No models found

Try removing the tag filter or searching for different content.

GitHub Trending

Popular repositories from GitHub• Updated 8 minutes ago

gitleaks

Find secrets with Gitleaks 🔑

Go

23,860

1,825

security infosec git devops developer-tools webdev static-analysis self-hosted

mypy

Optional static typing for Python

Python

19,872

3,024

python static-analysis developer-tools static-type-checking mypy

rubocop

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

Ruby

12,707

3,072

ruby static-analysis best-practices

theme-academic-cv

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

TeX

4,215

6,402

webdev static-analysis developer-tools static-site-generators hugo