Viewing profile — sestep

Full title: "Silicon Valley sees AI as the solution – for everyone else, it’s the problem"

> In case you are curious about Fable: I intentionally did not test it because I was not sure if the classifiers they are running might downgrade me to Opus silently. Is this still…

> The famous E=mc^2 it's just the first term of a Taylor expansion. Is this actually true? My understanding was that E=mc^2 is exact for a particle at rest.

It's slower. Wasm32 can just reserve 8 GiB (32-bit pointer + 32-bit offset) of the virtual address space from the OS for each memory, so checking for out-of-bounds memory accesses …

This is just false. The article links to the 46-page paper [1] which lists full prompts in section E.2. [1] https://arxiv.org/pdf/2602.14740

I've seen various posts about Elixir's gradual type system pop up on HN, but haven't been following too closely. Does anyone know whether this particular gradual type system can ch…

For sure, and in the PR description for the Nixpkgs AI policy, they explicitly mentioned this as a "brown M&M test" [1]. I read the blog post as being against including this inform…

I mean, sure, except that many large open-source projects (e.g. Linux [1], Nixpkgs [2], etc) require this as part of their AI policy. Omit attribution in your own projects if you w…

The triangular table view is fascinating. It looks like the periodic table. I wonder if there are number-theoretic lemmas (or at least conjectures?) about what "family" the optimal…

All I see is "Sorry, we've misplaced that URL or it's pointing to something that doesn't exist."

Another great tool, built on top of nix-locate, is comma. So for any program foo, if you have foo installed, you can run it like this: foo And if you don't have it installed, you c…

I agree with the other replies saying to just run the checks in CI and have the CI error message mention how to install the pre-commit hook. I'm glad cloning a repo doesn't automat…

Are you referring to how the nixpkgs-unstable branch hasn't been updated in the past five days? Or do you have some specific software in mind? (not arguing, just curious)

This is an issue in Python but less so in languages like JavaScript that support "field name punning", where you pass named arguments via lightweight record construction syntax, an…

One of the other PhD students in my department has an NDSS 2026 paper about combining the strengths of both LLMs and traditional decompilers! https://lukedramko.github.io/files/idi…

Could you clarify what you mean about Nix missing concurrency and parallelism? I often run builds using nix-output-monitor and it definitely looks like things are running in parall…

I think you can do this with Virgil, but I'm having trouble finding the exact doc page at the moment: https://github.com/titzer/virgil

https://samestep.com

I tried this five years ago back when I was an engineer on the PyTorch project, and it didn't work well enough to be worth it. Has it improved since then?

This sounds cool but is extremely uninteresting without performance measurements. Are there any?

Same question but for Jai.

Noob question: if it just compiles to threads, is there any need for special syntax in the first place? My understanding was that no language support should be required for blockin…

Ahh no you're right, I forgot about the difficulties for GPU specifically; apologies for my overly curt earlier message. More accurately: I think this is definitely possible (Troel…