naasking

29 ms·

601.
by naasking 1y ago
What has the world wide web come to?!
602.
by naasking 1y ago
LLMs are pretty a central to most next step architectures, like neurosymbolic ones, multimodal ones, etc.
603.
by naasking 1y ago
All apes are intelligent. Studies have shown that their causal reasoning is almost on par with humans. What they seem to lack is language for communicating sophisticated concepts and persisting them across generations.
604.
by naasking 1y ago
You're assuming that only men who couldn't get a partner would be lured away by these AI girlfriends. This assumption is incorrect, thus my original argument stands.
605.
by naasking 1y ago
> 'Incels' who are likely these companies target market have committed domestic terrorism. Just FYI, incels are empirically less likely to commit violence than average.
606.
by naasking 1y ago
> Do we have any reason to believe that men using AI as a substitute girlfriend are less likely to do these sorts of things? Yes, because on aggregate, it entirely eliminates intimate partner violence from this group.
607.
by naasking 1y ago
> Ai relationships are different because they don’t exist in the mind of the ai. There’s no mind there’s an architecture that does not even attempt to simulate a mind. Even setting aside the question of AI minds, I fully accept that an A
608.
by naasking 1y ago
> Countries are indeed fictional, and the misplaced belief that they are in some way a natural reality is a significant part of what leads people to start talking about killing each other in the name of their country. No, people kill eac
609.
by naasking 1y ago
> The willingness to live in make believe, and the willingness to treat that make believe as if it were reality. Everyone acts on fictions every day, some are just socially acceptable. Like, do you think countries and currency really exi
610.
by naasking 1y ago
https://news.ycombinator.com/item?id=45487334 When more of their revenue comes from AI than graphics, and they're literally removing graphics output from their hardware...
611.
by naasking 1y ago
> I never ever wanted the compiler or runtime to check a subrange of ints. Ever. Requiring values to be positive, requiring an index to fall within the bounds of an array, and requiring values to be non-zero so you never divide by zero a
612.
by naasking 1y ago
> as it inserts run-time checks that are not easily traceable to source code Modifying a compiler to emit a message at every point that a runtime check is auto-inserted should be pretty simple. If this was really that much of an issue i
613.
by naasking 1y ago
As the OP mentioned, restricted number ranges: with Ada.Text_IO; use Ada.Text_IO; procedure Restricted_Number_Demo is -- Define a restricted subtype of Integer subtype Small_Positive is Integer range 1 .. 100;
614.
by naasking 1y ago
> So what happens if Google has all your data? To the best of my observations over the past 20 years: best in class services, cheap, paired with excellent security and data availability. And hope you never have your identity stolen, or a
615.
by naasking 1y ago
This is true of any basic function call hierarchy. Lots of functions in every program's call tree are just passing around values they don't explicitly need but that some callers deeper in the call tree will need, so what you descr
616.
by naasking 1y ago
It doesn't help that JS is kinda shitty and that browsers had inconsistent behaviour for decades, and still have only partial support for some features.
617.
by naasking 1y ago
It ships with just as many features as Windows 10 which is also in that range, so it's not too surprising.
618.
by naasking 1y ago
QNX is allegedly a microkernel. Either the QNX POSIX API is itself another layer over the microkernel, or QNX cannot be a microkernel (hint: it's the former [1]). People run L4 as a hypervisor only because they want access to the full
619.
by naasking 1y ago
This is exactly it, and forget about desktops, laptops are not upgradeable at all. Hardware from 10 years ago is still very capable. Windows 10 will be around for awhile.
620.
by naasking 1y ago
> We really need something for small IoT boxes that has less attack surface than Linux. seL4 exists.
621.
by naasking 1y ago
> No, they're making predictions about the future. If AGI requires 30 years of compute improvements as you say, then it's not reality, it's a forecast contingent on those 30 years of development continuing unimpeded. The i
622.
by naasking 1y ago
1. How do you know human cloning has been prevented? Maybe you mean it's not provided as a commercial service, but does that entail it's not happening at all? 2. Preventing the manifestation of physical objects is a lot easier tha
623.
by naasking 1y ago
> When tech leaders say "AGI is inevitable," they're not describing reality; they're shaping it by discouraging attempts to coordinate. No, they're describing reality. As I posted in another comment, progress in
624.
by naasking 1y ago
> Personal computing almost died multiple times. Xerox PARC had it all in 1973 but management killed it. IBM thought the market was ~5 computers total. The Homebrew Computer Club was nearly shut down for copyright infringement. Any of th
625.
by naasking 1y ago
> Plenty of mathematical proofs have been proven true with 100% certainty Solipsists would like to have a word with you...
626.
by naasking 1y ago
> I just know that model optimization gains are much less guaranteed than say, FLOP density, even though model optimization has so far provided way more gains than hardware advancements. Performance gained from model improvements has out
627.
by naasking 1y ago
> But a lot of technologies turn out to be S-shaped, not purely exponential, because there are limiting factors. S curves are exponential before they start tapering off though. It's hard to predict how long that could continue, so t
628.
by naasking 1y ago
> But a lot of technologies turn out to be S-shaped, not purely exponential, because there are limiting factors. S curves are exponential before they start tapering off though. It's hard to predict how long that could continue, so t
629.
by naasking 1y ago
> But a lot of technologies turn out to be S-shaped, not purely exponential, because there are limiting factors. S curves are exponential before they start tapering off though. It's hard to predict how long that could continue, so t
630.
by naasking 1y ago
Is this actually equivalent to classical forms of quantization though? The paper has extensive discussion of quantization on page 2 and 3. This paper is not just a rehash of earlier work, but pushes the single bit precision to more parts of

More ›