skysight-inc/HackerNews huggingface dataset:
I'm not sure what your point is, but my Mac Mini M1 runs Linux. Asahi Linux.
I see nothing in that definition that contradicts the stated facts.

> In criminal law, to detain an individual is to hold them in custody

> Custody is the state of physically holding or controlling a person

If a person positions to block my way (especially in an official capacity), this is detainment, brief as it may be and as hard as it may be to prove in a trial.
it should. that’s hilarious
> HAMTs are hash tries. O(log(n)) lookup, but persistent / cheep to copy.

O(LOG(k)) might be a clearer bound rather than n.
The academic Phillip Tetlock systematically went through and checked on forecasts from a range of people and found people who performed better. His work is very much worth reading.

https://en.wikipedia.org/wiki/Superforecaster
The benefits from operator overloading are "I can show this to a mathematician and it looks like what they're used to". The downsides lurk in the corners of whether it's actually doing what you think.

I'll pass.
Pretty cool concept! I feel like it would have made more sense to get multiple samples of each frame, and let all the users upvote/downvote frame versions to arrive at the best ones.
It's still a dumb, greedy idea unless your primary goal is acquiring capital. I bought an old iPad to upcycle and getting apps on it has been so much harder than it has any right to be.
> Aerospace quality is largely driven by reducing false negatives. You’re generally more ok throwing out something good than accepting something bad. Reducing false negative is what becomes costly.

Right. But the special case here is that if you can eliminate part of the process entirely, you no longer have to pay for reducing false negatives in it.

> Hiding quality issues by increasing throughout is a classic fallacy in the process control world because it increases waste. Sorry if I misinterpreted your point here.

All I'm saying is that trying to increase throughput will force you to simplify and streamline, which often will increase waste, but still significantly lower the total cost. Random example: CNC milling is incredibly wasteful compared to some more complex (and more manual) processes, but it's also much simpler and faster, and this saves you way more money across the board than you lose over wasted material. Same principle applies to QA: if you have two tests with equal false negative rate, with the second one having 2x the false positive rate but being 4x cheaper to run, it's worth it to switch to the second one - while this doubles the waste at this stage, it also lets you double the production (or just save you half the costs).

Now, to give specific SpaceX / aerospace-relevant examples, I'd have to dig through some of the things I've read over the years that gave me this overall impression. Having not done that, all I'm saying is that there are strong synergies involved in scaling production up. You don't just get bulk rates and pump stuff out faster - you get better at it faster, which lets you optimize it further and do it quicker. Simplifying design to simultaneously cut costs of parts, assembly and QA, is just one specific case.

> Is there some specific new NDT you’re thinking?

Not really, not right now. I could look over my notes and some references, and perhaps point something out - but that would really be pretending I know more about manufacturing processes than I do.
> I've started to see 2023 as the Year of Freeloader Ousting

I'm ... oddly actually not opposed.

Things being "free" has distorted a lot of markets and ossified them--even in open source (See: GitHub, for example).

If things actually cost something, people can get paid to do them. In addition, things that cost real money don't have the same pressure to go for giant network effects in the hopes to get a lock-in monopoly. It also sidesteps the advertising pathologies.

I don't see any of these things as bad.
Google probably indexes 25% of the content available nowadays.... I rarely use Google
Nobody gonna ask who in their right mind finds it useful to open three rows of a spreadsheet on a phone? Why would they even have that on the device?

If there's one thing iPhone figured out, it was getting actually useful apps on phones instead of imitation desktops.
Amusingly, journalists have been proclaiming the death and/or resurrection of Twitter pretty much since its inception.

My favorite is from 2012: https://i.insider.com/4f4f8f0d6bb3f71e5700002b?width=750&for...
I tend to agree with this. I like operator overloading for mathematical constructs (like complex numbers or even just for conversions of literal types, Imagine, for example, you have a gram type and a second type, if you said 1g / 1s you'd get 1gps, that seems reasonable)

I don't like it in the example given

for (int i : std::views::iota(0, 6)
| std::views::filter(even)
| std::views::transform(square))

What benefit does this have over the Javay/Rusty version that looks like this

for (int i : std::views::iota(0, 6)
.filter(even)
.transform(square))

?

No deducing what `|` means, you are applying the filter then transform function against the view.
Yeah chicago works like this if you go 10 over and blast every yellow. Not sure if that's just civil engineering realism or what.
Start with an analogy: We've never seen a car before but find one, learn how to drive it, and are amazed, and ask "How does this amazing thing work?". We study the rubber in the tires, the disk brakes, the air conditioning, the universal joints, differential, the transmission, the pistons.

Then we see the box that has the computer for controlling the fuel injection and ignition and start to take it apart to see how it works when one of us says:

"Stop. In broad terms, I can tell you how it works: It does what it needs to do so that the car can work. But by now we have gone so deep into how this car works that it is time to ask

What is the purpose of this car?"

The universe as it seems from current astronomy, ..., is one huge and intricate construction. Sorry, but tough to believe that all of this has no purpose.

Ah, two possibilities:

(1) We really are the center of the universe and the only life.

There is a lot less to the universe than what seems from current astronomy. In particular, objects we can never reach due to the speed of light limit are just fake, something like a painted screen.

(2) We have not found it yet, but there is a way to violate the speed of light. The whole universe is ours for the taking once we see how to exceed the speed of light. There is a game: For the laws of physics, how long will it take for life to develop to understand these laws and, in particular, how to exceed the speed of light?

For either of (1) or (2), maybe we should start a new subject, super cosmology, that assumes that the universe has a purpose. We look for that purpose and, for each discovery we make, e.g., dark matter, quantum mechanics, black holes, quasars, gravitational waves, ..., ask what its role is in the purpose of the universe.
Just redirects to the app unfortunately.
You had nothing to do with it.
Greta Gerwig’s ‘Barbie’ Dream Job
Your illness isn't annoying me. The fact that I need to pay for it via my health insurance premiums is.

If we want to pay for it via government mandate, fine. Raise taxes. That way during my lower earning years I dont need to artificially pay for it through health "insurance" that isn't really insurance.
The presumption here is that it was a true replication, and that's pretty damn hard to accomplish in the soft sciences. It matters, just not nearly as much or as conclusively as in something like physics.
Unfortunately, like spicy peppers, everyone's definition of "too much" is different. Some people are eating ghost chili peppers just fine while others are struggling with ketchup.
Thoreau, in Walden, on borrowing an axe: "The owner of the axe, as he released his hold on it, said that it was the apple of his eye; but I returned it sharper than I received it."

A high school English teacher used this passage to impress upon us this same philosophy of "leave it nicer than you found it" (in particular, I remember him telling us that our parents leave us in his care and he saw it as his job to "return us sharper than we were received") and it's one of those rare moments that made such a deep impression on me I remember it often even decades later.
He totally does! I grew up reading the comics and still consider myself a fan, thanks for teaching me something new about Tintin. Very cool.
The solution I’ve come up with is to budget for this overage

So, some nonzero number of people will screw you over if you are kind and give them a break. Add in a 10% emotional buffer and don’t give away what you can’t lose, as you know that this is going to happen.
Citizen's arrest only exists if there's reasonable suspicion a proper criminal event has occurred, and conveys no liability protection: if the person "citizen arrested" is found to have not committed a crime, the "arrestor" can be civilly sued for huge sums of money, and potentially criminally charged, themselves (though this is, I understand, uncommon).

In general I can't think of a way private interrogations are legal in the US, though the airline will likely claim that the kid was "always free to leave" and get away with this.
I once had to do something very quickly on set to get something "interesting" on the screen. It was a macbookpro available, so I opened up Terminal, set it to the green on black Homebrew color scheme, created a while [ 1 -eq 1 ] type loop that did a find . -name * -print type of command. they were supper happy with it since the characters were meant to be trying to find a file. I just said, this is basically how I'd find a file, so they really like the authenticity.

I really enjoed the stories from the advisor for Silicon Valley that went so authentic that the world now has the Not A Hotdog app.
My favorite was the time that someone asked Kelly [1] about why she was using Excel and not the messaging app on that product-placement phone and she was like "I have no idea what you are talking about or why this is a meme." And then the Microsoft Excel Twitter account, the only good Twitter account, responded with grace [2].

[1]: https://twitter.com/MichaelBaggs/status/1099957857901002752
[2]: https://twitter.com/msexcel/status/1100162136888827904
I don't follow. Macros are literally just vectors of input events; if keyboard navigation works, then so will a macro that replays that navigation. (It is also already possible to record a macro that includes mouse events.)
Whatever you think he doesn't know, he actually does know.

The ignorant one here is you, and now you're doubling down on it, sadly.
Yet Americans vote for religion of government that preaches we will be taken care of by continuous deficit spending. Deficit spending of money/value created out of thin air will eventually reach a mathematical point of no return. Maybe USA is already at that point, and now we wait for the judgement day when money no longer has purchasing power.
> Of course, it’s this blog of mine that’s #1 on HN!

I mean, you did file it under "well, actually..." - that's canonical for HN. ;)
Actually yes, architecturally that's the essence of predictive coding.

It's among the leading theories in neuroscience for how our brains work https://en.wikipedia.org/wiki/Predictive_coding
Microsoft's deal to buy Call of Duty maker boosted by US judge
I've definitely written bugs where the format specifier is wrong. Maybe you used %lu because a type happened to be unsigned long on your system, then you compile it for another system and it's subtly wrong because the type you're printing is typedef'd to unsigned long long there. Printing an uint32_t? I hope you're using the PRIu32 macro, otherwise that's also a bug.
> The staircase shape formed by the left-hand side of the LLVM threads is because the rustc thread does the MIR-to-LLVM-IR conversion one CGU at a time, and the LLVM thread for a CGU cannot be spawned until that conversion is complete.

Is there a particular reason why this can't be parallelized?
Making things explicit isn't necessarily boilerplate.
$400 per night for a 2-stars hotel? Is that really the case? That sounds absolutely insane, even for most 5-stars.
The Psychological Depths of Rock-Paper-Scissors
This is like wondering if somebody could use a text editor to turn the "cat" binary into a Postgres server - this isn't "modifying" the genome, it's replacing it outright.
A bit off mark on networking, looking at Tofino there. Could have maybe left barefoot alone, but no, buy it, hype it, actually tape out and start delivering nextgen, then cancel before people rack them.
Take as an example printf("%d\n", foo->x);. Assuming it compiled but assuming no further context, what could break here at run-time? foo could be NULL. And the type of foo->x could be not an integer.

Let's assume you run the code once and observe that it works. What can you conclude? 1) foo was not NULL at least one time. Unfortunately, we don't know about all the other times. 2) foo->x is indeed an integer and the printf() format is always going to be fine -- it matches the arguments correctly. It's a bit like a delayed type check.

A lot of code is like that. Furthermore, a lot of that code -- if the structure is good -- will already have been tested after the program has been started up. Or it can be easily tested during development by running it just once.

I'm not saying it's impossible to write a bad printf line and never test it, only to have it fail years later in production. It's absolutely possible and it has happened to me. Lessons learned.

I'll even go as far as saying that it's easy to have errors slip on refactors if there aren't good tests in place. But people are writing untyped Python or Javascript programs, sometimes significant ones. Writing in those is like every line was a printf()!

But many people will through great troubles to achieve an abstract goal of type safety, accepting pessimisations on other axes even when it is ultimately a bad tradeoff. People also like to bring up issues like this on HN like it's the end of the world, when it's not nearly as big of an issue most of the time.

Another similar example like that are void pointers as callback context. It is possible to get it wrong, it absolutely happens. But from a pragmatic and ergonomic standpoint I still prefer them to e.g. abstract classes in a lot of cases due to being a good tradeoff when taking all axes into account.
I am not an iOS dev. What is the significance of App Attest wrt the loophole used here?
“He asked that Rossi at least corroborate… she refused to do so saying that it didn't align with her memory”

Maybe the whole scandal is an elaborate memory priming experiment?
This is the coolest thing I've heard of in a bit! I wonder if it could be an alternative to thermal vents as a craddle for life!
Venezuela would like a word with you sir...
You want 100-130 dpi or over 200 dpi. Avoid the bad zone in between (which includes most monitors on the market).
Ask HN: When is OK to Post Links?
I am the founder of Playtext.app, a tool that turns articles into audiobooks.

It's common to encounter sites like as `archive.ph`, `archive.org` high up in the comments. These links are particularly useful when articles are behind a paywall (eg. NYT articles).

Based on that, I started posting links to those articles linking up to the content.

Even though that's indirectly promoting my product, I believe it provides real value to the HN community since it not only serves the content but also helps people listen to it.

However, this has been flagged as spammy behavior.

So I'm wondering, why is it OK to post `archive.is` links, but not `playtext.app` links, since they both provide similar value?

I would love to know what you think!

---

References:

[1] https://news.ycombinator.com/item?id=36667840#36681336

[2] https://news.ycombinator.com/item?id=36678375&p=2#36680693

[3] https://news.ycombinator.com/item?id=35538095#35570470
Celebrity is a two-edged sword. Even if Musk was a saint, after building him up, popular culture would still gleefully tear him down. This was preordained.

Save your pity for Musk; he feeds off the drama, revels in it, has masterfully wielded it to reach his goals.
Current AI models don't compete with a book, from what I've seen; I wouldn't want to bet how long it takes before they can compete with not just one but all books.
One important milestone a model that is good enough to produce an acceptable quality of answer to x% of public users questions without any data being sent to the megacorps.
So, BMP?
I believe System76's Meerkat line is rebranded NUCs. Other brands out there might be using it too. What's their alternative?

https://system76.com/desktops/meerkat
Easy solution, remove all that adware crap.
My guess is: the possibility of some of those patents having been refreshed through incremental modification, combined with the unwillingness to assert that you aren't infringing on any of the newer patents, should one of the major players disagree with you.
Just get multiple versions, discard outliers per frame, and average.
Celebrating Success of 500 Open Source Projects Using StepSecurity's Platform
You can browse the pull requests created by the top 50 of the 500 open-source projects that have benefited from the platform at app.stepsecurity.io/securerepo/trending.
Here is an example (about an earlier Anthropic paper) of what I meant, including one where hiring is involved: https://www.lesswrong.com/posts/PrLnptfNDg2wBWNyb/paper-the-...
https://archive.ph/UCPWD
All 38" monitors are the same panel with different ports. I had good luck with the Dell one but some sleep/wake problems with an LG model.
If you want me to be honest with you, LLMs are themselves a short term approach and can get us to, at max, AGI levels (for this current era). I don't see us getting to ASI with just LLMs. For the sort of "emergent ability" that ASI requires it has to be something more "simpler" and the learning be more "virulent" / "instantaneous" (not sure if these words convey what I really want to convey). Otherwise, LLMs will always have a "maxima" at which point it fails. And that maxima is collective intelligence of all of humanity in the current epoch. If you go back a 1000 years, the collective intelligence of all humanity would be completely different (primitive even). Would LLMs trained on that data have produced Knowledge that we know today? I don't think so. It could still, theoretically, reach AGI for that era and accelerate pace of learning by 50-100 years at a time. LLMs will surely accelerate pace of learning (as tools) even now but by themselves won't reach ASI levels. For ASI, we really need something more simpler/fundamental that is yet to be discovered. I don't feel LLMs are the way to ASI. AGI? Yeah possible.
Microsoft still needs more studios to make Game Pass a “Netflix for Gaming” service. WoW and CoD and the rest of the ActiBlizz back catalog help but Microsoft still doesn’t have enough studios to be pumping out a new major release every month.
If software is deduplicating images by SHA including metadata, it's missing a lot about photography workflows :) So, huge props (and I mean that - so many tools get that wrong!) on your approach of trying to identify asset groups and trying to ID members via a number of heuristics.

If you want to go deeper, I suggest grouping everything by image content - that means, at the very least, comparing images via a resolution independent hash. (E.g. average down to e.g. an 8x8 picture in greyscale for the simplest approach). (undouble does that nicely, and has a number of different approaches: https://erdogant.github.io/undouble/pages/html/index.html)
Twitter is “tanking” amid Threads’ surging popularity, analysts say
An online tech community has been experimenting with retroactive public goods. It is fascinating to watch these efforts.

https://ethglobal.com/talks/hackathon-kick-off-retroactive-p...
I just want you to understand that you're coming across as if you want people not to discuss most things in their lives, because as you say, we're hardly experts on most things.

Being wrong is completely okay, and trying to police what people discuss with one another is a dark road to go down. Besides, where do you draw the line? Do I need a specific number of course hours completed? Some number of books read? Three or more articles published on the topic?

Discussion, particularly in writing, is a form of thinking, and thinking with others is infinitely more productive than thinking alone, so if what you're asking is for folks to stop thinking about topics they're not experts on, I'm sorry but no. That's not going to happen.
I'm skeptical. Doing this would be illegal, and wouldn't comply with FB's own privacy policy. Unless the usage of Pegasus were limited strictly to the network requests made while Onavo was enabled.
I think we all know what someone means when they say “matrix multiplication”. Asserting that * could mean, say, the Hadamard product or the tensor product is a reach. In practice I have never seen it mean anything else for matrices.

DSLs just push the complexity away from the language into someone else’s problem in a way that has much higher sum complexity. You’re making authors of numerical libraries second-class citizens by doing so. For some languages that’s probably not a bad choice (Go is one example where I don’t feel the language is targeted at such use cases).

Also, the lack of a standard interface for things like addition, multiplication, etc. means that mathematical code becomes less composable between different libraries. Unless everyone standardizes on the same DSL, but I find this an unlikely proposition, given that DSLs are far more opinionated than mere operator overloads.
i put my email address to get notification when the film is edited. to my surprise, it's actually a project by MSCHF. a hypebeast shop? glad i use a throwaway email.
If they wanna sue you they still can and make you pay to defend it
SuperCloud – Application Migration as a Service
I maybe mis-remembering, but was it possible to add FireWire to an existing PC with an expansion card? I know Thunderbolt was not possible from 3rd party vendors and only the mobo manufacturers could offer a card. I bought one to make a Hackintosh, but then a mobo firmware disabled the card because they didn't want to support it. I seem to recall Firewire being the same way
smaddox is working on one called Dawn:

https://news.ycombinator.com/from?site=dawn-lang.org

There hasn't been an update in over a year but I hope it's still going because it looked really interesting.
We changed our naming to remove the v going forward: claude-2 should work

https://docs.anthropic.com/claude/reference/selecting-a-mode...
How is this misleading? It's saying it's hurting radio astronomy. What about that statement made you think it was anything other than radio wavelength radiation? Radio telescopes are not interfered with by short wavelength radiation.
This is great, but then they drop the ball by forcing garbage (“interspersed stuffing symbols”) between the packets instead of letting you use that BW.
Can you provide a more specific link or quote ? I’ve read through both of these, and it seems to be things like IP address locales and other things about your browser environment rather than the history of every website you visit.
Wild, I've def heard of some reasons how the Fermi paradox could be resolved, but I missed this explanation. A quick headline scan of the wiki article also doesn't mention it. [1]

You'd think that 94% of the observable universe not being reachable would get more of a mention. Granted, we can still look for artifacts such as radio signals or something similar, but it does seem to cut out why a type 3 civ hasn't shown up at our door.

[1] https://en.wikipedia.org/wiki/Fermi_paradox
Those communities have mechanisms to censor mis-behaving persons. Participants must agree, when entering the group, to social rules including censure.
I thought Pixel phones got upgrades for quite a while?
Thanks, corrected in place.