skysight-inc/HackerNews huggingface dataset:
I use Thunderbird on a MacBook Air (Apple Silicon). Just be warned that it seems to use a lot of CPU resources (when seemingly not doing anything) and therefore uses up the battery faster than it should. It's not a deal breaker. I tend to keep it closed until I check my mail, which isn't ideal, but then again, it's not the worst productivity/stay focused habit to have. This is as of May 2023 and earlier. Hoping the update/integration with Firefox may improve this.
I’d note none of these are reasoning tasks.
Yeah, the recent Logitech G Cloud (pushed as an Xbox streaming device) was met with rather lukewarm reviews. I can see this getting a similar reception.
I'm not sure. It seems to be applied to "circuits", which in this context seems to mean a one-way set of logic gates (such as AND, OR, NOT, NAND) which map a set of boolean inputs to a set of boolean outputs. In theory you can construct any finite digital function that way. It's a useful abstraction, like a Turing machine.

Unlike a Turing machine, a circuit is finite. All circuits are "solveable" (given a outputs, compute an input which yields them) by trying all the input patterns..
There's no undecidability and no halting problem. There's just difficulty.
"Difficult" here means there's no way easier than trying all the patterns.
This is the same property sound cryptosystems are supposed to have - there's no easier way than trying all the keys.

Whether this result can be extended to programs with iteration I'm not sure. The paper doesn't seem to mention iteration or storage.
> The Foreign Intelligence Surveillance Court doesn’t (and courts in general don’t) issue subpoenas.

This sounds like a matter of technicality, no? Whatever you call it, what they issue has the effect of a subpoena that you can neither appeal nor speak about.

My point is not that this is what's going on here, but that the right to appeal is not generally a given.
Obfuscation is itself a malware signature.
When transforming the logic gate design of a chip into the lithographic plates used for chip production, the plates were originally made by applying tape to create the photo masks. The name stuck and it now means to move a semiconductor project from the design phase to the manufacturing phase.
A bit of a tangential point, but the problem with Ukrainian situation - is that Ukraine doesn’t fire back to where these rockets came from. Any engagement I can imagine involving NATO would not be constrained to such ridiculous, sad, and unfair asymmetry.
The ESP32 should be able to handle 9hz 160x120 video. There are some projects put there using it for this. I just can't get it to work and there are no step by step guides for it.
Personally, while i like the new logo on its own, it seems too similar to the Firefox logo - enough to create some confusion. Further, since Mozilla has lowered its level of support over the years, I'm not sure it makes sense to commit more to the Mozilla brand, especially since Firefox itself has been steadily losing market share.
Yes I just chuckled so I played along. Now I'm meta-explaining, which is also a good joke.
I'm glad this is getting brought up. Minix has so much potential and it is due for an open source community to care with a mission. Its hard to find where an org would use it since Linux is so popular and so few orgs really need a hyper reliable operating system with limited libraries and dependencies. Military or space problems?
> could an adversary surround the warhead with absorbent chaff as a countermeasure

That would require a constant stream of chaff (it would get left behind pretty quickly without any thrust), and would need to be shot out in the opposite direction of travel (lowering the missile speed the entire time), and require the chaff and its launch mechanism to be part of the payload (increasing weight).
> I think Saberhagen's Berserkers actually had this feature.

Yes. Code decoded other code, etc. So if the code wasn't running normally, it couldn't be analyzed.
It was handwaving back then, but it may become real.
Interesting. May be it's "right hand doesn't know what left hand is doing" kind of situation. Some developers there want to advance Vulkan while others are hung on NIH. It's not uncommon in huge companies.

Or may be it's just a longer term effort and they need to keep updating NVN until Vulkan improvements are sufficient to stop doing it.

The Vulkan post mentions this:

> VK_EXT_shader_object represents the culmination of years of work to bring Vulkan developers ever more powerful and easier-to-use ways to manage shaders and state. We’re proud of what we have achieved and can’t wait to see what developers can do with this extension once you get your hands on it.

So it sounds like they've been working on that for a while. They also mention some pending items like ray tracing in that context. In the end, constantly reinventing the wheel is just pointless and wastes resources. So it makes sense for them to focus on Vulkan.
Had dealt with a similar issue, as well as an issue where all configuration variables was loaded from a database into an in-memory table, and that table was queried with a sql-like structure like a thousand times over a single web request stack (login request was like 25-30s). I swapped it out with a hash table, and that knocked the login request to under 10s, and 9.5s of that was an external system outside my control.

On the race condition, that was actually pretty easy to diagnose and solve, replaced the static property with a local getter/setter using the request context to store the value (asp.net 2.0).
> No known bugs

This is the part that I doubt will ever be achieved by any system or structure of moderate complexity or above. Everything that exists in the real world has problems with it. If it's a building or a machine, then it's done once it's built unless there are major safety issues. The cost of fixing non-critical issues in a physical product is too high to justify.

The problem with software is that the marginal cost of "one more fix" is close to zero, which means that declaring something "done" means drawing a somewhat arbitrary line in the sand. Why is this new complaint less important than the similarly-scoped one that you fixed last week? There's not really a good answer to this question, so there's never a good day to say that you're not fixing anything more.
A patriot has a very small coverage. And I was under the impression it can't even take something as fast an ICBM.
Another thing the police can do is try to solve problems beyond stopping lawbreakers. See https://en.wikipedia.org/wiki/Community_policing. These things really do matter.
Or they're chasing threat actors, ransom groups, etc as part of a larger investigation.
Their stuff was garbage back when there was VLB.
I have heard that writable Blu-Rays are thought to be much more durable than all but the best DVD-R.
> you absolutely can sing loudly in a theater, but you don't have a right to demand you can keep on doing it.

good point
Gotta love that free and open market where everyone is playing on the same field
> can be done as easily as hanging the chicken between your legs by it's feet and swinging it back and forth

Uhh.... are you sure??
Then no one would be using it at all and Intel would pick the next OS project to use.
Well that's cool, personally i wasn't alive in those days :)

On another note, the absolute best mail client i have ever used is FairEmail on android. It even beats Thunderbird on the desktop. If you run android i highly recommend that too.
Great article, and great commentary: "penetration aid" is a new one.
Probably 12-18 months. Next major LTS or the release before is where most jumps happen. If it's less than 6 months until the next LTS, then wouldn't expect it until the interim release after the next LTS... at least that's been my general experience. Then another month or two from the downstream PopOS release.
Lidar works up to 300 meters. That’s plenty for highway driving. Everyone using lidar also use multiple cameras so they are getting best of both worlds (using sensor fusion).
Once more, and then I'll leave this thread. This is circular. I asked for an example of where you'd need to use a consume load for correctness[1] on a modern architecture, and you gave me an example of where a consume load would generate different code. That's not responsive. What you posted was a situation where a compiler would take something that is a dependent load syntactically and turn it into an independent load. And that's interesting, but on an architecture where dependent loads are always correctly ordered it's not a justification for having consume in the standard.

(Edit: it's also true that this is a regime where we've seen security bugs due to optimization exactly like this. And that's true. But that's also not a memory ordering issue and it's, again, not resolvable by use of the C++ consume load feature).

So we're back to "consume exists so you can write C++ code in 2023 to run on an architecture Compaq cancelled in 2003". Right?

[1] Though it's true that my second phrasing was more ambiguous than my first.
It is a common problem today that in order to transfer data between devices located in the same room, it needs to pass by a data centre on another continent.

Instead of internet you use local transfer networks, e.g. WiFi, Bluetooth, LoRa, RFID, QR codes, USB, etc.
Hold on. I need someone to explain something to me.

The colab notebook shows an example of loading the vanilla, unquantized model "decapoda-research/llama-7b-hf", using the flag "load_in_4bit" to load it as 4bits.

When... when did this become possible? My understanding, from playing with these models daily for the past few months, is that quantization of LLaMA-based models is done via this: https://github.com/qwopqwop200/GPTQ-for-LLaMa

And performing the quantization step is memory and time expensive. Which is why some kind people with large resources are performing the quantization, and then uploading those quantized models, such as this one: https://huggingface.co/TheBloke/wizard-vicuna-13B-GPTQ

But now I'm seeing that, as of recently, the transformers library is capable of loading models in 4bits simply by passing this flag?

Is this a free lunch? Is GPTQ-for-LLaMA no longer needed anymore? Or is this still not as good, in terms of inference quality, as the GPTQ-quantized models?
There's a reason no one uses ATI GPUs in datacenters. Their dev support is shit.

Don't waste your money.

Buy 6 RTX 4090's and a decent ECC-memory server, and call it a day.
I had a professor who said that in the early days of priceline he used to book fully refundable flights from London or Paris to NYC on the concorde then cancel them - just to pick them back up on priceline for a few hundred bucks at the last minute. Never knew if it was bullshit but certainly made a good story when I heard it in 2008. The context of the global financial crisis made the .com boom/bust look quaint.
Putting my conspiracy hat back in the closet, I guess there is plausible reason to believe that someone used PyPI for fraud, CP distribution or some other crime.
Once vegans take over the world, there will be no reason (and no economic basis) for chickens or cows to exist at all. But there will be less methane emissions and animal suffering.

Come to think of it, the best to live is some place like the Moon that has negligible methane and no animal suffering.
An expired certificate should not cause that. I'd be very surprised if they did not have a cryptographic timestamp [1] on the driver signature. The presence of the timestamp allows the signature to be verified after the signing certificate has expired.

1 https://en.wikipedia.org/wiki/Code_signing#Time-stamping
There must be some widespread realization of this problem, because "interdisciplinary" is a common buzzword in grant applications.
I mean, I like roller coasters, but I think the biggest challenge might be getting hundreds of humans on that ICBM with the current flight profiles.
Nothing is ever done. Even things as established as the bicycle and cooking are under constant evolution, research, and improvement. Software is hardly getting started in comparison.
Right after they ask it how to fix the issue.
You can simply not sign into a Google account, and Android lets you turn off more tracking than iOS, which won't even let you get your location without telling Apple. No need to install a custom ROM.
With all due and complete respect, I think not being able to read your own handwriting a few days later is a minority position...
To be fair it depends on where the interception takes place - if in space, no decoys etc have been deployed yet.
You can add amanda to the "pretends everything is tape with mostly miserable results" list.
In the constitutions of many other countries, you will find an explicit clause saying (to effect) "rights and freedoms granted by this constitution are not absolute and exceptions can be made to them for sufficiently grave reasons".

Unlike those other countries, the US Constitution never contained such an explicit clause, but the Supreme Court has always read it as if it did. The Supreme Court feels quite justified in doing that, because if you go back and look at the debates in Congress and the state legislatures over the proposal and ratification of the Bill of Rights, it is clear that its proponents always intended it to be interpreted as if such an "exception clause" existed, even though (for whatever reason) they chose to leave it as implicit rather than explicitly putting it in the text.
I suppose it turns out when you fire most of your workforce, reliability suffers.
NASA hired Cygnus (our first customer!) while we were figuring out how to do what we planned to do. The open source world would look quite different had they not!

We had a couple of key customers like that who hired us despite ourselves. NASA hired us and told us how to do our job. Intel hired us because they needed an alternate compiler to their official one for the i960 (they needed it to exist, it didn't have to work). We knew how to port gcc, gdb etc, but we didn't know how to do the job (i.e. send the reports and updates that a big corp needs). McGeedy flew down, read us the riot act and told us how to do our jobs.

A few customers like that and we had it down pat.
> from the same developer

Oh, wow. I apparently missed that they were brought back under the Mozilla umbrella three years ago. Cool.
We can't really comment much on it because a bunch of specs are lacking. Is it using 6x 7900 XTXs? Which Epyc CPU (Epycs vary in price from $1K to $11K)?
This site breaks the back button on mobile. It inserts a page to the stack, and it seems under certain conditions that page breaks the link back to this thread. It happened to me after reading the entire article, but not when I tried without reading the article.
Yes, in a sense. It won't work well for distribution of training on a single subject, but you distribute training based on subject and then combine LoRAs.
? I'm not entirely sure what you mean.

What I was trying to convey was that the FBI could have exerted some kind of pressure to get Google to run the anti-booter ads of their own volition instead of the FBI (presumably) buying the ads like anyone else would buy ads. I have no idea what that kind of pressure would entail cuz I don't work for the feds and couldn't say what their "do this or else" strategies are like, lol.
Which part of the transaction is against the principles of a free and open market?
I like George's style and wish him well. But I'm not optimistic about their chances of selling $15k servers that are $10k in parts (or whatever the exact numbers are).

It's just too easy for anyone to throw together a Supermicro machine with 6x GPUs in it, which is what it sounds like they'll be doing.

My guess is they'll end up creating some premium extensions to the software and selling that to make money. Or maybe they can sell an enterprise cluster manager type thing that comes with support. He's good at software so it makes sense for him to sell software.

And maybe the box will sell well initially just as a "dev kit" type thing.
To be clear, I'm not claiming LLMs are already better than humans in general sense, across many domains of cognition. I do believe however that, in the aspects you mention, SOTA LLMs (primarily GPT-4) fairly close to humans on the spectrum - they're "playing the same game", so to speak, in the sense in which prior computer systems, and most life forms on Earth, are not.
Didn't read the article.
You can absolutely learn a language and say a lot about it without knowing about the “special characteristics” of people who speak/spoke it.

Like, do you need to know anything about Roman culture to understand Latin grammar? No.
"kenny" was the name of our login system in a PHP web app I built a long time ago
You sir, have clearly never met us special forces. A “couple hundred” with combat load would be an absolute force to be reckoned with.
I was always surprised at how AMD hasn't already thrown a bunch of money at this problem. Maybe they have and are just incompetent in this area.

My prediction is AMD is already working on this internally, except more oriented around PyTorch not Hotz's Tinygrad, which I doubt will get much traction.
What are you talking about? Russia launched Kinzhal missiles as part of a larger saturation attack on Kyiv earlier this month and they were all successfully intercepted by the US Patriot system, operated by Ukraine. One piece of debris hit a Patriot radar, but no systems were lost.[1][2]

The Russians also arrested the scientists who helped develop the Kinzhal and charged them with treason due to the apparent failure during this attack.[3] Not something you usually do if your weapon system is successful.

[1] https://apnews.com/article/russia-ukraine-war-patriot-kinzha...
[2]https://www.bloomberg.com/news/articles/2023-05-06/ukraine-s...
[3] https://www.nbcnews.com/news/world/russia-hypersonic-missile...
Depends on if you're running LTS or an in-between release... the release right before an LTS can be really active in the first 3 months or so. At least that's been my experience. That said, some updates will be frozen entirely at the release before LTS.

In either case, I wouldn't expect it before 12-18 months... The RDNA 1 drivers seemed to take 8 months to see something stable drop in an LTS, the release before LTS was running an older kernel and had to add a custom PPA for more bleeding edge kernels (breaking a bunch of other stuff, but at least I could see the screen, when an update didn't kill it).
> Why can't they use US Dollars or Japanese Yen instead?

If you burnt by your own government, chances are you will not trust a foreign government either, especially the one which has a recurring record of bullying other countries and freezing dollar assets for foreign entities over geopolitical matters. There is a reason why Gold is so popular world over - people had shitty rulers for most of our history and they trusted no one, not even a benign ruler from some other country.

> its probably cut off (including from BTC).

You can't cut off BTC. That's the beauty - as long as you have internet, you can use BTC.

> you've now got the problem of counterparty risk

Which is why you don't trade it every day. Trade it only occasionally when you want to do big value transfer with trusted parties. See how Afghan girls used it to escape Taliban: https://www.reuters.com/article/crypto-currency-afghanistan/...

> Why do you want to transact with denominations of that size with people who are clearly untrustworthy?

Strawman. I didn't propose that at all.

> And its dead on the high-end due to unreliability of the community.

No it's not. You can store your wealth in BTC and use it sparingly with trusted parties, just like people have done it with Gold for centuries.

> What exactly should I use BTC for?

Store of value. Just like Gold. Con: it doesn't have long history of Gold. Pro: it is much easier to transfer or take it with you (just 12 words) when you are fleeing.
I tried using this or a similar repo to set up a Tailscale exit node on Fly.io before.

The downside is that my traffic never went direct; it was always relayed via a Tailscale DERP node, as Fly.io machines were only accessible via anycast, and so a direct connection from Tailscale on my machine to the exit node on Fly.io couldn't be established.

So performance wasn't as great (and I felt bad about using up Tailscale's DERP bandwidth, as a free user).
What I’ve seen: most big companies have one or a few Oracle databases and hundreds or thousands of “all other DBs”, including licenses for MS SQL Server.
OK upon actually reading the article it looks like they didn't include a timestamp - ouch.
You can say this about every startup that has ever existed.
That's harsh! started reading about it and things like suffocating with gas or electrocution baths in addition to that. I wonder why a jolt to the head cow stun-gun style is not used, whether industrial or on private farms. Too difficult for a small animal? But sticking an awl in their mouth doesn't sound too much easier.
That's understandable. Some people lie, and pretend they "have connections" and "know the right people" and "can get funding" and "are good at getting the customers and marketing", and people with the right charm can pull off the deceit. I could have fallen for this when young if someone offered me this. Luckily for me they didn't!
Cultivating Flow: The Key Are Concepts
Thunderbird has supported chat for over 10 years since version 15.
For the same reason they won't let you pay for a movie and keep it. It's a worse business to be in.
Two idiots showing the world how dumb they are together. How fitting.
thanks! should have been obvious, but to me it wasn't
> And their usage is quite bursty so I think you're right that a space based laser would just spend days charging

Sure, but surely there will be a maximum total power storage that a satellite will have, and if that totals, say, 50 missile zaps, them don't you have the same problem that the enemy could send 51?

When 51 missiles are on their way, you don't have time to recharge from the sun.

And unlike the diesel generator you can't quickly add more power storage the week before when you see what the enemy is about to do.
I go cave exploring and camping all the time so I have to rely on flashlights and lanterns and to be honest, I've never had one fail in the past 10 years. I've never had a battery fail on me either -- sure, forgetting to charge is one thing but you can carry multiple batteries.

An overkill lantern that would serve anyone well could be this one:
https://www.amazon.com/Camping-Lantern-Rehargeable-Runtime-f... designed by budgetlightforum.com

Or if you want to search for lanterns and flashlights:
http://flashlights.parametrek.com/
I wish recipes instead of usual waffle just had a paragraph of "why". The experienced can skip it, the novices will learn.

Like how you should only use 00 flour on pizza if you have hot enough oven while more usual flour works better if your oven doesn't go that hot.

I guess I should start looking for cookbook that goes into detail about process and not just dumps recipes on me.
Which would make total sense for AMD if they pull it off.
> with the early-adopter plan (which has limited AI features)

Those limits are gone with this announcement too.
The why: notifying a suspect in a criminal investigation could allow them to flee or take measures to avoid prosecution, destroy evidence, etc.
Ok, well we’re talking finance.

They beat earnings. By a mile.
Can someone explain - even if they got one through, wouldn't North Korea basically be a wasteland 30 minutes later?
In the US it is legal to advocate hate, such as denying Holocaust or promoting National Socialism or white supremacy. The courts have repeatedly struck down bans on hate speech. Not sure about the Netherlands, but this is illegal in many European countries.
Fun fact: The current ferry vessel between Bar Harbor, Maine and Yarmouth, Nova Scotia is literally the Hawaii Superferry vessel repurposed: https://en.wikipedia.org/wiki/HST-2