matklad

23 ms·

91.
Resilient LL Parsing Tutorial(matklad.github.io)
2 points by matklad 3y ago|0 comments
92.
by matklad 3y ago
I am not entirely sure about C#, if we speak about “static analysis based IDE” tooling. I think this only became focus with Roslyn, and Roslyn came later, after JetBrains did their own thing with resharper. But yeah, directionally we are ge
93.
by matklad 3y ago
> Most languages with "advanced" features and type systems really need a full semantic tree to do anything meaningful due to the complexities of compile time code and type instantiation. I wouldn’t say this depends on abstract
94.
by matklad 3y ago
Descriptively, yes, the shape of the language determines how you can structure an interactive compiler. There are at least three wildly different ways to do that: https://rust-analyzer.github.io/blog/2020/07/2
95.
by matklad 3y ago
This depends on the compilation model in use. If that’s a traditional pipeline of phases, where the result is an AST data structure for the whole CU which gets annotated with types, then, yes, “enqueue new analysis” makes sense. If the comp
96.
by matklad 3y ago
There are two completely orthogonal questions here: - Is the content of the talk suitable for a keynote? - Given that the talk was accepted as a keynote, is it ok for the organizers to change their mind and unilaterally demote the talk?
97.
by matklad 3y ago
Benchmarks for threads might slightly underestimate memory usage. For threads, some amount of memory is spent by the kernel (eg, memory maps themselves) and won’t show as maxrss. > a high number of concurrent tasks can consume a signific
98.
GitHub Actions Permissions(matklad.github.io)
2 points by matklad 4y ago|0 comments
99.
by matklad 4y ago
The other way around: to prove that X is NP-complete you need to reduce SAT(or any other known NP complete problem) to X. The intuition here is that if you have a magic algorithm which solves X efficiently, you should be able to use this al
100.
by matklad 4y ago
Thanks, it was confused thinking on my part, corrected!
101.
by matklad 4y ago
https://julialang.org/blog/2013/04/put-this-in-your-pipe/#do... for what is this abstractly and why that is needed. https://developer.mozilla.org/en-US/docs/Web/JavaScript&
102.
by matklad 4y ago
One potentially compelling reason is dependency resolution. You can’t express Cargo-style “collect _requirements_ for all dependencies, and then pick the minimal set of dependencies which satisfies all requirements” with just urls. You pote
103.
by matklad 4y ago
If you like AsciiDoctor, another option to take a look at is https://djot.net/ .
104.
by matklad 4y ago
For comparison table in code patterns: https://codepatterns.vercel.app/ There’s one column missing: whether the query is purely syntactic or has semantics as well. In particular, JetBrains allows not only searching for all
105.
by matklad 4y ago
Yup, I am that matklad. I have thoughts, will put then into a post some time soonish. zig-analyzer is great — much further along than I’d expected at this point. Though, I am still curious what the end game IDE support would look. https:&#
106.
by matklad 4y ago
Also worth mentioning our simulation testing setup: https://github.com/tigerbeetledb/tigerbeetle/blob/b642c04261... . Everything is fully deterministic, time is externalized, so our simulation can run very fas
107.
by matklad 4y ago
You are looking for Val I think: https://www.val-lang.dev/
108.
by matklad 4y ago
+1, ante is a treasure trove of tasteful syntactic decisions.
109.
by matklad 4y ago
Sorry, dyslexic as heck even in my mother tongue! In writing I constantly mix even "thing" and "think", that's why there's 'fix typo' button :)
110.
Rust's Ugly Syntax(matklad.github.io)
159 points by matklad 4y ago|229 comments
111.
by matklad 4y ago
Lifetime _syntax_ is lifted verbatim from OCaml.
112.
by matklad 4y ago
Yeah, it’s definitely a wip at this point, though it is already general enough to express meta and imports. You could write # Title : key = value ```include ./examples/hello.rs ``` today and write a
113.
by matklad 4y ago
Take a look at https://djot.net/ , you might like that.
114.
by matklad 4y ago
> For example, the article itself does not need or use any hierarchy. This two-column layout makes use of hierarchical capabilities of asciidoctor: https://matklad.github.io/2022/10/28/elements-of-a-great-m
115.
by matklad 4y ago
>It also provides nestable, generic containers as a syntax extension. That’s what I’ve meant: markdown syntax doesn’t allow for this, which requires every extension to be syntax extension. Djot’s span&div do address this problem.
116.
GitHub Actions Permissions(matklad.github.io)
2 points by matklad 4y ago|0 comments
117.
by matklad 4y ago
For the 20% of the things you use 80% of the time (basic completion, goto definition, syntax highlighting), I'd say advanced LSP servers like rust-analyzer are pretty close to what IntelliJ provides. But the heavy tail of 80% of the fe
118.
by matklad 4y ago
<3 I can't say I am a user of deno today, but my feelings about deno remind me my feelings about Rust circa 2015: it's not clear if the thing succeeds, but, if it does, that would be a huge boon for the whole industry, as final
119.
by matklad 4y ago
Indeed, I wasn't, thanks!
120.
by matklad 4y ago
You are correct, and this is indeed one of the important facets I try to illuminate. VS Code doesn't support LSP natively, it just exposes a bunch of APIs to provide IDE features. Actual LSP support is implemented as a separate library

More ›