codebje

6 ms·

121.
by codebje 9mo ago
Both of you are the exceptions that prove the rule?
122.
by codebje 9mo ago
Everything is lined up for sub-optimal play. For a start, the setting is an emotive one. It's not just a numeric game with arbitrary tokens, it's about "the perfect romantic partner." It would take an unusually self-isol
123.
by codebje 9mo ago
The moral outrage crowd in the US have no power. The people who can and will act against you will only use morality as an excuse, not a cause. Being some nobody, the government has no interest in you anyway. You can watch porn, they can kno
124.
by codebje 9mo ago
The difference is legislation, in both cases. Permissible data exchange between government services is legislatively encoded. Permissible sentences are legislatively encoded. Since we don't see a whole lot of moderately healthy democra
125.
by codebje 9mo ago
Absolutely this. We have limits in place for usage of a bunch of this sort of stuff, from not at all to up to an hour, and we'd be constantly tested and pushed on these limits. Constantly. "But my friends are..." is the usual
126.
by codebje 10mo ago
I should have qualified: it's hard to do for an individual or very small team as a passion side-project. It's pretty time consuming to keep up with the rate of change in LLVM.
127.
by codebje 10mo ago
https://github.com/jacobly0/llvm-project ... but now three years out of date, because it's hard to maintain :-)
128.
by codebje 10mo ago
My experience is that while LLVM is very modular, it also has a pretty high amount of change in the boundaries, both in where they're drawn and in the interfaces between them. Maintaining a fork of LLVM with a new back-end is very hard
129.
by codebje 10mo ago
The CE-dev community's LLVM back-end for the (e)Z80 'panned out' in that it produced pretty decent Z80 assembly code, but like most hobby-level back-ends the effort to keep up to date with LLVM's changes overwhelmed the
130.
by codebje 10mo ago
I'm sorry, but I'm not sure if you're implying you dislike Apple's approach to what the user is allowed to do, or suggesting we should only talk about general purpose computing devices. If it's the latter, sure, the
131.
by codebje 10mo ago
I broadly agree, in the sense of providing the vision, direction, and design choices for the LLM to do a lot of the grunt work of implementation. The comprehension problem isn't really so much about software, per se, though it can appl
132.
by codebje 10mo ago
The iPhone wasn't designed or marketed to large corporations. 3dfx didn't invent the voodoo for B2B sales. IBM didn't branch out from international business machines to the personal computer for business sales. The compact di
133.
by codebje 10mo ago
Gen Alpha is people born roughly 2010-2020, younger than gen Z, raised on social media and smartphones. Gen Beta is proposed for people being born now. Radicalising forums are already filled with bots, but there's no need to finely tun
134.
by codebje 10mo ago
Using ChatGPT to numb social isolation is akin to using alcohol to numb anxiety. ChatGPT isn't a social connection: LLMs don't connect with you. There is no relationship growth, just an echo chamber with one occupant. Maybe it&#x2
135.
by codebje 10mo ago
Not necessarily: transactional, impersonal directions to a machine to complete a task don't automatically imply, in my mind, the sorts of feedback loops necessary to induce AI psychosis. All CASE tools, however, displace human skills,
136.
by codebje 10mo ago
Relocation information, primarily. ELF supports loading a shared library to some arbitrary memory address and fixing up references to symbols in that library accordingly, including dynamically after load time with dlopen(3). a.out did not s
137.
by codebje 10mo ago
I think you're still describing a countably infinite set: there's a bijection between the natural numbers and the set of houses. One way to think about it is that, even though you're defining an index that permits infinite am
138.
by codebje 10mo ago
The only difference of note, I think, is that you can't enumerate the elements. Instead of being able to say "for each element, ..." you'd have to say "for all elements, ...", like the example of vector length
139.
by codebje 10mo ago
> The predicate gets tested every time we do type checking? It is part of the type identity. When does type checking happen? I think it happens at compile time, which means the predicate is not used for anything at all at run time. >
140.
by codebje 10mo ago
Thanks! If anyone else is playing along, to get this to work with tsc I needed to use "--strict". Being able to use a function along those lines in a type safe manner is still pretty nifty, even if you can't write it with typ
141.
by codebje 10mo ago
Perhaps you only need the clarity because the rules for what's acceptable at comptime are not the same as the rules for what's acceptable at runtime.
142.
by codebje 10mo ago
When does the predicate get tested? Also, it's not a dependent type. The type does not depend on the value. The value depends on the type.
143.
by codebje 10mo ago
The dependent type question is, I think, subtly different: "a function whose return type is either a number or a string depending on the boolean argument." The union type (or the more or less equivalent Either ADT) don't give
144.
by codebje 10mo ago
Alas, no: foo.ts:1:10 - error TS2393: Duplicate function implementation.
145.
by codebje 10mo ago
Isn't that just saying you can do dependent types in TypeScript easily so long as you're willing to give up type checking?
146.
by codebje 10mo ago
There's only one possible value of type Nine; there's only one possible value of type Unit. They're isomorphic: there's a pair of functions to convert from Nine to Unit and from Unit to Nine whose compositions are identi
147.
by codebje 10mo ago
You could probably say that. AFAIK there isn't a single valid definition of a dependently typed language any more than there is a single valid definition of a functional language. I usually go with "you can make a dependent pair&q
148.
by codebje 10mo ago
Maybe it wasn't there when you played, but rule 6 states kings cannot attack each other; chess kings can move one square in any direction. Without this rule the puzzle isn't solvable by logic, only trial and error.
149.
by codebje 10mo ago
I had a collector's edition 3-man transport ship, but IIRC the novelty of standing on the ship while in transit wore off before the beta ended. Cool, but too shallow on its own. I can't figure out if the open world game was fun en
150.
by codebje 11mo ago
The skill tree system was so nice compared to the rigid class systems of other MMORPGs, too. The fact that player towns just emerged was really cool. It was such a shame the space expansion was so ... flat. Neither space nor ground had a st

More ›