🦞🌯 Lobster Roll

Thread

On the Relationship Between Static Analysis and Type Theory (semantic-domain.blogspot.com)
L 20 pts 9 comments by hyperpape Aug 27, 2019 formalmethodsplt thread

Stories related to "On the Relationship Between Static Analysis and Type Theory" across the full archive.

On the Relationship Between Static Analysis and Type Theory (semantic-domain.blogspot.com)
L 20 pts 9 comments by hyperpape Aug 27, 2019 formalmethodsplt Programming Languages / CS Theory thread
The Relationship Between Static Analysis and Type Theory (semantic-domain.blogspot.com)
HN 3 pts 0 comments by luu Mar 5, 2025 Programming Languages / CS Theory thread
A Dependent Nominal Type System for Static Analysis of Memory in Low Level Code (codex.top)
HN 1 pts 0 comments by matt_d Sep 30, 2024 Programming Languages / CS Theory thread
Show HN: Build a map of your TypeScript codebase with static analysis and LLM (braucode.com)
HN 1 pts 0 comments by yyjhao Oct 31, 2024 AI / Machine LearningWeb Development thread
Hi HN! I have been tinkering with the idea of detecting features/concepts in a codebase and decided to build this tool to help make sense of big codebases. Feed it a GitHub repo (private ones too, if you log in), and it can show you a high level overview of the codebase, with pointers to variou...
An analysis of relationships between datasets on the Web (research.google)
HN 4 pts 0 comments by jonbaer Nov 8, 2024 thread
CrossHair: Analysis [Python] that blurs the line between testing and [types] (github.com)
HN 1 pts 0 comments by 082349872349872 Dec 24, 2024 thread
Type-Hinting DataFrames for Static Analysis and Runtime Validation (medium.com)
HN 1 pts 0 comments by rbanffy Aug 26, 2025 thread
Automated Static Malware Analysis with Pythonect (blog.ikotler.org)
L 2 pts 0 comments by inactive-user Aug 22, 2012 pythonreversing Systems / Low-Level / OSProgramming (General)Security / Privacy thread
What is static analysis? (matt.might.net)
L 3 pts 1 comments by tedu Oct 5, 2012 compscirelease Programming Languages / CS Theory thread
An experiment about static and dynamic type systems: doubts about the positive impact of static type (cs.washington.edu)
L 1 pts 2 comments by andymatuschak Oct 26, 2012 compscipdf Programming Languages / CS Theory thread
Understanding the relationships between objects (practicingruby.com)
L 2 pts 2 comments by jamesbritt Oct 29, 2012 releaseruby Programming (General) thread
Alan Watts on static vs dynamic type adherents (youtube.com)
L 7 pts 1 comments by fogus Nov 26, 2012 philosophyvideo Culture / Philosophy / History / Reading thread
Dexter is a static Android application analysis tool (dexter.dexlabs.org)
L 1 pts 0 comments by jcs Jan 27, 2013 androidreversing Systems / Low-Level / OS thread
What Is Static Program Analysis? (matt.might.net)
L 6 pts 0 comments by smeerp Aug 11, 2013 compsci Programming (General)Programming Languages / CS Theory thread
Purescript - small strongly, statically typed compile-to-JS language (functorial.com)
L 7 pts 0 comments by puffnfresh Oct 30, 2013 javascript Web Development thread
The Relationship Between COBOL and Computer Science (1985) (cs.umd.edu)
L 2 pts 0 comments by aturley Jan 14, 2014 compscipdfpractices Programming Languages / CS TheoryScience / Math / PhysicsProductivity / Career / Business thread
n2k14 hackathon report: jsg@ on Mesa, LLVM dependencies, and Static Analysis (undeadly.org)
L 2 pts 0 comments by tedu Feb 13, 2014 openbsd Systems / Low-Level / OS thread
There are some other hackathon reports (and more to come); I happened to like this one.
Heartbleed and Static Analysis (blog.regehr.org)
L 6 pts 1 comments by jkkm Apr 11, 2014 csecurity Systems / Low-Level / OSSecurity / Privacy thread
Manage ruby i18n with static analysis (github.com)
L 3 pts 3 comments by glebm Apr 15, 2014 ruby Programming (General)Programming Languages / CS Theory thread
Detecting heartbleed with static analysis (security.coverity.com)
L 9 pts 0 comments by fcbsd Apr 16, 2014 security Security / Privacy thread
Review of PHP Static Analysis Tools (blog.codacy.com)
L 7 pts 0 comments by PaulBlei May 13, 2014 phpprogramming Programming (General) thread
Common code standards and tools used in PHP and how they can improve code quality and maintainability when integrated in the development process.
Static energy consumption analysis of LLVM IR programs (arxiv.org)
L 17 pts 1 comments by BruceM May 26, 2014 compsciprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Tidal Lock: optional static type checking and inference for Lua (lua-users.org)
L 6 pts 0 comments by animatronic May 27, 2014 compscilua Programming (General)Programming Languages / CS Theory thread
ShellCheck - A shell script static analysis tool (github.com)
L 9 pts 0 comments by Whoop Jul 7, 2014 release thread
PureScript: a statically typed language which compiles to JavaScript (github.com)
L 15 pts 8 comments by wting Sep 23, 2014 javascript Web Development thread
Flow, a new static type checker for JavaScript (code.prod.facebook.com)
L 21 pts 6 comments by chrisbiscardi Nov 18, 2014 javascript Web Development thread
Will Ruby 3.0 be Statically Typed? (omniref.com)
L 14 pts 14 comments by kellogh Nov 20, 2014 ruby Programming (General)Programming Languages / CS Theory thread
Static Analysis Benchmarks (blog.regehr.org)
L 6 pts 1 comments by BruceM Feb 7, 2015 compsciprogramming Programming (General)Programming Languages / CS Theory thread
InfraRuby is a compiler and runtime for statically typed Ruby. (infraruby.com)
L 8 pts 4 comments by julienxx Mar 8, 2015 compilersjavaruby Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Static Code Analysis (gamasutra.com)
L 15 pts 5 comments by pushcx May 28, 2015 gamespracticesprogramming Programming (General)Gaming / Retro ComputingProductivity / Career / Business thread