skysight-inc/HackerNews huggingface dataset:
The world isn’t ending. Watch less CNN.
I found this Veritasium video interesting, about a company that is paring down models so they fit on analog chips, so the chips can be used in self-contained devices. It also appears that quantum computers may be even better for matrix math that transformers rely on. If all these hardware advances pan out...

https://www.youtube.com/watch?v=GVsUOuSjvcg

https://phys.org/news/2023-01-analog-quantum-previously-unso...
This is one of the reason I use NixOS. I think it has the best ZFS support possible (at least on Linux)
> You can go through all the reals one by one, in order. As long as you can keep going for infinity.

> Simple: at each step generate a random real number and assign it a natural number.

This is nonsense. You said you were going to go through the reals "in order". Then you give a procedure that involves generating reals randomly. Just think about what you said.

It's not possible to go through the reals "in order"; that would imply that for any real, there is a "next" real.

Let the starting real be A. Suppose there is a next real; let it be B (generate it using some random process, if that floats your boat). The interval between them, B-A, let us call that C. I can divide C by 2, and produce a new real D=A+(C/2), which is smaller than B and larger than A. Therefore B is not the next real.

This is true for any choice of A and B, so it follows that there cannot be a "next" real, and so it's impossible to go through the reals one by one, in order.

> As long as you can keep going for infinity.

That's irrelevant, even if you restrict yourself to the reals between 0.001 and 0.002, because whatever process you use to select the "next" real, I can find one that is a better candidate, by dividing the difference by two.

The number of reals between 0.001 and 0.002 is the same as the total number of reals, and it's bigger than the number of natural numbers. That's a mind-boggling conclusion; but note that Cantor died with his mind well and truly boggled (he went mad).
I suggest a visit across street bazaars and flea markets, where people still use to hunt for them.
Can we also acknowledge that US state governments are also deliberately, willfully, and maliciously harming those who gamble away everything they have on state lotteries, if "allowing people to voluntarily ruin their own lives gambling" is a sin?

No disagreement on the charlatans, scammers, cybercrims, NK's of the world, etc, FWIW.
I've lived long enough to know that while I pursue lots of long-term research type projects in my spare time; the vast majority of people would spend their relaxing time on online games, gambling, and other useless pursuits. Sorry, but it's just true. I've seen it in my own family.
Seems like a very subtle lightweight glasses type product would pair nicely with LLM.
>Dr. Surdhar was sending and receiving the messages through WhatsApp, which is semi-encrypted but, he would soon learn, not impermeable.

...

>Through the WhatsApp conversations found on Nosa’s phone, national investigators helped police collar Sundish Nazran, the Burger Bar armorer. Sixteen more gang members were indicted, jailed, and sentenced to more than a collective 200 years imprisonment.

Yeah, the encryption doesn't help when you keep the messages in an unencrypted form. If it is convenient for you to see the archived messages then it is usually convenient for others to see them as well.
I'm curious if anyone has any insight. The recent rise in this does feel like something dietary or environmental will be involved. The fact that it's colon cancer definitely suggests dietary type exposures. Are there major changes in diet in the past few decades that we can point to? Are there some countries where this is happening and others where it isn't?
I’d love to learn about compilers. I’m a self taught programmer; what books or online courses would folks here recommend ?
Did you miss where they stated the city is making them do that stuff?
Sometimes it's possible to get a pretty good bead on someone's worldview from even a short excerpt. In this case, the author not only has a low internal locus of control, but seems to adopt it as a core belief. Here's the key part:

"Constantly ask yourself why are you working so hard on this damn thing. If the answer is: 'so I can get ahead,' remind yourself that it’s a treadmill and you’ll always stay at the same place, no matter how fast you run."

Note that this isn't merely a statement that the world is unfair, but that it's unfair and any effort you make to deal with it will end in frustration.

I find this fatalism both increasingly common and increasingly odious. The opposite attitude may be irritating - Steinbeck's "temporarily embarrassed millionaire" - but I prefer to reason from agency when there's a decent chance the more empowering view is right. Rather than concluding that everything is a red-queen rat race, why not try to find a corner of the world where you can play a better game?
I think this is where things can get kind of interesting, because future integrations of ChatGPT can farm the "real work" out to systems and tools which do have better models of the specific query.

The LLM approach may not be able to replicate the "knowledge" your calculator has, but it (or some pre/postprocessor) may be able to recognize that a given question is actually something a calculator can answer concretely, and then it can delegate the computation to traditional software that really does "know" how to answer the question.
Criticizing Jacobin does not mean one is an unapologetic capitalist. Not sure why hacker news, which prides itself on supposed openness to new ideas, is playing the false dichotomy game when it comes to this subject.
The infrastructure where I am (The Netherlands) is great as long as you can charge at home.

Germany is just backwards which is odd - they're a car country and EVs are faster and more efficient than ICE so it's surprising they've not already gone all-in.
I personally believe that they only tell you that this about E-fuels, even though everyone knows that those will be too expensive. What they are really looking for are ethanol or vegetable oil derived fuels that are likely much cheaper, especially once the capacity of 5-10% in todays E10 gasoline is freed due to drop in demand. They cannot tell you that because food prizes are high right now. But I would not be surprised at all if in 2035 there was a biodiesel version of Porsche's 911.
See these articles in English for details:

https://edition.cnn.com/2019/09/17/health/russia-lab-explosi...

https://iser.med.unsw.edu.au/blog/explosion-vector-hoping-be...

Following an explosion, first responders and firefighters entered a building to inspect (break into) every room on every floor for signs of fire. It has been reported that some Russian firefighters have been known to steal items during these inspections, as they can deny responsibility after a door lock is broken. The video shows a soldier pouring out water from a stolen water bottle while the director of the BSL4 lab speaks.

There were several investigations conducted by independent Russian reporters into this incident and the subsequent outbreak of an unknown virus in Siberia that occurred shortly after, but I am unable to locate them now.
> “Humans are actually reasoning. LLMs are not.” Again, how would you measure such a thing?

Wow. Leave it to HN commenters to arrogantly ignore research by those in the field.

1. LLMs can't reason or calculate. This is why we have ToolFormer or Plugins in the first place. Even GTP-4 is bad at reasoning. Maybe GPT-infinity will be good? Who knows.

2. They call out to tools that can calculate or reason (Humans built these tools not aliens)

3. How can humans do 2 if they can't reason?

https://arxiv.org/abs/2205.11502

More informal presentation here:
https://bdtechtalks.com/2022/06/27/large-language-models-log...
And staff will go work for restaurants that pay better.
Marinka is a Western suburb of Donetsk City, still controlled by Ukraine mostly.
https://goo.gl/maps/V2E57H5XFqzxoyvX6
This is somewhat understandable.

But to be clear, this is also an extraordinary set of circumstances -- a very recent, but marked stable kernel, on rolling release distro, with a back ported set of changes, breaking a dkms ZFS build.

The user was notified and was able to take remedial action. My only issue would have been -- I'm not sure Arch made this very easy.

FWIW I use Ubuntu LTS and ZFS on root works great. IMHO every distro should just ship ZFS. Ubuntu has proven this is just not a practical difficulty anymore. Let's quit the charade of making users compile their own kernel modules for each kernel release.
> without the barrage of garbage the world throws at them.

Surveillance, for-profit mythomania, and predatory consumerist garbage... as well as other types of predation.
I wonder if the US will do the same for their adventures in the middle East in the last few decades.

In a serious culture we could discuss these things using spreadsheets and data using strict epistemology, but in this culture we mostly discuss them in simplistic, cherry picked, "just so" stories, and pile on anyone who dares to step outside the Overton Window of consensus "truth".
Tipping culture is out of control. Some of the things I’ve seen and oppose:

1. 20/25/30% becoming the default instead of 10/15/20%. 20% is now expected and people throw passive aggressive remarks at you if you tip 20%.

2. Tipping at places that don’t provide any service: mom and Pop clothing stores!?; takeout places where you pick something from the shelves and walk to a counter to get it billed; restaurants where you order at the counter, pick it up when it’s ready, eat on a table and clean up after yourself when you leave;

3. Expecting tips after you’ve already charged for the service. This includes but is not limited to delivery apps: you get charged a service fee, a delivery fee, a local legislation fee that is to ensure the workers get paid fair wages, all of which exceeds 30% of your order. Then are expected to tip. It makes sense in some cases (delivery from a far place or a big order etc.), but not as a default. I’ll tip when you only charge delivery fee or don’t charge anything (like old school pizza places).

4. Tips for salaried employees or contractors. I am not paying my plumber a tip after I paid the dude $140/hour in labor charges on a job that cost me upwards of $3000. Just no.
You mean like the ban on CFCs, incandescent light bulbs, plastic straws [1], etc.? Top-down bans work very well, they reward companies that were early movers towards better protection of the environment.

[1] https://business.gov.nl/running-your-business/environmental-...
We need to leave most remaining oil in the ground if we're not going to race past 2C or even 4C warming.
The fuel concerns in Ukraine right now and the precariousness of the EV in crisis situations has made me rethink an all-ev future. Fuel cells and hybrids using the type of hydrocarbons you mention, are starting to make much more long-term sense to me. Alternatively, we should basically force houses to be able to sustain themselves and charge at least the inhabitants' cars, while decoupled from the grid for indefinite periods.
Note the bullshit of the human was clear here, but imagine for example, was about incompatible medication that the human accidentally mixed up? ChatGPT will happily continue on the misleading track.
One of the biggest questions when doing layoffs is whether you should kill entire teams or cut more teams by a small amount. A 1-2 person team is often very bad for people's careers and creates major sustainability problems when people take vacations or leave or whatever.

I am sad that codejam is gone. I'm not certain that a skeleton crew would have been good for the skeleton crew.
This will be as successful as Animojis.

This headset will have a loyal customer base, will make a big splash, but will not transform computing, creative work, or anything for the everyday user.

Apple Watch got so extremely lucky. I do not ever want to see Apple make product decisions like 'well this worked, so let's see if this will, too.' There is zero taste in that, zero craftsmanship, it's just AppleGPT Product Edition.

[not done]: Have we really all forgotten how we all fell on our collective a** we were when we saw Mac, iPod, M1, iPhone? How hard is it to know - "guess what, this was kinda 'meh'" vs. "well that changes everything"?
This whole "multi-service aircraft can't work" meme has been going for essentially a century, and has been wrong just as long.

The F-4 Phantom, probably deserving the title of greatest Western multi-role aircraft of the cold war, had long successful service with both USAF and USN (and USMC), with fewer inter-service airframe differences than between the F-35A and F-35C. Multi-service aircraft are totally workable, the services just don't like having to play nice with each other.

The F-35 is better thought of as a family of tightly-related aircraft which share as many major systems as possible (avionics, sensors, engine, cockpit) while having differing airframes. Doing exactly the kind of reusable engineering a major project should be doing. You can claim that different project management might have been cheaper, but the idea that three separate airplanes, one for each service, could have been engineered and produced for less is just wishful thinking.
Zypper handles multi-repository setups much better than anything Debian-based thanks to the notions of vendor and vendor change. If you need to install proprietary software, add restricted codecs, inject a few bleeding edge packages, or run your own repo (very easy to do via the free openSUSE Build Service, a public instance of the Open Build Service), this feature of the package manager is super nice.

openSUSE has some very good automated QA via OBS, too, so their rolling release (Tumbleweed) is more stable than you might expect.
I'm using it in the same way
as Berger and Luckmann.
The Chinese Room Argument holds that a digital computer executing a program cannot have a "mind", "understanding", or "consciousness",[a] regardless of how intelligently or human-like the program may make the computer behave.
https://en.wikipedia.org/wiki/Chinese_room
I’m really enjoying Mint, it feels like windows but without all the bullshit.

I wish someone would make a distro like mint and get it into offices and schools. Windows is so awful for 99% of use cases but it’s what everyone is used to. Government computers don’t need cortana uploading everything to their servers. They need a distro that offers stability and consistency.
Indeed. Large numbers of humans - quite likely the vast majority - view the world through a lens fundamentally warped by pure fantasy nearly all the time.

We all do it some, it's called bias, but unfortunately very few try very hard to correct for it.
So this is not a new argument, and the rhetoric is intended to be inflammatory clickbait.

Somehow it evokes a dichotomy between "communism and capitalism", despite having essentially no definition for either of these things.

So let's give it a shot. Roughly speaking, Communism is where no one is allowed to have private property, and Capitalism is where all property is privately held.

This is a nice definition because it defines a whole family of government structures, partially ordered by what a person is allowed to own, and it also demonstrates that the top and bottom elements of this order are both terrible, and therefore serve as perfect strawmen for people advocating moving "up or down" the order. Owning other people, or private armies, is not in the best interest of society. On the other hand, not having a mechanism by which you express preferences is a disaster of efficiency. Likewised not having any personal incentive to work prevents people from exchanging labor in ways that benefit each party, and is also obviously not in the best interest of society.

No one worth listening to disagrees with any of this, but they always imagine their opponent to be advocating for the top or bottom element. "Capitalism vs Communism".

Pick a set of things you think people should be able to own, and how the government should go about allocating the rest, and then do yourself an intellectual favor, and never use the words Capitalism or Communism again, except in explaining the problem with the dichotomy.

Government is a much more subtle problem than that, and you're not participating in that subtlety in good faith when you use argue against the strawmen.
Not no longer necessary, but not viable on the scales we’re willing to invest. A new accelerator would cost on the order of 100 billion. Such an accelerator is unlikely to discover anything of interest compared to its cost.

There are paths forward, but most of them involve stellar phenomena - which leaves the extensive organizations required to push accelerators forward without much to do.
1. It’s not like the people working on VR headsets are the same people who would be working on LLMs.

2. I think Apple has enough money to fund both initiatives to be alright

3. The unit economics of LLM products are still not proven and even when it is, any hardware product will more than likely have higher margins. Do you think people are going to give up the iOS ecosystem for Android based on an improved voice assistant?
I like how the author identified that his program was slower than he thought it should be, profiled, and identified some low-hanging fruit. He tried quite a lot of things, some of which panned out and some of which did not. Interpreters and Rust aside, this is a perfect example of software performance work.
Oil and car industries are not going down without a fight.

Just tells me its ok to buy a new disel coz it will be supported at least fir the next 50 years or so. Cheaper and higher comfort.
> For this issue a workaround with Kernel 6.2.8 is discussed in the AUR comments for zfs-dkms: https://aur.archlinux.org/packages/zfs-dkms This would involve editing the PKGBUILD for ZFS to patch the license for the symbols to GPL, though I'm not sure about the legality of this approach

In the US there is 17 USC 117(a) which might apply:

> Making of Additional Copy or Adaptation by Owner of Copy.—Notwithstanding the provisions of section 106, it is not an infringement for the owner of a copy of a computer program to make or authorize the making of another copy or adaptation of that computer program provided:

> (1) that such a new copy or adaptation is created as an essential step in the utilization of the computer program in conjunction with a machine and that it is used in no other manner, or

(Section 106 is the section that says you need permission from the copyright owner to make copies or adaptations).
So did you guys not realize the "No AI" metadata tag existed, or what? And where are the required attributions given that this is all CC-BY content that you've scraped from SketchFab?
> The US has been the economic leader of the world for those hundred years, so of course nobody is losing money under the FDIC. But no guarantees on how long that will last

We're on track to people losing 100% of their stablecoins at some crappy fake online bank every 4 or 5 _months_.

Celsius, Gemini, FTX. Who is next? Your money was safer in Argentina than in FTX or LunaCoin.
In games I think it’s quite clear how it will help. We already do this to a large part with foliage and trees. There is a ton of content that isn’t emotionally important but it needs to simply adhere to the style and sit there in the environment
My prediction: it will suck. Why? All AR devices suck, the tech just isn't there.
I think they were talking about Germany. To paraphrase Norm MacDonald, “I don’t know if you’re a history buff or not, but in the early part of the previous century…”
What sort of source are you looking for? What would satisfy your question?
Healthcare isn’t the only thing keeping people back.
I've owned a car for a decade now. Within the past year I finally moved somewhere with access to transit. It's been the greatest thing ever.

The transit here isn't even that good, but it is entirely liberating compared to driving. I can get basically anywhere I need and I don't have to pay attention to the road at risk of my life. My vehicle is just an expensive toy to me at this point and I'd rather it not exist. I don't want it. At all.
He said it's one of the obvious things to remove if you're trying to make a faster, more static language. And apparently he got Brendan McArdle to implement this list of features, and the resulting language was 10x faster on some toy examples. It reminds me of the hiphop talk where they list why PHP is slow (https://youtu.be/p5S1K60mhQU?t=634). Of course Facebook then went on to release the Hack language.

But it's not clear to me that he'd necessarily remove these features in an R clone. For example, eval is one of the features to remove. Python has eval, and I think many people use it, because it's convenient. Although it's hard to implement in a static language, that isn't a good reason to remove it in a dynamic scripting language. A PEP to remove it would probably get shot down immediately.
Anecdotally this has been awful amongst my peers. My step kids dad died by38 from it. The oldest’s best friends dad has it. I know a handful of others who have had it or scares.
I don't know any people who still use them (aside from lights that haven't broken yet). LED lights have become much cheaper since the ban, last much longer, and with the current energy prices they are probably much cheaper over their lifetime.
I'm guessing pytorch probably doesn't branch as much as a game.

One of the best "real" Benchmarks is compiling the Linux kernel, the issue is that on an emulator/verilog simulator that could take a very long time.
I'm squinting a lot to draw a net conclusion, but clearly a massive focus on testing & simulators.

They notably seem to be validating & simulating C/C++ targets for a lot of this.

They have a great breakdown of the tools they've used & build. Chisel, out of Berkeley, lies at the heart of almost everything. But they have reams of new tools they've madd. There's over a dozen simulators or tester pieces they said they've made. Which is epic, and makes total sense.

Great paper thanks for sharing. I quickly scanned their gitbub repos. A lot of these tools probably arent iterated on as much & I just haven't got to them yet. The paper claims the overarching development structure is embodied on a tool MinJie, which the paper says is open source. Fantastic, fingers crossed 50%+ of the tooling here is available.

I also feel like the US's OpenROAD deserves some shout out as related, relying on extremely good design checking/validators to be so agile at chipmaking that ML can spit out designs en mass & then we can run loss checks to find out how working the various designs are. Millions of monkeys on typewriters style ultra agile.
Thanks for posting @royjacobs. Sadly rtx has never really been a hit on HN. One day it’ll make a splash I’m sure!
We already have:

– Crypto to enable black markets for stolen/leaked personal data

– BitTorrent to make huge downloads (ie: of leaked data) feasible

– Facial Recognition to attach a name to a face (ie: using leaked data)

– portable drives capable of storing 1TB+ (ie: of leaked data)

If AR goggles are successful, it could be at least as bad a blow to privacy as the success of social media was. They are the last remaining puzzle piece.

If Apple spearheads this, Apple's reputation eventually could take a hit (obviously to the extent that everyone comes to see AR goggles as a nuisance).