gwerbin

8 ms·

121.
by gwerbin 3mo ago
Or in Massachusetts, Count Barrelface.
122.
by gwerbin 3mo ago
Yes but in the USA a "bin" usually refers to a generic category of containers, often rectangular. A "recycling bin" is a specific kind of bin, and it's almost always qualified as such. If you called it a "bin&q
123.
by gwerbin 3mo ago
A bunch of outlaw militiamen living in some camp somewhere probably don't have access to a capable computer, but they can probably log onto chatgpt.com easily enough.
124.
by gwerbin 3mo ago
Wasn't it established that ISIS soldiers go into battle hopped up on amphetamines and other drugs? I don't believe the story as stated either, but I fully believe that members of an extremist terrorist military organization would
125.
by gwerbin 3mo ago
I wonder how much of what China is currently able to do it because USA is such a mess. The whole article is kind of ridiculous of course, and is also heavily fixated on OpenBrain, whatever that is. I also wonder about the economics of runni
126.
by gwerbin 3mo ago
Inductive number types seem pretty appealing here. A type like "Nat = Zero | Succ Nat" is 100% always correct by construction and can be safely transformed into raw integers (and operations thereon) by the compiler. And it is also
127.
by gwerbin 3mo ago
OpenCode is a great choice if you want an agent harness that actually works consistently across GUI, TUI, and ACP.
128.
by gwerbin 3mo ago
The USA is a nice demonstration of how far it can go if you can manufacture enough "red meat issues" and keep going for decades.
129.
by gwerbin 3mo ago
GP is looking for culture war in a ball pit.
130.
by gwerbin 3mo ago
Oh give it a rest. First of all, yes, performatively following health fads has always been a thing for people with money. But do you honestly believe this is what's going on at a large scale? What an absurd reaction to other people doi
131.
by gwerbin 3mo ago
To be fair this was all happening before, just 10x less. And the current minority party was often willing to ignore it when it was their people doing it. So yes it's bad on a generational scale and we might never recover from it, but
132.
by gwerbin 3mo ago
The branches are explicitly defined in the Constitution.
133.
by gwerbin 3mo ago
But Congress is very comfortable so far just letting the executive branch do whatever. Even if the orders aren't emanating from the oval office directly, there's clearly a coordinated agenda in motion. It's entirely reasonabl
134.
by gwerbin 3mo ago
They must, right? They literally have no mechanism for cognition other than transformation of vocabulary. Language models are models fitted from data generated by humans, but they are not humans. Humans generate data by whatever processes h
135.
by gwerbin 3mo ago
That's a cool result because that's also kind of what's happening inside the transformer unit : project -> QKV fuzzy lookup -> unproject. And in a different direction, it's analogous in some sense to what's h
136.
by gwerbin 3mo ago
Is it obviously gambling? Would it be any different if a large financial institution sold prediction market securities?
137.
by gwerbin 3mo ago
Yes, and it's working for them, but it's not their core competency nor does it have much to do with the actual product that people pay them for (apart from being a source of bugs to avoid), so the fact that it's working for A
138.
by gwerbin 3mo ago
What's working for them is having a huge amount of resources and very good people to design a cutting edge agent harness, RLHF the hell out of their models, and build out a tremendous amount of inference capacity. I'm sure their p
139.
by gwerbin 3mo ago
Yeah but now that you pay for tokens that's going to be bad for token caching.
140.
by gwerbin 3mo ago
Juniors can't become seniors without doing real work and using their brains to do it. There is no profession, trade, or skill that you can get good at without doing it.
141.
by gwerbin 3mo ago
It's a classic legislation move to look like you're doing something in order to shut down public displeasure, while not actually doing anything.
142.
by gwerbin 3mo ago
Not OP but Copilot CLI is really straightforward, almost minimal in some sense. It's a lot like OpenCode but stripped down. I also use the Copilot ACP server inside Pycharm and that works decently well too, although it has some annoyin
143.
by gwerbin 3mo ago
Countervailing story: the Ergodox (EZ specifically but that's less important) gave me permanent RSI in my thumbs, because it was too big for my hands, and to this day I pretty much can't use a keyboard layout that relies on lots
144.
by gwerbin 3mo ago
It says on their Github profile that they are building some kind of nowhere detection product. Maybe in that context, a very strict syscall allowlist is useful or good? > It is designed for CI pipelines, CTF jail challenges, and lightwei
145.
by gwerbin 3mo ago
2-3 corrupt members of a 9-member court is pretty bad for the legitimacy of said court.
146.
by gwerbin 3mo ago
They are beneficial for those with an equity stake . That much is clear.
147.
by gwerbin 3mo ago
They don't want people with good instincts buying.
148.
by gwerbin 3mo ago
I happened to be looking around at some datacenters on Google Maps in Chantilly, VA and I noticed that their neighbors were: a busy international airport, a quarry, various contractors such as paving and air compressor rental, and a bunch o
149.
by gwerbin 3mo ago
I asked a question with "Search" enabled, with the app set to English, and got results back in Chinese. Interesting view into how the LLM responds to its context.
150.
by gwerbin 3mo ago
> Very cool that the language allows specification of a type in this way. Check out Idris 2. Dependent types can get very hairy to work with, but that language is an absolute playground for inductive type-level verification. And the stan

More ›