Hacker News: reinitctxoffset

New comment by reinitctxoffset in "What's Behind the Sharp Drop in Labor Force Participation?"

reinitctxoffset — Tue, 04 Aug 2026 20:37:19 +0000

I don't care what happens to parent.

If they fuck with GP it's discovery.

New comment by reinitctxoffset in "What's Behind the Sharp Drop in Labor Force Participation?"

reinitctxoffset — Tue, 04 Aug 2026 20:13:26 +0000

Organic downvotes at human speed are fine.

GP getting flagged at machine speed?

Nah dawg. That's a hard no.

Edit: oh gee willicker. I completely forgot to mention I chart all of this. I don't even need an HMM. XGboost prints the fucking switch statement.

New comment by reinitctxoffset in "What's Behind the Sharp Drop in Labor Force Participation?"

reinitctxoffset — Tue, 04 Aug 2026 20:05:33 +0000

@dang this gets brigaded? It goes in the lawsuit.

New comment by reinitctxoffset in "Em dashes are amazing"

reinitctxoffset — Mon, 03 Aug 2026 05:36:04 +0000

b7r6@b7r6.net

New comment by reinitctxoffset in "The new rules of context engineering for Claude 5 generation models"

reinitctxoffset — Mon, 03 Aug 2026 04:13:18 +0000

https://github.com/hypermodern-consulting/narsil

New comment by reinitctxoffset in "Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark"

reinitctxoffset — Mon, 03 Aug 2026 03:23:37 +0000

@pg @dang

you're asking me how a watch works. let's just try to keep an eye on the time.

federal felony prosecution.

New comment by reinitctxoffset in "Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark"

reinitctxoffset — Mon, 03 Aug 2026 00:09:17 +0000

I'm doing K3 with SoL kernels, zero hassle, myelin to sweep up the crap, on shot deploy to vast or runpods. Free to the community.

I have to do like, low paying web dev to fund it, so I can't promise timelines, but it's coming and it will be free to anyone and fast as fuck.

I estimate about 20 bucks an hour at current spot rates in the hundreds if not thousands of tokens per second.

New comment by reinitctxoffset in "Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark"

reinitctxoffset — Sun, 02 Aug 2026 23:55:18 +0000

That short got like, way more views than I thought. This is a little more of the complex plane math.

https://youtu.be/WXcElxvSevM?si=HHbnzSNddIcPGCll

New comment by reinitctxoffset in "Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark"

reinitctxoffset — Sun, 02 Aug 2026 23:36:29 +0000

https://cdn.s4.gl/0001-Avoid-allocations-in-system-memory-pa...

New comment by reinitctxoffset in "Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark"

reinitctxoffset — Sun, 02 Aug 2026 22:58:49 +0000

i also used nixos as the base, but i went a little overboard with it, this is 7.1.2 supporting all devices and a custom driver that fixes the UMA page leak issues, and the wallpapers are all kernels at or above parity with what you can get out of the box.

i'm not quite ready to OSS the whole thing, it's got a few rough edges, but if anyone wants to alpha test, caveat emptor and it's yours.

https://www.youtube.com/shorts/mCUZ9XHIogw

New comment by reinitctxoffset in "Why don't people use formal methods? (2019)"

reinitctxoffset — Thu, 30 Jul 2026 16:05:18 +0000

This guy is the real thing.

New comment by reinitctxoffset in "The new rules of context engineering for Claude 5 generation models"

reinitctxoffset — Sun, 26 Jul 2026 13:27:22 +0000

Fable has a Chomsky grammar.

New comment by reinitctxoffset in "Em dashes are amazing"

reinitctxoffset — Sat, 25 Jul 2026 02:37:27 +0000

I've been playing with a tagline for my new startup.

"Monotonic Labs: We Do What We Have To—Because We Like It"

New comment by reinitctxoffset in "Nvidia, Microsoft, Meta warn against overregulating open-weight models"

reinitctxoffset — Sat, 25 Jul 2026 02:20:54 +0000

There are a ton of DeepGEMM kernels in all of the flashinfer adjacent stacks including trtllm. Bunch of the headers still have the CLion pragmas and shit.

New comment by reinitctxoffset in "Why Software Factories Fail (or: harness engineering is not enough)"

reinitctxoffset — Fri, 24 Jul 2026 02:24:21 +0000

No one serious about the idea can afford either vanity metrics nor ignorance of the code. The bar is higher, not lower, to operate with this much automation in the water supply. It's mostly a lot more math and a lot more work.

It's an extreme form of any startup: you trade off capital for years of your life.

New comment by reinitctxoffset in "OpenAI’s accidental attack against Hugging Face is science fiction that happened"

reinitctxoffset — Fri, 24 Jul 2026 02:10:13 +0000

How's VFIO on Firecracker coming Thomas?

New comment by reinitctxoffset in "Why Software Factories Fail (or: harness engineering is not enough)"

reinitctxoffset — Fri, 24 Jul 2026 01:35:04 +0000

Who said we failed. If we had succeeded, would we tell you?

New comment by reinitctxoffset in "Startup founders urge U.S. government not to shut off Chinese open weight AI"

reinitctxoffset — Fri, 24 Jul 2026 00:01:37 +0000

Freedom means having choice. So we gave you two choices, and you're going to use both and you're going to love it.

New comment by reinitctxoffset in "Introduction to Formal Verification with Lean Part 1"

reinitctxoffset — Thu, 23 Jul 2026 05:09:45 +0000

If you haven't already I'm dry a different version, minor versions can change a lot.

New comment by reinitctxoffset in "Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample"

reinitctxoffset — Thu, 23 Jul 2026 00:02:36 +0000

Cher Monsieur Laurent, comment pourrions-nous espérer obtenir un soutien de la part de ℤ ⭢ ℤ? Les polynomials! Tout est grande!