codebje

17 ms·

121.
by codebje 9mo ago
Those two people might be a start, and it's a low barrier to their participation to say you want to try a nearby cafe for lunch tomorrow if they're interested. Longer term: make opportunities to occasionally talk to other people.
122.
by codebje 9mo ago
You can't just "do good" like it's a spreadsheet, managing your karmic balance as the parent comment joked. You're only worrying about your personal consequences in that model, not the harm to others. But I think it
123.
by codebje 9mo ago
EV trucking is a growing thing and might get that 20% reduction in trucking carbon footprints.
124.
by codebje 10mo ago
Both of you are the exceptions that prove the rule?
125.
by codebje 10mo 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
126.
by codebje 10mo 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
127.
by codebje 10mo 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
128.
by codebje 10mo 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
129.
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.
130.
by codebje 10mo ago
https://github.com/jacobly0/llvm-project ... but now three years out of date, because it's hard to maintain :-)
131.
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
132.
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
133.
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
134.
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
135.
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
136.
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
137.
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
138.
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,
139.
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
140.
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
141.
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
142.
by codebje 11mo 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. >
143.
by codebje 11mo 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
144.
by codebje 11mo 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.
145.
by codebje 11mo 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.
146.
by codebje 11mo 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
147.
by codebje 11mo ago
Alas, no: foo.ts:1:10 - error TS2393: Duplicate function implementation.
148.
by codebje 11mo 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?
149.
by codebje 11mo 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
150.
by codebje 11mo 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

More ›