skysight-inc/HackerNews huggingface dataset:
I am the one who develops PRIMA ( http://www.libprima.net ) and made the original post at Fortran Discourse (https://fortran-lang.discourse.group/t/which-compilers-are-a...).

I learned about CI in 2021, when PRIMA was (fortunately) still in the early stage. I agree that I am behind "the industry" in learning CI.

However, note that I am an applied mathematician, who has been trained and working in Math departments. I have no background in computer science, although I took programming courses twenty (!) years ago. My interest is primarily in mathematical theory. I could have a perfect career without doing any coding at all. In other words, I do not belong to "the industry".

I have been developing PRIMA because it is a commitment to the late Professor Powell, and because I believe it is important to the community. I do not enjoy coding so much. I hope to spend more time on mathematics.

That said, I hope it is understandable why I am "a bit slower than the rest of the industry in this regard".

I do not think I am a good representative of the Fortran/HPC community in any sense.

Thanks.
I still don't see how you can be confident that the Turing Machine that solves your problem isn't an exponential amount "down" in the list of Turing machines. What if its size is 2^n for problem size n?

Also, more importantly, I still don't see how Universal Search solves what parent actually said, which is that even without knowing the algorithm this will work. The link you added seems to suggest you need to know the actual P algorithm for this to work.
Why involve the friend at all?

Following your description, couldn't you have just bought the prepaid (debit) card with cash yourself?

Also FWIW "laundering" is a well-defined thing that this is not, and "prepaid credit" is an oxymoron! :)
I would think anyone this serious about keyboard control would be able to use layers which is becoming pretty common and not have to "see" the keycaps.
At some point, isn't this just theft?

I know that the terms of license agreements probably reserve the right to do this in the fine print, but Warner Bros knows that people don't read those agreements, and they know that they're giving the perception of a purchase.

I always get extremely annoyed when people say "I'm technically not lying because I said X and you just thought I meant Y". Like, no, you purposefully made me believe something that was not true. You know what I was going to believe when you said X, you depended on that fact, and so it's still lying.

Similarly, Warner Bros. certainly wanted people to assume that these were purchases, so it's extremely dishonest to have fine print in there to be able to take that purchase away.
Allegedly (from just random messages across different message boards) Airbus is likely nearing their backlogs to a point in time when they plan an A320 successor. Of course, they can still build the current A320 family but their production capacity for it will be decreasing steadily in the future. So they might not need a hell of a lot more orders.

But they do want more companies in their team when the successor comes.
The US is very diffuse in taxing power. The federal government only has the power to implement procedures related to federal taxes.

But the state/county/city and even other amalgamations of governments such as “metropolitan”, “transit”, or other special case governments have the ability to tax and their own jurisdiction for implementing how to collect it.

In my opinion, the complexity is at a point that it is a drag on national productivity. And on top of that, it enables lots of corruption where anyone can simply claim plausible deniability and pay a small fine well worth the low probability of being punished.
It was an open source crowdfunding platform that raised $100m collectively for projects that used it.

Ie Lockitron raised $2.2m in presales with it. Tile raised $2.6m in presales with it. And so on.

Unlike Kickstarter it did not take a 8-10% fee of funds raised. It was not a primary business for us. Just something we casually maintained because we coincidentally had a bunch of payment processors in our YC batch that year so spinning it up was less than a weekend’s worth of work given our connections.

I am pretty indifferent now but at the time I was infuriated that Kickstarter drew an arbitrary line between a creative and a founder. It simultaneously marketed itself as the democratic fundraising platform for artists and was perfectly opaque (and self-contradictory) on which projects they would gatekeep from their platform once they started getting heat from places like NPR.

At the time I took a hardline approach that the way to do good was to give people access to tools not restrict them from a platform. Enough time has passed that I see that’s a bit reductive.
> Would it make sense to not proceed with this pilot until this was ready? Certainly not

Maybe not, but it absolutely makes sense for me to ignore this pilot until/unless they stop using something like id.me.
As someone in the US, there have been numerous free options for filing your taxes for a long time (even officially endorsed ones), and for most people without complex tax situations, it is indeed quite simple and only takes a few minutes. The people who complain about taxes in the US either have uncommon situations, didn't understand the tax implications of an employment arrangement prior to tax season (e.g. became an independent contractor without realizing their responsibilities), or are simply unaware of the free and easy options that have existed for a long time.
The tip on how to make SSDs be mounted inside the containers for building is super useful.
It's amazing the lengths we'll go in the United States to avoid passing a comprehensive national privacy protections law.
Federal taxes tend to be even harder than state taxes. There's usually more that goes into whether or not you qualify for exemptions and what sort of deductible you should take.

But the reason it's a mess is really really simple, lobbying. Tax prep companies have lobbied against a government solution for a long time now. Requiring everyone to spend $100, $200, or more per year is their subscription model and they like it that way.
"The Santa Clara-based chipmaker was the leading candidate to receive billions from Washington for facilities to manufacture chips for US military and intelligence applications, as The Register reported last year.

As recently as last week, it was widely expected that Intel was about to be given the nod to a total of $3.5 billion of funding, ultimately from the CHIPS Act pot, to setup a dedicated production line for military chips.

However the Pentagon got last minute cold feet and declined to stump up its $2.5 billion share of this funding for Intel, at least according to Bloomberg, which cited unnamed sources that do not wish to be identified."
Looks really cool! For anyone looking for a very similar UI but an editor that also supports complex blocks (like Kanban, images etc) you can check out my note-taking app Plume with a block editor[1] (beta is out in about a month, sign up for the waitlist!). Every note is a simple plain text string (with Markdown syntax) that is rendered via Qt C++ and QML.

[1] https://get-plume.com/

EDIT: Added the app isn't out yet (about a month more of hard work!)
What can modern TCGs learn from the long-dead Dune: Collectible Card Game?
If there were some objective way to detect a god, somebody would describe it, and that would quickly become the only religion. Since most gods are very powerful, we can only suppose they are hiding on purpose.

Something appears to have changed after all the stories were written down.
https://archive.is/m3UUO
USPS is extra weird, because the recipient pays (via ad exposure) for the benefit of the sender (low postage).
Of course, some mail I receive is for my benefit, but receiver can pay the sender for that (or they can put ads in the package).

USPS could offer to charge me for ad-free delivery, but they don't.

USPS pressures recipients to fetch and sift and dispose junk mail because there might be a critically important package. That's abusive. It's extortionate.
When I saw this posted late last night, I was pretty excited since I have kids, but then realized it's just determining the basic idea of what it sees in the photo, and then drawing a new image from scratch that has those elements. What I wanted is something that takes the original photo and removes things from the image until we're left with some basic line drawings, so that the people in the coloring book actually look like the people in the photo! Their examples very obviously show how different the resulting image is from the original. If Google allowed you to search by saying "Find me a coloring book image where a dad is sitting behind 2 kids with his arms around them, and the daughter is on the left and the son is on the right" then we'd end up with results almost as good.

I'm no Photoshop expert, but someone else in this discussion pointed out that Photoshop has some filters or other tools that do edge detection and can yield much more accurate results. If the techniques could be replicated in a SaaS then you'd have a much better product. Of course, if it could be done in a desktop Mac app or an iOS app, I might choose that for privacy reasons.
For the MCAS problems I'm far less interested in when the plane was developed than I am in when the decision was made to not properly train pilots on the MCAS system.

According to the Seattle Times [0], it was in 2016 that MCAS was made more powerful and it was determined that a 10-second reaction time would be required to avoid catastrophe. In that year, in spite of the fact that they changed MCAS, they did not submit the new hazard assessment documents to the FAA. That article also seems to indicate that it was after 2016 that they scrubbed all references to MCAS from the manual.

[0] https://www.seattletimes.com/business/boeing-aerospace/inspe...
A Chinese company isn't bound by US laws, so this is a necessary precursor to that.

Edit: I stand corrected, they are bound by our laws, but it's orders of magnitude easier to enforce those laws on a company based in the US than a company based in China.
If offense is as heavily favored as you say, then how come Russia hasn't done more damage to computer systems in Ukraine or in Western countries that support Ukraine? Clearly Russia is committed to spending whatever it takes to win the war and clearly Russia is not being held back by Russian worries about how the West will respond to Russian attacks on Western computers nor is it being held back by worries that if they deploy whatever exploits they have now (in attacks on Western computers) then those exploits will not be available for a more serious conflict with the West -- the Kremlin sees the current conflict as already extremely serious and consequential.

For example, after Musk gave Starlink terminals to Ukraine (and Musk admitted as much in public) why wasn't Starlink's web site constantly being taken offline by Russian cyber-attacks? Ditto the routers that route traffic to and from Starlink's satellites.

Is it your position that Russian spies are constantly breaking into Ukrainian and Western computer systems, but then they are only exfiltrating data because if they take those systems offline then that announces to the enemy the existence of the compromise, which the enemy can then respond effectively to (e.g., by buying new servers)?
General Sherman is 2200 years old for example. Which is pretty incredible
Auto Makers Are Selling Data on Your Driving Habits to Your Insurer
I understand this would theoretically stop the CCCP from getting info on US Consumers, but is there anything to this that actually limits the data collected? I assume not.
The wood is somewhat brittle. When they felled lots of them in the US 100 years ago, the loggers found to their great disappointment little use for the resulting wood, and turned most of the giant trees into... matchsticks, and that sort of scrap thing.

Possibly the trees can be harvested more delicately today, though.
A company will try mining helium-3 on the Moon
How did they take measurements in two different cities at the same time without clocks?
Maybe there's a future for AIs designing narco-subs ?
The FDA could not impose a ceiling on the price being charged.

The FDA literally has no authority to set the price of anything. This comes up so often it's actually an FAQ on the FDA website. https://www.fda.gov/about-fda/center-drug-evaluation-and-res....

> We understand that high drug prices have a direct impact on patients—too many American patients are priced out of the medicines they need. However, the FDA has no legal authority to investigate or control the prices set by manufacturers, distributors and retailers.
If they operate in the US, they certainly are.
What is the right in this case? You have to sign a waiver to drive on the highways.
No, it‘s not. It‘s only available.
One could hope that this is a brick in the path towards a solid, comprehensive privacy law at the national level. Especially given bipartisan criticism of "home grown" spying platforms such as Facebook and Google, it certainly doesn't seem impossible (just unlikely).
Probably more just to be able to fill in the calories. For instance, I probably ate a lot more tuna salad on celery than I would've if it were on bread.
Yes you're right. That's a long term goal.
Unfortunately the current Apple weather is terrible with their blurry blobs of clouds. Maybe they're trying to hedge when there is any chance of showers.
Because a US government service should not be outsourcing to a .me domain. I don't really care whether their internal service has IAL2, but it should be on .gov.
True -- but absent logging, it should be absolutely possible to tell everyone how you generate your passwords without making them less secure.

For example, I get 44 bits of entropy from https://atlas.aylett.co.uk/pw/, purely from the randomness of the words. Knowing that I used that script doesn't help you: there's no point in adding every permutation to a list, there are too many of them.

If you don't know that I used this mechanism then you may be worse off, but I can't assume I'm better off.

And obviously I'm happy using my own generator, but the reason I wrote it was because I didn't want to have to trust someone else's :).
As much as I don't care about tiktok going away, and acknowledge the privacy and security risks, there's something about banning a highly popular website that doesn't sit right with me. Is there precedent in the USA for anything like this?
In these competitions it generally isn't. So, you can't compare, for example, my brier scores for predicting events a, b, c and yours for events x, y, z.
Like public parks maybe?
I thought this was DOA once Trump came out against it (after speaking with major donor Jeff Yass). Wondering who will end up being candidate buyers - Microsoft? Google?
The Messiness of Male Desire
If it wants to operate in the US, yes it does. For the same reason that US companies are complying with EU GDPR/DMA laws.
TurboTax is not a "preparer", the preparer is the taxpayer themself.

For paid, professional preparers (who don't use TurboTax, but rather commercially available software designed for practitioners who prepare dozens or hundreds of returns), the security requirements are higher, even if not quite IAL2. The IRS has worked for a number of years now on a "Security Summit" in concert with all the pro software vendors to tighten up their security, resulting in drastically less filing fraud than in previous years. By "filing fraud" I mean filing returns using a false identity, not simply reporting wrong income or deductions.
Show HN: HTTP Playground
> to avoid passing a comprehensive national privacy protections law

It’s unclear there is support for that. I’ve worked on privacy issues. Virtually nobody calls in support of them.

This, on the other hand, is a national security bill. Every elected I know is being inundated from both sides.
if you're a Chrome user, consider installing the Clickbait Remover for Youtube extension: https://chromewebstore.google.com/detail/clickbait-remover-f.... or the add-on for Firefox: https://addons.mozilla.org/en-US/firefox/addon/clickbait-rem...

they both do the job well. i've not been mildly irked by clickbait-y thumbnails for ages! great for mental health.
I'm a big proponent of free speech and the first amendment, but I agree with the reasonings for banning it or forcing US owners.

China most definitely has their hands in the data that TikTok amasses and given its popularity it's not an insignificant risk to U.S. citizens. We all know how easy it is to manipulate users... aka Cambridge Analytica.

It'll be interesting to see what legal challenges come up if the bill passes the senate because that is where the real discussion will occur. I ultimately see it being reversed, but I can also see a solid framework for future bills being illuminated via the courts.
By a brand new user, no less.
Is there anyone who is actually upset about this?
I've just been reading this longer article from 2020 which has a lot more about his life: https://www.theguardian.com/society/2020/may/26/last-iron-lu...

It says he went out with friends, saw movies, and even flew on planes while "frog-breathing", as he called it. He couldn't do it while unconscious so he still had to sleep in the lung.
That could be. However I think the language barrier is also a significant factor. But of course there is nothing inherently problematic about offshore developers.
Yep. For most logins, a password manager is the way. But there are some you are simply going to have to or want to remember (password manager key, workstation login), and for those, passphrases are better.
Such a freedom. But it's understandable that the US election day is coming.
"#FreePalestine" banner on the front page is probably not advisable, unless you are deliberately interested in polarising or completely losing a section of your user base.
In context, he's not describing a compromise, he's talking about a 'wrecking amendment'. Adding something absurd to a bill. The difference is that the person adding the amendment doesn't actually want or expect their amendment to be passed.

Wikipedia has a fun example:

> The Wyoming House of Representatives Committee of the Whole amended House Bill 0085, a proposal to study the state's emergency preparedness, in order to kill the bill. The amendment would have required the state to consider purchasing an aircraft carrier (even though Wyoming is a landlocked state), purchasing fighter jets, establishing a military, initiating a draft, and creating a currency.
You could watch Samotsvety to see if they continue getting lucky in the future.
It will be bought by Truth Social /s
Good point. I'm adding automatic record separator newlines to the crate now.
I uploaded a picture of my dog and none of the styles looked like HER. They were just some generic dog in the same pose as mine.
> Showing that you have some accuracy predicting any number of other things does nothing to prove you have accuracy predicting a % chance of a unique event like those ones.

When someone has a track record of consistently predicting these "unique" events better than average, then clearly there must be some pattern there that they're picking up on and the events aren't as unique as one would think.

At the end of the day, someone who financially invests based on these predictions will eventually end up richer than someone who doesn't, whether you believe that should be possible or not.
Advances in medicine made iron lungs obsolete by the 1960s, replaced by ventilators. But Alexander kept living in the cylinder because, he said, he was used to it.

If this is reported correctly, it would even have been an deliberate choice to not leave more often or entirely.

EDIT: This was seemingly not reported correctly, it seems he only depended on the iron lung while sleeping but could otherwise live without it.
The answer is a bit complicated, but there are two major parts to it:

1) The tax filing prep companies spend ridiculous amounts lobbying to ensure both that the tax system remains complex, and that they are the only way to deal with that complexity. Fortunately, the effectiveness of this has been gradually waning, leading to things like the new service the article describes.

2) Taxes in the US are genuinely quite complicated, for some good reasons, many bad ones (including the aforementioned lobbying), and even more neutral-but-complicated ones. Both major political parties have a tendency to add extra complexity to the tax code for their own ideological (and often purely political) reasons.

(But despite what many people like to propose in response to this, a flat tax wouldn't actually make things better, because progressive taxation is very important for mitigating the staggering inequality in our current system, and is not even the primary cause of the complexity. The primary cause is the difficulty of agreeing on exactly what constitutes "income", combined with many often-conflicting attempts to incentivize or disincentivize various things through the tax code.)
I think it was more common in the 1980s for amateur programmers (including young people as I was then) to know assembly than it was in the 1990s and later for several reasons. First of all there was the need for it -- while there were compilers you could run on 8-bits, the limited memory space meant that the compiler often ended up taking too much of the memory you needed for your program, and so when people realized that BASIC was too slow/limited for what they wanted to write, assembly language was the obvious alternative. Secondly, the assembly languages of 8-bits was generally 6502 or Z80. These are relatively simple processors and learning these architectures (as I did myself) wasn't that hard. Once x86 machines took over in the 1990s, assembly because less attractive both because compilers were more practical because of larger memory and because x86 assembly is frankly a nightmare.
Normally how this works is that national laws dictate what an app can do when operating in the nation's territory, and it's then up to the app owner to decide whether they want to do business in that nation's territory or not.

This is how EU rules apply to US tech companies. US rules for Chinese tech companies is no different in principle.

IMO however the problem isn't privacy, it's being able to stick a thumb on the algorithmic feed and control the information consumption of a slice of society. And TikTok isn't the only problem, it's broadly applicable across consumer tech.
I think it's a result of legacy stuff (i.e. "it's worked like this forever, why change?") and a historical and cultural distrust of the government which is far more pronounced and has had a much larger impact on how people interact with the government than in other countries. People in America tend to distrust the government by default in a way that can be baffling to people from other countries. They want to do a lot of stuff themselves.

Also, for-profit tax filers have aggressively lobbied to combat simplifying the process for decades.
Dario Amodei (Anthropic) pretty much acknowledged exactly that - "mid" - on his Dwarkesh interview, while still all excited that they'd be up to killing people in a couple of years.
Amazing how quickly they can pass these kinds of bills and yet how long they take to pass ones that would better help the average person.
Don't be fooled by talk about security or privacy.

This is simple Nation State realpolitik. TikTok is a propaganda threat controlled by a non-friendly state to the US.

Any other way to look at this is naive.
Interesting that they chose to lead with "irrelevant"
It's important to note this isn't banning TikTok. It's forcing the sale of it from a CCP-linked parent company. The precedent for this would be US pressuring sale of Grindr from Chinese ownership due to privacy concerns: https://techcrunch.com/2020/03/06/grindr-sold-china-national...