MurphyA/hacker-news huggingface dataset:
by necovek | 2025-05-29 03:46:36+00:00
I'd still counter it: someone can't be smart (have large brain power) if they also don't understand the value of altruism and ethics for their own well-being. While you can have "success" (in however you define it) by ignoring those, the risk of failure is greater. Though this does ignore the fact that you can be smart for a set of problems, but not really have any "general" smartness (I've seen one too many Uni math professors who lack any common sense).

Eg. as a simple example, as an adult, you can go and steal kids' lunch at school recess easily. What happens next? If you do that regularly, either kids will band together and beat the shit out of you if they are old enough, or a security person will be added, or parents' of those kids will set up a trap and perform their own justice.

In the long run, it's smart not to go and pester individuals weaker than you, and while we all turn to morality about it, all of them are actually smart principles for your own survival. Our entire society is a setup coming out of such realizations and not some innate need for "goodness".
by MyPasswordSucks | 2025-05-29 03:46:37+00:00
Because URL shortening is relatively trivial to implement, and instead of just doing so on their own end, they decided to rely on a third-party service.

Considering link permanence was a "founding principle", that's just unbelievably stupid. If I decide one of my "founding principles" is that I'm never going to show up at work with a dirty windshield, then I shouldn't rely on the corner gas station's squeegee and cleaning fluid.
by ummonk | 2025-05-29 03:47:05+00:00
"This to me is a strong "intuitive" argument for why the halting problem is undecidable: a halt detector can be trivially repurposed as a program optimizer / theorem-prover / bcrypt cracker / chess engine. It's too powerful, so we should expect it to be impossible."

I don't buy this. Bcrypt cracking and solving chess is easy already if you don't care about runtime complexity (both have rather trivial finite -- albeit exponential -- runtime algorithms), and it wouldn't be any easier to transform them into halting problems.
by cvz | 2025-05-29 03:47:06+00:00
The U.S. constitution is about the structure of the government and the things it can and cannot do. It's a remarkably short and readable document for what it is and when it was first written. And while it has been amended very slowly, it has been amended all the way up until today.

It seems you have an issue with just one part of it, the bill of rights. Besides property---which doesn't just mean land---that part addresses such other "outdated" concepts as speech, assembly, religion, rights of the individual in criminal investigations and trials, and a number of others. What connects all these ideas together is that they are the rights the people have _against_ government action. Things the government should not do to harm people.

That purpose is really important. The constitution is not, and should not be, a list of good policies or social values. Most of it is a list of specific things the government did in the past---some of them truly heinous things---that it is not allowed to do anymore. There's only one notable exception: the 18th amendment, meant to enforce the social values of the time and which was, ya know, repealed later for being a disaster.
by presentation | 2025-05-29 03:48:01+00:00
On the actual site for these digital addresses [1], they mention some risks and countermeasures - translated:

> Risks and Countermeasures When Using the Service > 1. Obtaining a Digital Address involves the following risks. Please use the service after understanding them. > a. If a third party learns your Digital Address, they may be able to determine the corresponding address. > b. Randomly entering a Digital Address may display the corresponding address. > 2. Our company anticipates the above risks and has prepared the following mechanisms as countermeasures. > a. Digital addresses can be deleted immediately, and the linkage between addresses and digital addresses can be disabled. Note that even if deleted once, a new digital address can be reacquired. > b. The system has mechanisms to detect and prevent abnormal searches, such as a large number of searches in a short period of time. > c. Even in the unlikely event of a personal information leak, our system is designed with leakage risks in mind to prevent personal identification. Digital address data is managed in a separate database from personal information such as email addresses and phone numbers, as shown below.

1a. is the primary concern for me, and while I can disassociate my identity from a digital address, that would defeat the purpose of using digital addresses to e.g. handle the case when moving. Sounds like they don't have a real answer to this security issue besides just accepting it.

[1] https://lp.da.pf.japanpost.jp
by fvrther | 2025-05-29 03:48:56+00:00
Hello, I live in Japan, the thing they don't tell in the article is the Japan Post Digital Address can be tied to the MyNumber system.

It's an official ID card you're required to update by law every time you move, and they plan to link the address of both systems. Meaning every time you update you address on your ID it will automatically propagate everywhere.

In Japan the MyNumber system is live since a few years and a single card can already be used:

* As driving license

* As a unified heath insurance card

* As a unified way to retrieve prescribed medications, lab results, vaccinations..

* For doing the taxes and receive pension

* As a foreigner residence card (very soon)

* For digital signing of official papers (as a way to replace the Hanko stamp culture, it's working but not yet widely used)

The digital ministry is also expected to unveil an Apple Wallet integration in a few months to avoid having to carry the card.
by Brybry | 2025-05-29 03:49:09+00:00
Trade Court docket, V.O.S. Selections, Inc. v. Donald J. Trump (1:25-cv-00066): https://www.courtlistener.com/docket/69888953/vos-selections...

Appeals Court docket, V.O.S. Selections, Inc. v. Trump (25-1812): https://www.courtlistener.com/docket/70394463/vos-selections...
by lwo32k | 2025-05-29 03:49:26+00:00
Well these are nonlinear emergence engines. No two will come up with same solution the more ambiguous, dynamic or complex problems get.

Just because your AI gives you a solution, doesn't mean my AI will provide the same. Now scale that fact up to different teams and different firms. How are things going to work? Why will it reduce the number of people? Just like Jurassic Park(or working on Linux), once strange unpredictable things start happening, you need more and more people running around to clean things up. They don't know what the fuck they are doing, or how to do it well, cause thats the nature of complex problems. So things spiral.

Most people are just defaulting to - oh AI will have one answer to everything. And we will all agree to that solution. This will never happen and therefore the predictions will all break.
by kelnos | 2025-05-29 03:49:36+00:00
> He doesn’t have to convince the courts of that. [..] As long as the President is plausibly exercising a foreign policy power Congress gave him...

Sure he does. The various tariff-related acts don't give the president carte blanche to set tariffs whenever he pleases. The acts give him the power to enact tariffs under certain conditions. If the president cannot convince a court that "having a trade deficit" falls under one of those conditions, then a court should, very correctly, tell the president he cannot enact those tariffs.

> The President makes foreign policy

That's a rather simplified view of the president's constitutional powers; the reality is more complex, and in this case that complexity does matter.
by Elaris | 2025-05-29 03:50:47+00:00
After reading this article, I couldn't help but wonder what would happen if our brains were bigger? Of course, it's tempting to imagine being able to process more information, or better understand the mysteries of the universe. But I also began to wonder, would we really be happier and more fulfilled?

Would having everything figured out make us more lonely, less able to connect with others, and less able to truly experience the world as we do now?
by mcoliver | 2025-05-29 03:51:04+00:00
Call me crazy but I want this for my digital profile. Let me register and login to apps and websites with an id that is a pointer to my profile where I can update my emails, phones, addresses, profile photo, website, etc.. of course the question is who is the owner of that service. Self host, block chain, public company, non profit, government. Tradeoffs with all of them.
by _wire_ | 2025-05-29 03:53:47+00:00
Why not just post ref to Adam Curtis; he's the reason why folks in Britain and US have any awareness of the term hypernormalisation.

A term, btw, that's conspicuously missing from Russia Today's lexicon, because RT's bent is to propagandize U.S. Magat Republicans and Tories— The things you'll never learn on RT are anything about life and politics in Russia; it's perfectly western facing Kremlin claptrap.

Re Adam Curtis': see his other vids, especially Bitter Lake, All Watched Over By Machines of Loving Grace, and Can't Get You Out of My Head!
by replwoacause | 2025-05-29 03:54:42+00:00
Malai website says it is created by FifthTry. On the FifthTry website is says you are backed by Y Combinator: https://www.ycombinator.com/companies/fifthtry

But it doesn’t seem to have anything to do with the current company? Are you a Notion-like editor still? Because the editor section of the site says “coming soon” even though your YC page says you were in the Winter 2021 batch. I guess I’m not really clear on any of this and how it relates to Malai.
by RHSeeger | 2025-05-29 03:54:48+00:00
> I’m surprised it took this long.

So far, "it" isn't actually anything though. Trump, and the Republicans working with him, have been completely ignoring courts telling them to do things since day 1. Time and time again, he's been told by a court "you cannot (or must) do this" and he does completely the opposite (and, by he does, I mean he orders other to do it, and the follow that order).

We are at the point where there is nothing lawful about his presidentship, but the Republicans just keep doing what he tells them to, anyways.
by necovek | 2025-05-29 03:54:54+00:00
I am highlighting the imbalance of your request.

The poster you asked for proof was countering anecdotal claim with their own — why did you not join them in asking for the proof first?

Anyway, this is all rhetorical — as I said, just pointing out that you are not being fair to the poster you replied to, because if you were, you would have asked exactly what you asked here: "is there any source for any of these claims either way?"
by colechristensen | 2025-05-29 03:55:16+00:00
I might be more forgiving if it didn't literally start with

>For scientists interested in citation

which is so pretentious and amateurish it's laughable. If the whole thing was written in the tone of "I'm an amateur and this is my pet theory" it would be fine, not interesting to me but whatever, fanfiction is a thing. If it was curious "could this be it?", sure. But it's pretending very much to be legitimate scientific work which is just strange behavior and it's pulling people in who don't know any better who are taking it seriously.

Intentionally fooling people for your own ego is gross.
by sagarpatil | 2025-05-29 03:55:26+00:00
I avoid using my own API keys, especially for Sonnet 4 or Opus, because LLMs can rack up unexpected costs. Instead, I use Augment Code’s remote agents and Google’s Jules, which charge per message rather than by usage. This setup is ideal for me since I prefer not to run the model locally while I’m actively working on the codebase.
by brucehoult | 2025-05-29 03:55:27+00:00
It appears I may have had some influence on this project.

I've talked about finding a minimal subset of RV32I in posts in several places, including on /r/riscv, /r/asm, eevblog, probably Hacker News.

The first place was /r/asm, I developed the ideas over a few comments in July 2022...

https://www.reddit.com/r/asm/comments/w0cug7/basic_risc_inst...

The authors have come up with a slightly different subset, in particular instead of having `xor` using `xori` which can implement `not` directly and be combined with `and` to produce `nand` and thence any other boolean function, including (with quite a few instructions .. 8?) `xor`. I'm not sure this is an improvement, as if you have `xor` then `xori dst,src,imm` can be replaced with simply `li dst,imm; xor dst,dst,src`

Anyway, 28 months later /u/kowshik1729 popped up in that thread, asking how to implement use of such a restricted instruction set in gcc. I suggested the use of asm macros to emulate missing instructions as a stop-gap, which is the approach taken in this paper.

I wonder whether paper co-author Kowshik Gudimetla could be /u/kowshik1729?? If so, it might have been nice to be included in the references.

Also, coincidentally enough, one of their test programs is my primes benchmark :-)
by wvu | 2025-05-29 03:57:12+00:00
There is a wonderful book about this very thing: “Picturing the Cosmos: Hubble Space Telescope Images and the Astronomical Sublime” — from the description: “Elizabeth A. Kessler examines the Hubble’s deep space images, highlighting the remarkable resemblance they bear to nineteenth-century paintings and photographs of the American West and their invocation of the visual language of the sublime.” https://www.upress.umn.edu/9780816679577/picturing-the-cosmo...
by andro_dev | 2025-05-29 03:58:57+00:00
It’s utter nonsense. None of my graphic design or illustrator friends, who are highly established professionals with great talent and impressive portfolios, can find jobs for an extended period. I know many of them personally. The current job market has been extremely challenging for them, and it’s not because of COVID-19. These artists were enjoying stable jobs in the past decade.
by presentation | 2025-05-29 03:59:13+00:00
If it were me, I would design it more this way after thinking about it a bit:

1. Japan Post lets you register your address to your Japan Post Account. 2. No static short code is created for your address. 3. Japan Post provides an API (like OAuth) for allowing you to persistently share your address location with a third party, say Rakuten, or Kuroneko Takkyubin, or something. 4. Once you've linked it to those services, they can use this API to get your address at any point in time. 5. You can unlink services whenever you want to revoke access, without changing any code. 6. No way to request an address for a Japan Post account without permission granted. 7. To handle cases like taxis, Japan Post can work with providers like GO Taxi, S.Ride, DiDi, etc. to do an authenticated one-time address share via NFC using the Japan Post App with the digital consoles already present in almost all taxis in major cities (no help for old taxis in the inaka, but that's a tradeoff). a. or alternatively, persistently link your GO Taxi, S.Ride, etc. accounts to Japan Post for the same purpose. b. and also potentially allowing to do such a key exchange with NFCs on smartphones or a standalone device, but probably taxi operators wouldn't be motivated enough to actually do that.

That way you just need to trust Japan Post and you can still get a decent amount of the convenience of address sharing.
by bruce511 | 2025-05-29 04:00:44+00:00
Like most things in life, tarifs can be used well, or used badly.

Canada's Dairy Tariff is specifically designed to protect a specific local industry, which exists, is of national interest to keep, and which could come under threat from cheap alternatives imported from abroad. It's specific, targeted, and serves a valuable purpose. They have been in place a long time, and provide a stable trading environment making the future easier to predict.

Trumps tarrifs are the complete opposite. He could have done tarifs well, but he's lazy and so opted for "easy" instead. By tarrifing countries you mix all industries together.

For example coffee. The US imports 99% of their coffee. The local coffee industry is tiny, and limited to Hawaii. There's no national interest, no local jobs, nothing. Tariffing coffee just makes it more expensive.

No one is planting coffee trees. Partly because the US has the wrong climate, but also because growing new trees (or building a factory) takes years, and a lot of investment. That means confidence that the situation today will last long enough to get a return.

In truth the tarrifs seldom make it past the weekend, or a couple weeks, then they're suspended. The administration openly admits they're negotiating "trade deals". So, I can't invest anything based on current tarrifs because they're very impermanent.

This nonsense is not about whether tarifs are good or bad. This is about how they gave been done (which is epically badly, and stupidly.)

On the upside a generation of future kids will learn about this, and how doing the right thing badly is worse than doing nothing at all.
by raphlinus | 2025-05-29 04:01:52+00:00
I'm excited for the Adafruit Fruit Jam to come out. I don't know how much it'll cost, but it's really a complete small computer: 2x USB A for keyboard, mouse, and/or controller, HDMI, SD card, high quality audio out 5 RGB LEDs, extra PSRAM, and some other goodies. I imagine it will be quite straightforward to port this.

While getting DVI/HDMI out from a RP2040 is an impressive hack, on the RP2350 it's pretty straightforward, and the chip will do standards-compatible 640x480 without overclocking. With overclocking, at least the one I have will do 1280x720 60Hz (albeit with reduced blanking). At those resolutions and the limited amount of RAM, framebuffers are not great (this is why bpp is so spare), so I'm exploring generating video on the fly.

Super fun chip, I highly recommend it for people who want to get into very low level programming.

[1]: https://www.adafruit.com/product/6200
by godelski | 2025-05-29 04:01:59+00:00
I think it helps to understand my namesake's Incompleteness Theorem[0]. They are actually connected [1,2]

1) no consistent system of axioms whose theorems can be listed by an effective procedure (i.e. an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system. 2) the system cannot demonstrate its own consistency.

Any axiomatic system will have true statements that are unprovable. Which means basically any system of logic. If you've made an assumption you'll end up with this. You're always making assumptions, even if you don't realize it. It's usually a good idea to figure out what those are.

I hear a lot of people say "from first principles". If you're not starting from your axioms, you're not starting from first principles. Think Carl Sagan making a pie from scratch.

[0] https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...

[1] https://scottaaronson.blog/?p=710

[2] https://cstheory.stackexchange.com/questions/10635/halting-p...
by overfeed | 2025-05-29 04:03:11+00:00
Yes - things could get worse from the status quo.

At the moment, ad networks don't pay for bot impressions when detected - so content farms tend to optimize for what passes for humans. All bets are off if human and bot visitors offer the same economic value via miners, or worse if it turns out that bots are more profitable due to human impatience.

Imagine an internet optimized for bot visitors, and indifferent to humans. It would be a kind of refined brainrot aimed at a brainless audience.
by Aloisius | 2025-05-29 04:03:31+00:00
> Most notably, only Congress can declare war, which has been a real sticking point in the last century

Sticking point? Where in the Constitution does it say a declaration of war is required to wage war?

We didn't have a literal declaration of war for the Quasi War (1798-1800), the First Barbary War (1801–1805), the Second Barbary War (1815), any of the many American Indian wars, etc. That clearly didn't seem to be a sticking point for George Washington, John Adams, Thomas Jefferson or James Madison.
by staplers | 2025-05-29 04:03:58+00:00
It's really only a large risk if you don't compensate competitively.

Sports teams constantly "lose talent" because they refuse to pay for it. Suddenly they start losing games..

All this "knowledge lost" is often just talent and experience.

You can lead a horse to water, you can lead a junior to documentation.

I know the manager brigade will take this personally but talent and experience have always carried any workplace I've been a part of.
by Animats | 2025-05-29 04:04:40+00:00
So many surplus stores are gone. Silicon Valley had HSC, where Steve Jobs bought Apple's first oscilloscope. They closed in 2018. Weird Stuff Warehouse closed in 2018. Edmund Scientific in New Jersey closed in 2001. Electronic Surplus [2] is "temporarily closed for maintenance. Fair Radio Sales in Lima, OH closed in 2023.[1]

It's cheaper to buy the new stuff from Shenzhen than the old stuff.

[1] https://fairradio.com/

[2] https://www.electronicsurplus.com/
by WarOnPrivacy | 2025-05-29 04:05:10+00:00
> What a softball article. It's mind blowing to me (living outside US) how journalism in the US is soft with people in power.

Major US news orgs have a long and mostly unbroken history of deference to federal powers. If a head of a federal LEO, intelligence or related agency makes a significant announcement, the press will dutifully repeat the assertions without any analysis or attempt to vet the info.

During the 2010s we'd get claims like Cyber Pearl Harbor or FBI's Going Dark w/ 7k unlockable phones. Never with evidence. And it was never questioned.

Officials who had been eventually factchecked (once here, once there) by qualified, credible people were found (each time) have been untrue (Keith Alexander). With a zero percent credibility rating, they were still never doubted.

Local news orgs do the same for most Gov and corp entities. If Local Police say "..." it will be faithfully presented as if the statement is a verified fact - except no verification is done, usually ever.

Our current admin rattles off stuff that is impossible to believe. Finally the US press wonders if it's true. Huzzah for progress, I guess.
by joeyrideout | 2025-05-29 04:05:56+00:00
On the contrary, I would argue that conscious attention is only focused on one of those subroutines at a time. When the ball is in play you focus in it, and everything from your posture to racket handling fades into the background as a subconscious routine. When you make a handling mistake or want to improve something like posture, your focus shifts to that; you attend to it with your attention, and then you focus on something else.

In either case, with working memory for example, conscious contents are limited to at most a basket of 6-7 chunks. This number is very small compared to the incredible parallelism of the unconscious mind.
by jonahx | 2025-05-29 04:07:05+00:00
What do you not buy? He's saying it could be used to do anything for free. He gave four examples. The first two don't have general solutions, and never will. You don't like the last 2 examples because we have algorithms for them, ok. It doesn't undermine the argument. And in any case both things were developed with effort and ingenuity... they weren't spit out of a halting problem calculator.