Top all-time · #11438
Shuhei Kadowaki
Personal blog · aviatesk.github.io/postsprogramming
Shuhei Kadowaki's personal blog at aviatesk.github.io covers programming. Since 2021, 7 different Hacker News readers have linked it 9 times. The last post was in 2022, but the archive is still widely read.
Too few sampled comments (6) to say how often HN recommends it.?
Why HN links it
HN commenters cite these posts by a Julia compiler developer as references on abstract interpretation, static analysis, the JET.jl tool and type stability. No comment judges the writing.
Summarised by Claude from a sample of 6 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
nothing
Most-linked posts?
- /JET.jl/dev/optanalysis/2 people · 2 mentions · first linked 2021-12-09
What Hacker News says?
i agree, this is without a doubt the number one thing that julia needs. nearly every dynamic language has trended towards this in the last 7-8 years. it's probably had the most profound effect in modern Javascript (typescript) and python. It's incredible how different production javascript and production python are compared to say, 2014 javascript or 2014 python. JET.jl is a interesting project to do some error anal…
Comment linking /JET.jl/dev/jetanalysis/
on “PyTorch: Where we are headed and why it looks a lot like Julia (but not exactly)”Submitted Jet.jl: experimental type checker for Julia as a story · 5 points
HN discussionAs we've been discussing in another thread, it's possible! One can "opt out" of Julia's dynamic behaviors on a function-by-function basis using the JET.jl tool for static analysis: https://aviatesk.github.io/JET.jl/dev/optanalysis/ Why not make this the default everywhere? Well, there are a lot of scientific use cases where it's convenient to have Python-style dynamic typing and interactivity. A cool thing about Jul…
Comment linking /JET.jl/dev/optanalysis/
on “New horizons for Julia”Submitted Inlining 101 as a story · 2 points
HN discussionOne problem is Julia is just ahead of time compiled, so you need something like JET to iteratively run stability analysis via abstract interpretation if you intend to run it for a top level program: https://aviatesk.github.io/JET.jl/dev/optanalysis/ It recently got support on vscode. What was available in Julia before (things like @code_typed) are only applicable locally, so there is only limited benefit. Because li…
Comment linking /JET.jl/dev/optanalysis/
on “Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation”Abstract interpretation is important in the implementation of the Julia language. Some relevant blog posts by Julia compiler developers: * https://info.juliahub.com/blog/inference-convergence-algorit... * https://info.juliahub.com/blog/inference-convergence-algorit... * https://aviatesk.github.io/posts/introduction-to-static-anal... * https://aviatesk.github.io/posts/data-flow-problem/
Comment linking /posts/data-flow-problem/
on “Abstract Interpretation in the Toy Optimizer”Coincidentally enough I'm neck deep in this area for the last month (I haven't read this paper but I've read others from the group). There are a bunch of things around this that are related and look vaguely the same: abstract interpretation, staged execution, symbolic execution and partial evaluation. I'll give a use case (the use case I'm interested in) that might help to illustrate the point: dynamic neural nets.…
Comment linking /posts/data-flow-problem/?s=09
on “Staged Abstract Interpreters [pdf]”> 1. It doesn't have one main open source IDE like Octave/Rstudio that you can drop in and play around in. (you can see plots docs repl workspace) It's looking like VS Code (julia-vscode.org) will be the equivalent, and it's gotten a good chunk of the way towards that - "plots docs repl" are all existing features and pretty easy to use. The docs [1] show a "Workspace" feature too. There's also some integration with…
Comment linking /JET.jl/stable/
on “Julia 1.9 Highlights”