reuben

@Pushpendre89 @GeoffreyHuntley @dexhorthy @0xblacklight Definitely connected — OPA is itself a structural gate, just at runtime. There's no reason a structural gate can't run at runtime, so they compose rather than compete. Shen could do runtime checks too via a target-language port — just not as fast as OPA.

@reubbr @GeoffreyHuntley @dexhorthy @0xblacklight Great writeup on structural backpressure, I wonder for the auth problem what you think about rego and OPA type solutions and their place in world in comparison to generated guards?

Most "better AI coding" takes chase smarter models and better prompts. I think that's the wrong frame. Here's a build *refusing* to skip a tenant-auth check, deterministically, before the binary even exists. The model didn't remember the rule; the substrate enforced it. 👇

@_a9lim Strong crossover post

vibe coding is really just applying modern monetary theory to technical debt

@GeoffreyHuntley @dexhorthy @0xblacklight Repo for the tool I've been building to explore this is here: github.com/pyrex41/Shen-B…

These concepts are not exotic; the ideas here extend the "backpressure" concept many have talked about -- @GeoffreyHuntley, @dexhorthy, @0xblacklight and many more. What's new: proof-as-spec mechanically lowered into the target language as deterministic gates

Principle universal to any craft

@t8u1vtXV435WovD @ced35957 @xai it may be because i'm already a super-grok (not heavy) subscriber

@reubbr @ced35957 @xai OMG,it's not work for me. if 99$ after discount, i may really consider to subscribe....

An early beta of Grok Build, an agentic CLI for coding, building apps, and automating workflows is now available for SuperGrok Heavy subscribers. Through this early beta, we will improve the model and product based on your feedback. Try it at x.ai/cli

@t8u1vtXV435WovD @ced35957 @xai grok . com / supergrok? referrer=grok-build grok.com/supergrok?refe…

@reubbr @ced35957 @xai how could this happen🤯 you have promo code bro?

@ced35957 @xai

@xai Would love to try it, but $300 is way out of my budget.. Pretty annoying that I can’t test it with my SuperGrok :(

it makes absolutely no sense to me why everyone is mainlining nodejs/typescript still tbh. typescript is good for humans, humans no longer the target to design for.

@Austen Unless you have insane situation where opportunity cost needs $1m now but compounding +DCAing $2k/day won’t cut it…yes

Pushups and do a few hundred per day, no?

@0xblacklight x.com/badlogicgames/…

btw if claude feels dumber part of the reason is that it has literally 3 dozen tools BEFORE you add MCP servers it used to have like < 12 this is really all you need and skill is optional: read write edit (codex combines this with write into apply patch) bash agent webfetch websearch (combine with webfetch into webanswer if you are building your own harness) skill maybe todowrite don't have a strong opinion

why have nerds not made a gui like this instead of another tui my codebase should be represented as a starcraft like ui chop chop

Unpopular opinion: "AI makes everyone a developer" is true the same way "cameras makes everyone a photographer"

@tqbf It’s not even the main thing it’s supposed to be but I’ve found I like bat even better than glow. Glow always scrolls to the bottom of the doc and o have to scroll up (maybe I’m lazy and it’s a config thing idk) github.com/sharkdp/bat

My friend Josh put together a really nice TUI Markdown viewer (I've been liking glow, too). I'll probably just tell Claude to siphon the soul out of his viewer and install it into my SwiftUI one. github.com/jvanderberg/ma…

Update on my quest for a good Markdown viewer that isn't an editor: in 2026 this is dumb thing to go look for, because Claude can one-shot a very good one in about 15 minutes with the computer-use MCP.

@theCTO Fly.io will let you spin up firecracker microvm w/ persistent attached NVMe on demand, 250ms. Only pay for compute when you use it

I need a Sandbox service. I need the Sandbox to not bill me per hour/minute. I need to it to have persistent storage. I need it to have outgoing internet access. Who should I use?