skysight-inc/HackerNews huggingface dataset:
3x compute modules 4, not used plus 2x carrier boards also not used for sale here. Let’s make small Hacker bazar. Wanted to use them for a project. Then I wasn’t able to buy more and went with FPGA. I hope it’s not against forum rules.
Sony confirms its working on a new Playstation portable, codenamed Project Q
I've written a letter to the FAA in support of getting rid of leaded gas. I've written my Congress critters about the issue several times. I'd love to see it end. I don't personally do any GA, I've never flown in any of those planes, I've never bought avgas. I'm not in support of the use of leaded gas in the slightest.

What have you personally done to remedy the situation?

All I'm trying to do is share knowledge. I imagine many people on this forum would have thought a Cessna would have used more gas than a speed boat. Chill out.
I read that Patriot missiles cost $5m each. Should make a contract with SpaceX to crank 'em out for $20,000 each.
> How does the ethical use of this prolematic tool get ascertained? Where and how is the democratic oversight implemented? How is misuse treated and prevented?

I can't speak specifically to this case, but in general when asking a judge for the warrant they also provide compelling evidence that harm would come from disclosure. The judges weigh the rights of the targeted and other parties that would be subject to a gag order against the greater good.

To answer your last two questions, all gag orders eventually expire. It isn't a prohibition against the impacted party speaking out, just a delay. They can go directly to the judge or appeal to a higher court.
Ask HN: ChatGPT for Drafting Privacy Policy and TOS?
Is it sane to use ChatGPT for drafting a privacy policy and TOS for a tech/app startup? Lawyers are probably absurdly expensive for this type of stuff.

Any other reasonable methods for this?
F-35 is an awful, awful, awful deal. It's an iteration on the F-22 that is expected to cost 1.7 trillion dollars in total. An absolutely unimaginable sum of money.

https://www.gao.gov/products/gao-22-105943
Kinzhal is an air-launched ballistic missile. It's roughly an Iskander dropped from a plane rather than fired from a truck: https://en.wikipedia.org/wiki/Kh-47M2_Kinzhal

It is hypersonic, but it follows a very predictable high-altitude trajectory, so it's the easiest kind of hypersonic missile to intercept.

I read a good thread about the various kinds of hypersonics a while ago, but can't find it now. Broadly, there are three classes: hypersonic cruise missiles (like Tomahawk but much faster), hypersonic glide vehicles (basically ballistic missile warheads with wings), and classical ballistic missiles. It's the former two which are new and scary. This touches on it, but is rather one-sided: https://www.brookings.edu/blog/order-from-chaos/2023/05/23/u...
I don't think anything here, I just watch what happens.

I wouldn't do most of the stuff cops in the US are doing, and without knowing you the slightest I still have some confidence that you wouldn't either.

Yet they do. Not all of them, but some. And that is enough.
That was my comment you’re referring to.

I’m not saying the criticism is invalid. Rather, pointless without action/traction.

But we all have to let the hot air out somehow eh?
Podman-TUI is a Terminal User Interface to interact with the podman
"For ease of comparability with other gauges of financial conditions, the index is oriented so that higher values indicate a deterioration in sentiment: the index rises in alignment with episodes of elevated stress in the U.S. financial system or tightening of financial conditions."

Does this just mean reverse-coded (negative = 1, positive = -1)?
Are we saying anything other than that preimage resistance on SHA1 has held up? Because that's true of MD5 too. It seems probable that H(k,m), for truncated H, will hold up?

The big reason I can think of not to use H(k, m) (or hand-rolled SHA3 KMAC) is that it will quietly fail open if you switch to a normal SHA2 hash.
This is the exact mindset that I was imagining: How are you going to find people in the latter group? Are you planning to drive around, refueling at abundant and well-serviced post-apocalypse gas stations in between your murderous rampages? Are you planning to walk or bike around, before you have any spare food, killing whoever you meet on sight? How long do you expect to live, when every meal is a firefight?

Are you really so heartless? What if it's not truly a zombie apocalypse scenario, but the Yellowstone supervolcano erupts and you are stuck in place, but will likely be able to evacuate in a month after roads get reconstructed? Is it worth killing your neighbors then? How about 3 months? What do you do when you go to kill someone for their food and they see that you're in a shitty spot and offer to help?

I have no qualms with also having guns and an ammo stockpile, especially for hunting, but that is significantly less important than figuring out water and food.
The author has fantastic endurance, what a marathon to get the files of the tape.
Power play. Excited to see what's next!
> As far as I can tell, there really isn’t anyway for a chicken to have a “happy death”

"Freerange" refers to how they lived, not died.
Just saying, Guanaco LLama model just got released that actually beats GPT-3.5 in a fair few metrics. So right now it's already possible to run a local version with a beefy GPU and it'll only get better as time goes on.

In a strange coincidence I've recently been doing some tests with small 10 W solar panels and with two or three of those plus an Nvidia Xavier (20 W TDP) one could actually run a solar powered LLM right now with only about as much solar as fits on a person's back (though only the smaller 13B versions).

Give it a few years and we'll have them integrated into smartphones. So yes, you will in fact always have an LLM in your pocket just like the ol' calculator excuse.
You clearly do care very much about other people's personal choices, and you're not shy about calling them immoral if they come to different conclusions about, say, finding a life balance between between time, money, and minimizing externalities. In your mind, my willingness to use an extra pint of gas each month in order to have more time for my family indicates that I don't "generally care about other people". That makes me sad.

I'm curious: how do you feel my monthly pint of gas compares to your pet dog's consumption of food resources, including the environmental destruction of factory-farmed meat, packaging waste, and transportation costs?
$14.99 a week? I can't tell if you are serious or joking. If you are serious can you send which app that is? I'd love a good laugh.
Show HN: a Demo of the WebAuthn Specification
If you slaughter the chicken appropriately the animal is stunned than killed, you still take a life but suffering is limited.
This is a poor analogy. Paper doesn't help people write any more than stone. Text generation software absolutely helps people write in a way that is likely to cause them to start using different skills and forget the old skills. They'll at least get out of practice.
I feel like you are super trapped in a very small way of thinking.

Say I run an IoT system across a variety of embedded systems. I could dynamically load small behaviors & scripts to all targets with this. User scripts could target all devices.

Your aim that native code can target everything seems to be pretty limited. A lot of languages can't or won't invest in wide micro-architectural & embedded support.

I feel lile you are confining yourself to a very very narrow position, & refusing to see possible middle grounds or uses. We needn't adopt such stark framing.
Several options… have the state build houses… or fine people if they build houses with too bad quality… I don’t see an unsolvable issue here.
So basically the apps in the daily journaling ecosystem are useless, because the Notes App can already do what they do?
You pay a lawyer to do this so you can hold them accountable to produce a waterproof draft. You could use ChatGPT to draft your TOS... but are you willing to hold yourself accountable?
In an alternative world where laptops are selling like hot cakes I would say it's because AMD woke people up who hadn't seen enough improvements to justify a purchase since 2012, the wild economy that has people job hopping, and of course the massive power requirements as Meta pushes APIs from the wildly successful metaverse to Facebook feeds.
It was unveiled in 2018 by Putin alongside the Zircon anti-ship and Avangard glide vehicle [1]. Within the context of Russian hypersonic ballistic missiles, Kinzhal is the flagship.

You're absolutely correct, by the way. And that's the author's point. (Which I've been partial towards for a long time.) Hypersonic missiles are not the game changer they're claimed to be, and to the degree they open new tactical ground, the United States is well set to at the very least match adversaries' capabilities.

[1] https://en.wikipedia.org/wiki/Russian_%27super_weapons%27
There's a theory that C programs are better designed from an implementation perspective and from a feature perspective precisely because it's so difficult to work with. The cost of implementing architectural complexity is so high that people put in extra thought and effort to discover the simplest design that can possibly work, which means better-understood and more reliable systems.

Same thing with features. Fewer, better-vetted features mean more secure systems.

C encourages better, simpler designs, but at the cost of making it nearly impossible to write safe code. Garbage-collected languages remove entire classes of errors, but they make it easier to implement lazy, unnecessarily complex designs.

Maybe Rust offers the best of both worlds? (I say this mostly but not entirely tongue in cheek.)
Thanks for the kind words :) Temporal is a great technology for this use case.

Wow, our DSL even looks similar!

Your app has beautiful design, which I guess shouldn't come as a surprise given that it's Airbnb.

Would love to chat to discuss further.

max@dittofeed.com
> using the backup for its intended purpose: to restore a system after hardware failure.

No. The intended purpose of a backup is to restore the data (such as the Frogger 2 source code) after a hardware failure. If it has the side effect of also producing a working system, that's good, but it's not the point. After all, the hardware necessary to build a working system may not exist any more; one (only-probably not the last) instance of said hardware just broke, after all.
surely that Act is by definition unlawful?

I still don't really understand

in the UK: Parliament has unlimited power and people talk quite a bit about formal constitutions being a good model to be followed

it seems a bit sad the attempt to protect the population against government using a formal constitution doesn't seem to work in reality (even when the wording is as clear as day)
And I got scared away from everyone saying "oh, NT has such beefy hardware requirements and doesn't support joysticks." And before I realized I didn't play games on my beefy work computer, win2k was out and it seemed to have better support for multiple displays.
webauthn is a silly name, it stands for web authentication.

A company recently released a product on HN which seemed to be a thin wrapper around webauthn.

So I thought I'd show HN this demo (not mine) so people know what you don't need any software to authenticate users, simply using Windows Hello & TPM, Mac TouchID and Secure Enclave, or Android whatever and TEE.

When you register, the website makes a keypair, TPM/Enclave/TEE store the private key, the website remembers the public key.

When you log in, you use your biometric or USB device to access TPM/Enclave/TEE and sign a message for you. The website knows it's you because it has your public key. The private key never leaves your TPM/Enclave/TEE.

So yeah, this is part of the web now. You don't need to pay someone to use it.
individual AI instances = we (humans)
> How does that work with in combination of freedom of speech?

The government is not preventing you from expressing your free thoughts and opinions. They are compelling you to not disclose the details of something you had no knowledge of before they asked you about it.

Nothing is stopping you from writing a blog post about how it is unfair to seek records of a potential criminal, but you cannot write about how it is unfair to seek the records of Bob Jones when you had no other reason to believe Bob was anything but a regular user.
Power outages? I'm not worried. If the sun burns out, the AI will just make another sun.
Sounds like a good violent monkey [0] script for you do this weekend. :)

[0] https://violentmonkey.github.io/
There is something called Lindy Effect, which states that a format's longevity is proportional to its current age.

I try to take advantage of this by only using older, open, and free things (or the most stable subsets of them) in my "stack".

For example, I stick to HTML that works across 20+ years of mainstream browsers.
I checked your numbers, and they check out.

It is sobering.

Now, leaving aside the hypothetical supersonic jet planes, we still have this problem with the existing airplanes. If we want to decarbonize aviation, then how do we go about this?

On one hand, maybe 747 is an old plane and not that fuel optimized. I checked for 787-9, and it burns only 1.5 liters per second, which translates into 55 MW. It can only carry about 300 passengers vs 520 for a 747, so overall there is an improvement by about 33%. It's not nothing, but it's not that impressive either.

Anyway, with whatever fleet of commercial airplanes the world has now, some old, some new, we consume about 100 billion gallons of fuel per year. That's about 300 million tons.

Let's say we switch to hydrogen somehow. Which has more than double the energy density of jet fuel. We would need about 150 million tons H2 per year. According to the DOE [1], a 1GW nuclear power plant can produce about 150 kT of H2 per year, so we'd need 1000 of them. The whole world produces about 400 GW from nuclear reactors, we'd need to multiply the current fleet by a factor of 2.5, just to decarbonize air travel.

[1] https://www.energy.gov/ne/articles/could-hydrogen-open-new-m...
Emerging Fund Manager Report – Q1 2023
> After all, how much damage can the Russians inflict with 10 or 20 or, let's say, with 50 such missiles? Not much, maybe they'll damage a building or two, maybe there will be some casualties on US soil, but not enough, and by a large margin, to win a war. Or, to put it another way, if the US were to militarily fold as a result of 50 such missiles hitting them on their home turf then they wouldn't have stood a chance anyway, hypersonic missiles or not.

You (and the article, frankly) are pointing them at the wrong targets: the best application of hypersonics is to shoot them at the US's blue water navy. The combination of perfect, real-time information via synthetic aperture radar and highly maneuverable hypersonics turns an aircraft carrier into an extremely expensive floating coffin.
It’s great that he wrote it up in such a nice format so others can now run more sophisticated studies.

Imo journals should encourage such articles along the lines of “here’s a neat idea that we tried and that appears somewhat plausible, and we’re not even going to pretend to do statistics”.
Other comments have put better than I could, but I'll add that what people call ecosystems nowadays is completely unthinkable in embedded. Sometimes you have critical applications and you bet you need to certify every single line of code that goes into your application. Small embedded devices are more geared towards engineering than other kinds of development, and in my opinion that's why applications work well, in comparison with the mess we have in the web nowadays, for example.
That's kinda the joke
Reading and writing have served humanity well.

We can see the impact of outsourcing thinking in modernity, via the simplicity of likes and retweets.

While ChatGPT can be a helpful tool, the issue is that many will substitute rather than augment. It is a giant language averaging machine, which will bring many people up, but bring the other half down, though not quite because the upper echelons will know better than to parrot the parrot.

Summarizing a text will remove the nuance of meaning captured by the authors' words.

Generating words will make your writing blasé.

Do you think ChatGPT can converse like this?
Understanding Blockchain Technology and Its Role in Credential Management
What do you mean by "everywhere in the world"?

MUC is 30 km away from the city, KRK is in a village next to the city, LHR is within "Greater London", Singapore Airport is 20 km away form the city, separated by a forest, etc.

Lisbon's airport is indeed part of the city. So is London City or Gibraltar - but I wild day that they are exceptions.

CDG and ORY are reasonably close to Paris to be called Paris airport.

BVA is a stretch, it is called Paris-Beauvais but is actually in a different region, 120 km away from Paris. But the Paris Airports site does not refer to it.
Yes, the name conflict is unfortunate. We named our project Zed in 2021 before the Zed text editor was a thing.
Cost of individual military items is often clouded by the need to amortize development cost over a relatively small production run. Making an additional missile beyond the contracted quantity does not cost $5m.
I skimmed the repo, one thing that I noticed and appreciate about this project is that it looks like it doesn't make any assumptions about your prompts.

One very similar tool is https://github.com/paradigmxyz/flux.
I'm not sure how to take this comment. Is it unworkable or surprisingly workable?
That was delightful and touching. Now I'm hungry.
Git repo: https://github.com/containers/podman-tui
> the default one is unbearably slow

https://danluu.com/images/term-latency/loaded-terminal-laten...
Something to do with smell or what?

I've heard of this with cats too.
I mean, surveillance reduces crime. Wherever you fall on the spectrum of surveillance/privacy, I can guarantee if the government read everything everyone wrote/texted/read and recorded their every move, there would be less crime.
> to stay ahead of copyright expiration

Could you elaborate on that? I thought copyright was a much more recent idea.
In the Irish midlands now (came from California) but working on a move to NL.
Netflix stock price is half of what it was in 2021, and as a subscriber via T-Mobile I can confirm that their content situation is dire. This is a company throwing whatever they can find at the wall to see what sticks.
Many people are, but don't get stuck in a false dichotomy. Physical and digital spaces can each be exhausting or nourishing depending on how the space is run and your personal needs. There's nothing wrong with demanding that both "worlds" should be healthy ones.
>>F-35 is a capable platform with a reasonable but large price tag for those capabilities.

We might have a different understanding of what reasonable actually means. I am curious if you are willing to share your understanding of how much has been spent to-date on the the F-35 program and your thoughts on how that price tag may be considered reasonable for what was delivered. I'm not being combative, I am genuinely curious.
"This act" refers to the delay. It is explicitly distinguished from other acts of suppression he faced at other points in his life.
Supposedly a remote steaming device. I was going to say, good luck competing with Asus Ally & future AMD chips especially!
That raises important questions about OpenAI's security. ChatGPT's output may become extremely influential. Many actors are strongly incentivized to infiltrate and control it (or just pay off OpenAI).
Most likely... but the party who was served the order can file for appeal if they are willing to go that route. That said, it doesn't mean any such appeal with favor the party served the gag order.
Ask HN: Why don't web browsers play audio from one tab at a time?
For example, if you have several tabs containing audiobooks, then clicking play in one tab should automatically pause audio from another tab.
> Russian hypersonic missiles

There are zero such missiles. It's all marketing BS. They have air launched ballistic missiles. These are not "hypersonic missiles" by any accepted definition.

(If the Russian definition is valid, then the V2 was a "hypersonic missile").
That’s a subscription!
The thing is, seq-cst does not guarantee correctness, far from it. And you write down a proof, using the happen-before rules, the acquire/release edges are fairly obvious. So I don't think seq-cst buys you a significant amount of safety.
I'm still not clear on the second question. If lalaithion's original statement "the Q and K matrices aren't structurally distinct" is true, then once the neural network is trained, how can we look at the two matrices and confidently say that one is the query matrix instead of it being the key matrix (or vice versa)? To put it another way: is the distinction between query and key roles "real" or is it just an analogy for humans?
I think you can set how the terminal presents itself in both tmux and regular Terminal.app

If the app doesn’t check for support and simply spills the control characters, there may be garbled output.
For anybody who is into this this is a a good excuse to share a presentation from Vintage Computer Fest West 2020 re: magnetic tape restoration: https://www.youtube.com/watch?v=sKvwjYwvN2U

The presentation explores using software-defined signal processing analyze a digitized version of the analog signal generated from the flux transitions. It's basically moving the digital portion of the tape drive into software (a lot like software-defined radio). This is also very similar to efforts in floppy disk preservation. Floppies are amazingly like tape drives, just with tiny circular tapes.
China is just as upset as the rest of the world about learning that real war requires lots of ammo, and not just a pittance in a storehouse somewhere.

Powerful countries have been surprised at how much ammo is required since firearms became the dominant way to wage war.
> I haven't seen these posts. Do you have an example handy?

here's one from earlier in the week: https://news.ycombinator.com/item?id=36000459

they're pretty common, here's another one: https://news.ycombinator.com/item?id=35617773
Yo dawg I heard you like AI so I have AI maintaining your AI so you can always AI while you AI.
Sony announces a new Playstation handheld, For Streaming
Emergence engineer got jumpy and axed the internet connection.
> With regards to 1st Amendment, the limit is drawn today at [...] "Fire in a Crowded Theater"

No, and it never was. That was an obiter dictum that didn’t accurately reflect the state of the law in the decision in which it appeared, and the actual holding in that case itself (now regarded as an intense intrusion on core political speech) is no longer operative.

It's a catchy turn of phrase that gets stuck in the mind, but it was also an rhetorical device neither in a decision that has since been substantively overruled, not an actual example of an existing limit on free speech.
Is this related to that Microsoft disclosure?
The thing with Kinzhal is that it is not maneuvering, but the Russian agitprop muddies the waters by focusing on the "hypersonic" part. However, as the article points out, an actual maneuvering hypersonic missile - which is something that all major players are working on - is indeed a major threat. It's just unlikely that Russia would have that any time soon, given the overall state of their technological development demonstrated during the war so far.
That doesn't change the fact that it's not a valid refactoring. If you can't make it unit testable without changing behavior, then it should tell you that.

Replacing a function that does `print("hello world")` with a function that does `return "hello world"` isn't a valid way to make it unit testable.
Do you even have the same view for Google? Wikipedia? Entire internet?