sterlind

20 ms·

331.
by sterlind 2y ago
I'd never considered how the commonplace actor-world/entity-trait model is a neat fit for Prolog's whole relational deal. Though predictable and efficient run-time is also critical, and Prolog typically brute-forces its way t
332.
by sterlind 2y ago
Yeah, back when I needed a chair I used an ultralight with Yamaha power assist wheels. It was great - a little chonkier than a pure manual but I could go anywhere , plus I got to keep my VW Beetle instead of needing a $100k wheelchair van.
333.
by sterlind 2y ago
Traditional power chairs are much bigger and heavier than lightweight manual chairs. They're a nightmare to transport unless you have a custom van with an elevator. They also can't handle curbs. Ultralight manual chairs are ofte
334.
by sterlind 2y ago
"I tried calling my wife and.." "What happened?" "Nothing! There was nobody on the other end. She just didn't exist." "Wow." Of course, they were told they were AI, and they're a podcast LM,
335.
by sterlind 2y ago
aren't credit score checks literally this? credit scores are assigned to you based on feeding your personal data into some proprietary model. that score determines whether you get a loan, or a job, or a security clearance. there are po
336.
by sterlind 2y ago
All those articles are for PTSD. PTSD is not the same as schizophrenia. Just because psychotherapy helps with PTSD doesn't mean it'll help with schizophrenia. Mental illnesses, and their treatments, are not fungible!
337.
by sterlind 2y ago
> Because the initially identified patient had no known exposure to infected animals, he or she may have acquired the virus from another person who was infected. well that's absolutely terrifying.
338.
by sterlind 2y ago
It's depressing. This should be an age of new hardware, with near-memory computing and flexible architecture. Instead it's GPUs for the foreseeable future, Nvidia has a near monopoly, AMD seems uninterested (despite also owning Xi
339.
by sterlind 2y ago
some tools make it too easy to enforce bad laws at scale. it's a lot of work for the morality police to catch up to every woman who removes her hijab and cart her to jail. unless you're watching all the women all the time, they&#x
340.
by sterlind 2y ago
I also do OR-adjacent work, but I've had much less luck using 4o for formulating MIPs. It tends to deliver correct-looking answers with handwavy explanations of the math, but the equations don't work and the reasoning doesn't
341.
by sterlind 2y ago
Because none of your other majors will hold up much longer. Once software engineering becomes fully automated, so will EE, ME, applied math, economics, physics, etc. If you work with your hands, like a surgeon or chemist, you'll last l
342.
by sterlind 2y ago
"Open"AI is such a comically ironic name at this point.
343.
by sterlind 2y ago
Regulators can't even keep doing what they're doing, because what they were doing was publishing rules to resolve ambiguities in legislation, and now the Court system has preempted that privilege. Loper-Bright has turned the exist
344.
by sterlind 2y ago
I doubt it. LLMs seem to do a very superficial job generating summaries and reviews, likely because they don't know what to focus on (what information is relevant), and because they don't have the planning ability to structure a n
345.
by sterlind 2y ago
but you denounce apartheid, right? and you condemn the Bantustans? and the chemical and biological weapons being developed under Project Coast, including mass sterilization of the black population, as revealed by the TRC hearings?
346.
by sterlind 2y ago
if an average citizen claims they're being followed by government agents, they probably have paranoid schizophrenia. if a diplomat in an unfriendly host country claims the same, they probably are. it's not paranoia if they really
347.
by sterlind 2y ago
could you share any links you have? I'm fascinated by the whole saga of Havana syndrome, plus I live in Seattle. I'm on the skeptical side but my mind is open.
348.
by sterlind 2y ago
that's surprising to me. Torch supports ROCm, why are startups wasting their money on H100s if they can get a better deal with AMD GPUs?
349.
by sterlind 2y ago
GPUs are scarce, expensive and in high demand. Devs are cheap compared to the expense of training a huge model. If Cerebras or some other hardware company develops a viable competitor to the H100, it doesn't matter if the ISA is 36-bit
350.
by sterlind 2y ago
probably also because of piracy and the cracking scene. you're too poor to buy software, so you learn to crack it. you learn how to read assembly and use a debugger, a ton of obfuscation techniques and how to circumvent them, cryptanal
351.
by sterlind 2y ago
and it's useful for tradecraft. I think NSA uses Tor to some degree, for example.
352.
by sterlind 2y ago
I used to play so much Bunny Tracks. It was like digital parkour, using physics glitches for acrobatics through crazy obstacle courses. Such a neat game format, but I never saw anything like it (besides Portal, kinda.)
353.
by sterlind 2y ago
you can apparently provide a Unix socket path in /etc/crypttab now, and it will connect and read the key from the socket. so you can have the same functionality, but you have to get at it a different way: https://github
354.
by sterlind 2y ago
my cousin's husband is a cop in Philadelphia. my cousin has a "courtesy card", signed by him, declaring that she's family. she shows it along with her license when she gets pulled over for speeding, and they let her off
355.
by sterlind 2y ago
This is incredibly depressing. Such a priceless collection of unique computing artifacts, many the last examples of their kind. And at the LCM the public could reach out and touch them, play games on them, explore them! And now the collecti
356.
by sterlind 2y ago
that means almost nothing. a Geiger counter can pick up radiation from a single banana. that just means the detector is sensitive, not that bushels of bananas are a health hazard. the detection threshold is completely irrelevant. I grew up
357.
by sterlind 2y ago
Iodine used to be commonly used to reduce pseudoephedrine to meth, but these days most meth comes from superlabs in Mexico, who use a very different process. I doubt you'll catch much heat for it these days, especially since it has a n
358.
by sterlind 2y ago
And yet, housekeeping is directed to look for soldering irons and USB sticks, among other things. God forbid some maniac brings a loaded thumb drive into the premises - some of those high-capacity rounds can hold 1TB or more!
359.
by sterlind 2y ago
ack! try again, I forgot to update my account name since Discord got rid of # tags. I also put my email as a fallback.
360.
by sterlind 2y ago
1) You could train a different language model to translate between Lean and English. Use AlphaProof to do the hard work of theorem proving; use the translation model for interpretability and as a user interface. In fact, such a system could

More ›