MurphyA/hacker-news huggingface dataset:
by voxleone | 2025-07-25 12:16:39+00:00
It may be good, but what does the Brazilian law say[0]?

In 2021, Brazil enacted Law No. 14.063, which governs the digitalization of public services. Its Article 16 is clear:

“Information and communication systems developed exclusively by the public administration shall be governed by open-source licenses, allowing their unrestricted use, copying, modification, and distribution by all public agencies and entities.”

In short, software developed solely by the public sector—funded with taxpayer money and intended to serve the public interest—must be made available under an open-source license.

Pix is exposed to a legal instrument called 'Mandado de Segurança'.

I have written about it:

https://d1gesto.blogspot.com/2025/06/brazils-pix-system-face...

[0] https://www.gov.br/governodigital/pt-br/plataformas-e-servic...
by pmlnr | 2025-07-25 12:16:49+00:00
It's a much bigger question why, such a completely natural and normal thing, like nudity, in the supposed to be educated - at least in basic biology - 2025, be made and exclusive thing.

The intro of the 1986 Once upon a time... Life animation series, that's the best human biology educational program that exists to this very day, starts with scenes many would classify as nudity - but it's also essential to the topic and the education it displays.
by SirHumphrey | 2025-07-25 12:17:05+00:00
As a European I would like geographically and politically dispersed production lines for one of the most important products of the 21 century. Domestic production would be idal, but whatever we can get is a plus.

Because Taiwan is a small, earthquake prone island perpetually on the brink of invasion of a superpower 180 kilometers away. And antagonizing, predatory privacy laws and espionage is also an issue with CCP, however we still import a lot of electronics and semiconductors from there.
by Ukv | 2025-07-25 12:17:29+00:00
> If the many worlds interpretation is right, I should only observe universes in which I’be managed to conjure up your message faster than causality, right?

I feel that's pairing MWI with some non-physical (or at least beyond the wave function) overarching "I" that can see across or jump between branches of the wave function, whereas I'd claim the appeal of embracing MWI is largely that the universe's wave function is all there is and observers/consciousness play no special role (along with not having nonlocal random "collapses"). The experiment would be no different than gathering a bunch of people, assigning each a number, then killing the ones that were assigned the wrong number once the real number arrives.
by anthk | 2025-07-25 12:17:54+00:00
My cwm setup with a keyboard it's like that, but with a far better approach.

~/.cwmrc:

https://termbin.com/3jrl

It has a border (2px/4px dep. on the mood), you can execute programs with autocomplete (win+a), search between open windows (win+s), resize/move them, close (win+q), move them to virtual tags (desktops) shift+win+1-4, and go to each of these tags (win+1-4).

Minimal but actually usable. And fast as hell. I don't even need a mouse, and my RSI plumetted once I came from Emacs for a experiment (yes, I always had Ctrl and CapsLock switched over), even with CWM.
by mmmBacon | 2025-07-25 12:18:43+00:00
The supply chain is already dispersed, even outside Taiwan. Particularly as we move from single die devices to MCM, many processes are outside of Taiwan. JCET is in Singapore and Amkor is in Arizona and Korea for example. There is some cost to the logistics but it’s kind of in the noise on a per device basis. The cost is in the processes themselves. It is a gigantic pain to manage but it doesn’t not add such a high variable cost.

Semiconductor companies need gross margins of around 65% to grow and be able to invest in development of the next node. So this large additional variable cost really can’t be shrugged off as you suggest. If so, Ms. Su wouldn’t have mentioned it at all.
by miltava | 2025-07-25 12:19:53+00:00
Yes. But credit cards have high costs for the merchant. Thats why they get to give us cashback. It depends on the country, but the cut rate goes from 1% (in europe) to 3% in Brazil.

And the merchant gets the money after a long time. It is possible to advance the payment but the rates are much higher (10%+).

So, i dont think we can even think of credit cards as instant payment. And it has mich higher costs that, in the end, go back to the consumers.
by henry700 | 2025-07-25 12:19:57+00:00
You're right, except for the last sentence. Lack of financial literacy has some levels. One could refuse to use Credit Cards because they don't perceive the benefits (point programs or cashback) they could individually attain, but one can also refuse to use Pix because "I only have to pay my credit card invoice once at the end of the month and can spend without worries during the month" (which is even dumber, but is the reality we're living on).
by ralfj | 2025-07-25 12:19:57+00:00
> While you're wondering why I keep claiming Go is a memory-safe language, you can also go ask the ISRG, which says the same thing I am at

And yet Go violates the definition they give -- it doesn't prevent out-of-bounds accesses. (And just to be sure we're talking about the same thing, I'm specifically talking about Go here. All the other languages on their list are actually memory safe, as far as I know.)

> you have to demonstrate a plausible scenario in realistic code where an attacker controls both the value and the address it's written to.

So your definition of memory safety includes some notion of "plausible" and "realistic"? Neither https://www.memorysafety.org/docs/memory-safety/ nor Wikipedia have such a qualification in their definition. It would help if you could just spell out your definition in full, rather than having us guess.
by alganet | 2025-07-25 12:20:40+00:00
They don't.

Non-human beings from another world? Neither me or governments believe in that.

UFO: Just something unidentified that flies (or flew).

UAP: Re-definition to support unidentified objects that do not specifically "fly".

Extraterrestrial: Out of Earth. Pedanticly, could be an astronaut.

Alien: Pedantically, means "from another nation".

These are acurate terms to avoid describing something very acurately, while keeping the public away from potentially sensitive information. They are designed to spread the weaker myth-like version.

Any of those things mean "you are not supposed to know what we think this is". However, I have the impression that earlier versions of these mechanisms were less friendly, and sometimes even used as offensive or defensive measures, maybe even decoys. "Hey, we found an experimental plane, did you lost one? If you did, you must be freaking out" or things like that.

No actual beings from another completely different tree of life, no beings from other planets. At least not so evidently.
by pjmlp | 2025-07-25 12:21:22+00:00
Would Flang do it? Fortran was once general purpose.

https://github.com/llvm/llvm-project/blob/main/flang/docs/Hi...

Maybe the work in Swift (SIL), Rust (MIR), Julia (SSAIR) that were partially the inspiration for MLIR, alongside work done at Google designing Tensorflow compiler?

The main goal being an IR that would accomodate all use cases of those high level IRs.

Here are the presentation talk slides at European LLVM Developers Meeting back in 2019,

https://llvm.org/devmtg/2019-04/slides/Keynote-ShpeismanLatt...

Also you can find many general purpose enough users around this listing,

https://mlir.llvm.org/users/
by metalman | 2025-07-25 12:22:03+00:00
anything that needs legal consent or age of majority to do, so all the sexy stuff, voteing, owning , buying and selling property, killing people(in the line of duty), running for political office, etc....someis deemed to be suitable for "viewing" and some not, but all fallunder the same legal umbrella of "age of consent/majority" where traditinional comunities had various ways of inducting, youth, and outsiders into the various "mysteries" anybody alert may have noted a child saying "YOURE not supposed to talk about that stuff with us around!!!, huff, huff, eye rolls.....adults, sheeesh" that stuff....
by bornfreddy | 2025-07-25 12:22:35+00:00
> > Better safe than sorry.

> People who are familiar with how GrapheneOS updates work wouldn't agree. No identifiers are sent to the update server, so targeted updates aren't possible that way. Also, update servers only host static files...

We are literally talking about an OS here. It has an almost total control over your phone - what does it matter if the updates can be targeted? The GOS could snoop on their users and turn into malware only if it figures out that this is Rossmann's phone.

This is what is keeping me from installing GOS too. Interaction from the developers seems very aggressive towards the competing OSs, which doesn't inspire much trust. Who is reviewing the GOS changes? Are they really all benign? In the end you need to trust someone, but I'm not sure GOS is more trustworthy than LineageOS (which has a bigger community, more developers and /e/os building on top of them).

Happy to be convinced otherwise.
by whodidntante | 2025-07-25 12:23:22+00:00
Ironic, isn't it ?

I am not sure how to address such a blanket statement as "Hundred million contracts with zero results. Conservative ideology is based on the idea that certain people is just above others" without providing counter examples.

I can also find plenty of examples from the other "side"

Point is, our government system is broken and is not able to do or build anything except keep to keep itself growing, and the fault is shared across the political spectrum.

The only thing the politics seem to be good for is to keep everyone appalled, in rage, and entertained with the idea that if only the "other" was not so inept, stupid, or ideological, things would be better.

Bread and circuses.
by Mountain_Skies | 2025-07-25 12:23:31+00:00
Until the rest of the world actually stops using the US Dollar as their reserve currency instead of endlessly talking about it but never actually do more than some token local trades, I don't believe the rest of the world prefers Mainland China invading Taiwan over dealing with the US. People (and countries) love to bluster but their actions are far more indicative of their outlook than posturing is.
by rst | 2025-07-25 12:24:48+00:00
People go through all sorts of weird mental gymnastics about this. The FSF at one point took the position that binary blobs were cool so long as they could not be upgraded, because then you could pretend they weren't software at all, but just part of the wiring. I've seen this odd line of thought attributed to RMS himself, but here's an FSF statement, from when he was running it: https://www.fsf.org/blogs/community/task2-openmoko
by agentcoops | 2025-07-25 12:24:56+00:00
I used to work quite extensively with Isabelle and as a developer on Sledgehammer [1]. There are well-known results, most obviously the halting problem, that mean fully-automated logical methods applied to a formalism with any expressive capability, i.e. that can be used to formalize non-trivial problems, simply can never fulfill the role you seem to be suggesting. The proofs that are actually generated in that way are, anyway, horrendous -- in fact, the problem I used to work on was using graph algorithms to try and simplify computer-generated proofs for human comprehension. That's the very reason that all the serious work has previously been on proof /assistants/ and formal validation.

LLMs, especially in /conjunction/ with Lean for formal validation, are really an exciting new frontier in mathematics and it's a mistake to see that as just "unreliable" versus "reliable" symbolic AI etc. The OP Terence Tao has been pushing the edge here since day one and providing, I think, the most unbiased perspective on where things stand today, strengths as much as limitations.

[1] https://isabelle.in.tum.de/website-Isabelle2009-1/sledgehamm...
by ralfj | 2025-07-25 12:25:05+00:00
Yeah I understand that that's how you like to use the term, you've been very clear about that. What I am curious about is whether that's just you. Because the source you gave last time, https://www.memorysafety.org/docs/memory-safety/, doesn't agree with what you are saying, and neither does Wikipedia.

I am honestly curious here. I am a PLT researcher so I am in a bubble where people use the term consistently with how I use it. You are the first person I meet (for some notion of "meet" ;) that uses the term differently. But without external sources it's hard to judge how wide-spread your definition (that you still haven't spelled out...) is.
by infecto | 2025-07-25 12:25:34+00:00
No world organization accepts radiation hormesis. Full stop. I am glad you find benefit and I am not suggesting it’s dangerous but I am also not accepting that it is beneficial.

This is not an American vs European thing please don’t make it. I am simply saying no governing body has accepted it beyond a study. Your view of the world is skewed if you think studies are not happening.

People have been questioning LNT, which is the accepted policy by most of the world including Europe. There is nuance and suggestive evidence that low dose is ok, after all humans evolved with background radiation. What is unclear is how beneficial it is and at what doses it becomes harmful. There is no clear study that shows benefit hence LNT being the adopted approach.
by orbisvicis | 2025-07-25 12:26:29+00:00
> There is no other use case for crypto, only this.

I'm sorry but last few months have done nothing if not demonstrate the need for crypto currency, aka digital cash. It may not be ready, but it is likely the only path forward. In the meantime Monero is relatively stable, sufficiently anonymous, and has comparatively low transaction fees.

The monopoly of existing payment processors cannot continue. They have a stranglehold on fees and issue cards that promote economically harmful activities. They and contactless payment processors sell your data. And now they control what you can and can't purchase.

Enter national digital currencies such as as the proposed CBDC. Fear-mongering sites making such outlandish claims [1]. So I do a bit of research, and find [2]... wait, what?

"In addition, it [full anonymity] would make it virtually impossible to limit the use of the digital euro as a form of investment – a limitation that is essential from a financial stability perspective."

Suddenly I trust [3] so much less. The technical controls required to implement inventory limits would just as easily enable expiration dates and automatic devaluation, or whatever overreach governments deem necessary down their slippery slope.

1. https://www.financemagnates.com/fintech/payments/cash-with-a...

2. https://www.financemagnates.com/fintech/payments/cash-with-a...

3. https://becid.eu/facts/fact-check-is-the-central-banks-aim-f...

Where does Pix fall in this spectrum?
by gsf_emergency_2 | 2025-07-25 12:26:34+00:00
From that page, a more fruitful line of inquiry descent

>Sen faults Rawls for overemphasizing institutions as guarantors of justice and not considering the effects of human behaviour on the institutions' ability to maintain a just society.

Basically think of Buffett as 2 persons (+Munger).. half the nous?
by tgv | 2025-07-25 12:27:43+00:00
You're absolutely right. The article claims you can't define pornography by deliberately choosing a few borderline examples, and pretending that's all there is.

It's simply not a good way to discuss the online safety act. One could apply the same kind of reasoning to theft: "I took a friend's car without his consent, but I returned it, with a full tank. It would make zero sense for him to denounce me to the police. They wouldn't even think of prosecuting. People borrow things all the time."
by worldsavior | 2025-07-25 12:27:50+00:00
uBlock origin won't save you from exploits in Firefox. The only way it would've might save you is if you disabled first-party JS, which you might as well just disable in the browser itself.

Chromium still is the superior browser in terms of security and Firefox is way behind. Adding an extension so you _might_ have less security exploits in the foundation is a wrong tactic and should be avoided.
by brainwad | 2025-07-25 12:28:04+00:00
Credit card isn't more expensive than its main competitor, cash, though. It's just the costs of credit card acceptance are transparently added to each transaction, while the costs of cash are distributed over the whole day's cash transactions and so more opaque.

Merchants have a psychological (and in some countries, legal) barrier to charging more for cash than other payment methods, even though it's the least efficient. Given this, cash-back is the best way to share the efficiency gains with the end user. Maybe if Pix or Twint or debit cards or what-have-you are so efficient, they should also give consumers cashback.
by 1970-01-01 | 2025-07-25 12:28:17+00:00
>XMPP is uniquely well-positioned to meet these needs. It is mature, open, extensible, and governed through transparent standards. It has a community of engineers, operators, and

It's everything but mature. XMPP is a DIY flatpack plastic model kit that requires a lot of experience with super glue and paint to correctly build. As with all open source things, it is nowhere near as mature and safe as a simple Lego kit that anyone can buy and assemble in an hour.
by jdietrich | 2025-07-25 12:28:29+00:00
>A more effective defense would be if that police-alarm button also released a quick-acting sleeping gas, but those aren't really available in real-world contexts and carry lots of unintentional risks.

Rapid fog generators seem ridiculous at first glance, but they're remarkably effective in many circumstances.

https://www.youtube.com/watch?v=qX-130jedbo
by btown | 2025-07-25 12:28:38+00:00
IMO the real vulnerability here is that you can put a URL in the App Name for a Google OAuth app, and Google will render that in no-reply emails to arbitrary addresses from its root domain. (And even if that render is not clickable, if you make the surrounding text scary enough, the victim will navigate there.)

The fact that any number of keep-DKIM-intact forwarding services can be stacked on top is almost secondary - though educational.

There should be no legitimate reason for the App Name of an OAuth app to contain a URL, and especially one containing google.com. That is where this should be fixed.
by tptacek | 2025-07-25 12:29:22+00:00
Again: my usage of the term is widespread enough that the ISRG uses it to refer to Go as well, as does, well, basically everybody else in the industry. I think you've just message-boarded yourself into believing this is a live debate. There is no sequence of words you're going to come up with to convince me that everybody is wrong when they say "Go is a memory safe language".
by swores | 2025-07-25 12:29:23+00:00
I can't promise to be able to help (nor can I promise that if I can help it'll work out better than returning to the African mountains!), but depending on your location & circumstances it's possible I could help you either on the job front or with accommodation. If you'd like to find out, drop me an email (see my profile).

Or if you comment here publicly some more info about your work skills and experience, I wouldn't be surprised if other people might be willing and able to help too :)
by krapp | 2025-07-25 12:29:31+00:00
>It's a much bigger question why, such a completely natural and normal thing, like nudity, in the supposed to be educated - at least in basic biology - 2025, be made and exclusive thing.

Western culture and its morals around sex, gender and nudity are founded on the patriarchal taboos of the Abrahamic religions, whereby human nudity in general, and female nudity in particular (because women are the source of original sin,) is to be considered shameful.

That and we're currently in the midst of a right-wing political reactionary shift against the progressive norms of prior generations (and a moral panic about "groomers" and "pedophiles") which makes censorship of this type far easier.
by ericmay | 2025-07-25 12:30:16+00:00
Primarily too much Chinese steel. Overbuilt industrial capacity to flood markets and run other competitors out of business is what has occurred.

For example, the EU has enacted tariffs and other protectionist measures similar to the United States except without all the complaining on the internet.

> The European Union imposes trade penalties intended to stop China from dumping its cheap steel on its markets. But Chinese steel keeps coming, prompting countries that were not traditionally steel exporters, like South Korea and Japan, to join the hunt for buyers elsewhere.
by Cu3PO42 | 2025-07-25 12:30:20+00:00
I wanted a tiny helper tool to display my global keyboard shortcuts for me on macOS. I gave Kiro a short spec and some TypeScript describing the schema of the input data.

It wrote around 5000 LOC including tests and they... worked. It didn't look as nice as I would have liked, but I wasn't able to break it. However, 5000 lines was way too much code for such a simple task, the solution was over-engineered along every possible axis. I was able to (manually) get it down to ~800LOC without losing any important functionality.
by bcrl | 2025-07-25 12:30:43+00:00
That doesn't work reliably either. No existing code scrubs STDDATA_FD from their environment variables, and there's no way to know if anyone uses STDDATA_FD in the wild. Why not just use a command line parameter like everyone else? Different isn't better in a situation like this.

This is a larger concern I've started to see in a certain class of younger developer where existing conventions are just ignored without an attempt at understanding of why they exist. Things are only going to get worse as naive vibe coders start flinging more AI generated garbage out into the world. I pity the pole folks trying to maintain these systems a couple of decades from now.
by amiga386 | 2025-07-25 12:31:04+00:00
For those who are now fearful to click the link, its an opinion piece about the given topic, and it's illustrated with a stock photo of a nude pregnant woman. The author's point is that this nudity is not pornography.

So it's not "adult content", but probably "NSFW" unless you work in a maternity hospital.

Just as a comparator, the Wikipedia page https://en.wikipedia.org/wiki/Pregnancy leads with a clothed pregnant woman (unlike the pages on e.g. labia, penis, anus, breast, which lead with a direct shot of the body part), and overall that page has photos or illustrations of 4 clothed and 3 nude women (and a CT scan volume render, does that count as nude or not?)
by Mountain_Skies | 2025-07-25 12:31:17+00:00
For how much longer will the United States have that expertise? Both major political parties seem intent on becoming completely reliant on importing labor, both blue collar and white collar, while giving domestic labor the finger. Boomers are already retiring by the millions and Gen-X aren't all that far behind. Outsource mania and its cheap visa labor twin had been growing since the 1990s so the younger generations have been shaped in that environment. Does the United States really have that expertise or does it simply have a bunch of guests with that expertise? Should a country have to hope that it can pander to those guests enough for them to stay and be loyal (and possibly disloyal to their homelands)? Doesn't seem very stable in the long run.
by rescbr | 2025-07-25 12:31:36+00:00
Considering all the major banks credit cards are able to be added to Apple Pay's wallet, my educated guess is if a person has an iPhone and a credit card, they are using it through Apple Pay most of the time. Even meal voucher cards are now able to be added to Apple Pay's wallet.

I don't have statistics readily available, but you can search for CADE's (Brazilian fair trade regulator) inquiry 08700.002893/2025-17 on Apple's refusal to support Pix on Apple Pay and comb through the documents.