skavi

aren’t there also nix lsps

4k stretched to 32 is awful. screen door very visible. honestly it’s not even quite enough for 27.

nothing like some killing to get you settled down.

Forces better code structure in my experience (ignoring orphan rule). modules can have dependency cycles and things get tangled together. crates disallow cycles.

would you be willing to be more specific on what insights i've missed?

regarding the GP's comments on article content, i suppose maybe one critique could have been sharpened by a closer reading?

> There could be some value buried in there

i'd imagine you agree.

> could have been 10% of its size

likely false, but i interpreted this as an intentional exaggeration

> could have been human written

likely true

i think that is a bad tradeoff. interested non-experts can use their research tool of choice. but more likely they are not going to get past the first few paragrahs. is there some reason that all posts on a blog must be understood by all readers of said blog? perhaps a tag could identify technical posts.

also, i'd expect the LLMness of that intro to bounce at least as many people as the additional context you've included retains (~0).

> We had LLMs write precise mathematical rules, or a formal semantics, for how a small programming language should behave. We then used Lean, a tool for checking mathematical proofs, to prove that the interpreter—the program that runs code written in that language—follows those rules even after being compiled into low-level instructions understood by a RISC-V computer chip.

who is your audience? why are you defining every single term here? perhaps i am less tenacious than most, but i wouldn't expect many who are unfamiliar with interpreters, formal proofs, or assembly language to be willing to charge on ahead—even when armed with that additional context.

also, writing your very first paragraph via LLM is certainly a choice.

what's with this driver being coupled to an IDE? is one the psychosis enabled bikeshed of the other?

but you have invented syntax

because i was stupid lol. i’d only done (very) basic duck typed generics in c++ before then.

all i wanted was to add a new method i could call in the same way as all the methods on Iterator (map, filter, etc.). and was suddenly confronted with `impl Trait2 for T where T: Trait1`. which makes perfect sense now. but at the time was unparseable.

for my own sake, i’ll note that i started learning rust in 2020. i’m no longer confused about Traits.

probably not to your current computer. this works on supporting memory types that do compression in hardware.

vox looks great! actually kind of reminds me of the look that elementaryOS goes for with the subtle drop shadows and the softer coloring. or maybe older macOS.

at the same time, vox doesn't really look like a lot of other QT apps (whereas a lot of modern GTK apps tend to have very similar designs).

notes seems like a great app. ux seems great from the demo reels. but it doesn't look quite as nice to me. the drop shadows (on click and drag) seem off. many things are very flat and wireframe looking. the icons look "cheap" (trashcan and slider/config particularly). i am unsure on how you choose between full black and dark grey in your design system but it feels a bit inconsistent.

all that said, i think the animations look great. very smooth.