skysight-inc/HackerNews huggingface dataset:
Show HN: VeraId, a decentralised, user-friendly, offline authentication protocol
I'm leading the VeraId project, a decentralised protocol that allows you to securely attribute content to any domain name under your control. It's a bit like TLS, but signatures can be produced and verified without an Internet connection.

VeraId combines DNSSEC with a new Public Key Infrastructure (PKI) to produce digital signatures that can be linked to a domain name. Consequently, every signature contains enough data to be independently verified without external queries, such as DNS lookups.

Here's a Replit demo you can use locally to produce signatures attributed to your own domain names: https://veraid.net/demo/

We built VeraId in 2023 to support a broader initiative aimed at circumventing complete Internet blackouts caused by repressive regimes and wars. This might sound familiar because the main project hit the HN homepage a few months ago: https://news.ycombinator.com/item?id=41646782

VeraId underwent an independent security audit, but the US Government (which funded all our work) defunded foreign aid before the auditor produced the final report. I was never alerted to any issues, and I should have been if there were any. I can't prove that, but you can check out the audit reports for our other projects to get a sense of our security practices: https://awala.app/en/blog/2024-security-audit-part1/ and https://letro.app/archives/letro-security-audit-2024.pdf

Any questions? Feedback? Looking forward to hearing your thoughts!
Academia also has, or has had, a metoo movement over actual sexual harassment and bullying. And of course the two are linked; if you can bully a young female researcher into not complaining about sexual harassment, you can bully her into complicity with your fraud.

Attempts to address this are probably going to get swept away by the anti-DEI crackdown in the US. After all, not harassing your juniors is inclusivity.
Or beeper - its fully replaced messager on my phone with no issues from Facebook marketplace
> I think most of the indigenous people of the places that they colonised experienced it as being _fairly_ nefarious!

The Maori were eating each other before the British arrived - that's not hyperbole, they practised cannibalism. Upper caste Indians were throwing still-living women into fires so they could join their husbands in the afterlife. If the British arrived in these places as marauding pirates (and they did), they still come out ahead on these metrics alone.

> Even one of the most anglo-friendly and prosperous former colonies, the USA, didn't have very nice things to say about the Empire when they were a part of it.

Ironically that is where some of the worst atrocities occurred.
Sooner or later we probably will suffer the event of lost knowledge similar to fire of Library of Alexandria but with internet.

At some point greedy corporations will come to conclusion that storing old data, movies, music, documents is just to costly.
And just like that all of this will be just deleted.
Hopefully we will see something similar to defamation cases brought here.
Bronze Aged Pervert Charmed the Far Right
Yes - a window.
Great effort.

But I will make the obvious point that does not seem very fashionable these days. What if we chose instead to cultivate self-discipline? This project is a technical fix to a human problem, but human problems can also be addressed with human solutions. Is there no value in doing things the time-honored way?

Personally, I'm not addicted to social media but I do have a sweet tooth. The classic hack here is not to have sugary things in the home, or only in such small quantities as to neutralize the problem. But these technical fixes are expensive. Restaurant desserts are poor value compared to an industrial-sized pot of Nutella, consumed slowly.

Well, I've discovered that, with practice and determination, and of course some rules about quantities and time windows, it is in fact possible to resist temptation, even when it's sitting right in front of me all day. Personally, I find this human solution to be liberating and empowering.
These are fungi in the gut, as far as I understand. Seems weird that they would affect the pancreas. Wonder if that is the case in adults too? (not affect development, but some other effects)
PolySubML: A simple ML-like language with subtyping, polymorphism, higher rank t
Memory: A self-hosted editor and note taking app
It’s always possible that there is a Vatican Super Secret Archive that has been successfully hidden from the world, but the regular Secret Archive isn’t actually secret (and in fact isn’t called the Secret Archive any more), because it’s now open to researchers.

Same for Mount Athos, where materials are being catalogued by various projects.

Further knowledge about the origins of the bible are more likely to come from archeological finds, like the Dead Sea Scrolls.
I believe that's ingrained in the culture to live besides the filth and romanticize poverty.
Did the Austrian government or any other social western government ever manage do do anything that lead to a decrease in bureaucratic waste? From my PoV, no matter what they do, no matter their marketing messages, the costs always go up and efficiency goes down.
Yes. The bureaucratic systems put into place to increase "quality" and "output" are incoherent, so they create even more incentives for fraud. It's paper Stakhanovism.
You can rule out electric forces by just grounding the masses to have them at equal potential, at least as long as your test masses are conductive. Magnetic forces seems harder, use a non-magnetic material does not really help, how would you know that it is not ever so slightly magnetic, maybe even just due to contamination? Maybe try different materials and find that the effect scales with mass but seems independent of the material, that could increase confidence as it seems unlikely that different test masses made of different materials would exhibit the same tiny magnetic forces. Also I would first do a calculation, I have no idea how the gravitational forces compares to say paramagnetic effects you might encounter, for all I know they could be of similar size or orders of magnitude apart.
There's no need to imply a shadowy conspiracy to hide the "truth". You can look at, for example, The Dead Sea Scrolls and compare them to the Masoretic texts: https://news.nd.edu/news/dead-sea-scrolls-yield-major-questi...

Spoiler alert: there are some differences, but many more similarities.
Where did you get that number? 2.15 USD = 187 INR/day = 5610 INR/month.
On the topic of AI listing generation, eBay added it at some point recently and it is complete and utter garbage.

Listings used to say stuff like "iPhone 15 Pro, good condition, comes with case and cable, no box, one scratch on rear shown in pics"

They now say "Introducing the brand new Apple iPhone 15 Pro 5G in Black Titanium! This device features a Hexa Core processor and Apple A17 Pro chipset model, providing lightning fast performance <continues blather>"
I think what you meant to say is that they aren’t strictly geometric or “interpretable”. But they absolutely are vectors in the linear algebraic sense.
>How so?

The healthcare system of a country was run in Excel. Didn't you read the title?

> so it should be used less, not more

I never said it should be used more, I said the fact that it could be used for that, makes it an impresive achievement for the app.
As the article states "These undocumented HCI commands cannot be triggered by Bluetooth, radio signals, or over the Internet, unless there is a vulnerability in the application itself or the radio protocols.". Hence I dont think there is any security risk here assuming the application and radio is safe.

It differs in a way that the person must have access to the device to flash firmware I believe. In x86 as you describe, the person could attack with a connection to the device/machine.
the real fun happens when you're doing templates inside of templates and you have to figure out how to escape quote characters correctly
Extrinsic termination proofs for well-founded recursion in Lean
>That didn't stop millions of people from dying from hunger as their own food was taken at gunpoint and exported to other countries.

The problem was not exactly that, there wasn't food export when there was famine. Communists are not that stupid. All they wanted was to overcome the corporate greed of the peasantry, who often sold food to workers at 2, 3, or 5 times the price, so they fought price gouging on food, determining fair prices, that would allow all the country to be well-fed.

But for some unknown reason in response to that beautiful and righteous policy the peasantry reduced food production, which caused the famine.
Both Ian Bell (Elite) and Tim Tyler (Repton) have fascinating websites of their own. Elite is there for download alongside a treasure trove of historical information, and Tim has a successor to Repton, 'Rockz', which expands on a lot of the concepts in interesting ways.

https://timtyler.org/

http://www.iancgbell.clara.net/index.htm
> Fraud may be internationally acceptable, but its still worse than worthless in the west.

? I thought OP was referring to things like the presidential cryptocurrency, the ultimate endorsement of pump-and-dump fraud.
Dubai's Billion-Dollar Crypto Underworld [video]
The core issue is that those ad blockers are easy to defeat. The only reason ad companies haven't invested energy in defeating them (yet) is because they're not popular enough.

Once they are the only option in Chrome, it's just a matter of time until Chrome becomes largely useless at blocking ads.
One issue is the unfortunate deep level of corruption in Indian society.

If people create many waste management companies and people tried to invest in them then some people would just create fake companies and simply steal the money. There’s no trust.

Or at least that’s the way it used to be decades prior. Your suggestion nowadays might actually work because the Indian government has now identification measures for every Indian citizen. And other new technologies and enforcement which make this type of corruption more easier to eliminate.

But the deep seated cultural perceptions of dishonesty and endemic corruption from the past will continue for many years unfortunately.

Hopefully one day India can become the kind of place you are suggesting.
Fast-PNG: PNG image decoder and encoder
Using the popular vote in a system where the popular vote means nothing seems a bit odd. Why not use the candidate's hand sizes instead? It's just as arbitrary.
I would be shocked if the modal listing price on FBM UK is not £0.00
I suspect that the Pi 400 kit is a nod to the Archimedes 400 series, but I haven't seen anything to confirm this.
Created 6 GoogleDocs guides for my mom's new laptop there has to be a better way
My mom just got her first laptop as a kindergarden teacher, and I've spent hours creating step-by-step guides for everything from checking email to using the camera. I've tried:
- Written instructions (too confusing)
- Google Docs with screenshots (tedious to create)
- Video recordings (too long, she can't find the part she needs)

Nothing seems to stick or be easy for her to reference when she's stuck. I feel like I'm reinventing the wheel - surely other families have solved this?

What methods have worked for you when creating guides for family members?

I'm exploring solutions to this problem and would value your input
Unlike previously when he was subservient to the Dems, that wasn't grotesque at all...
The Irish economy overtook the British one by most measures some time ago (arguably partially as a result of the UK’s problems with regional development; the British economy, at this point, is verging on basically just being London and its immediate area).
What, like stealing Cromwellian corn so the young might see the morn?

Win a free trip to Australia!
It's most likely that technical problems are turned into organization departements. The people making the decisions lack the knowledge and tools to solve them efficiently. They gain nothing from solving the problem itself but they gain from growing the organization in size. The solution is obvious while the path to get there can be very convoluted.
What Is MQTT? Why Most MQTT Explanations Suck–and Our Attempt to Fix Them
Switching to BunnyCDN in Less Than 2 Hours
Yeah. Remember also that cache misses are much more expensive to serve than cache hits for YT because it falls back to their core datacenters instead of being served from their edge CDN. Scrapers are nothing but cache misses.
Fastmail for me. Switching was easy. For existing services/logins, I just added forwarding from gmail and didn't bother changing addresses except with the most important things. Most services from back then no longer exist anyway, or have turned into spam, so I eventually turned off the forwarding.

I don't yet pay for search (mostly using duckduckgo), though I am considering it.
"Diapers and beer" was the go-to story for data mining of purchasing data in the 1990s. https://tdwi.org/articles/2016/11/15/beer-and-diapers-imposs...

That link shows both how widespread the idea was, and how shaky the evidence was.
This book opened my eyes on the topic, some time ago:

Ever Since Adam and Eve: The Evolution of Human Sexuality

by Malcolm Potts and Roger Short, 1999

An anthropological view over the human culture.. very broad and deep. Definitely worth the long reading.
Might have also been one of those things that looked better on the 14-15" CRTs of the time vs crisp high-res flat panels of today. They were blurry enough that 640x480 was "high resolution" (I remember not being able to easily see the pixels at 800x600 on a 14" CRT unless I came super close to the monitor).
This article seems to argues from the way scientific discoveries are made by humans. It seems to me that its gist is similar to some article from the 80s that claims that computers will never play good chess, or an article from the 2000s that claims the same for go.

The general shape of these arguments is: "Playing chess/go well, or making scientific discoveries requires specific way of strategic thinking or the ability to form the right hypotheses. Computers don't do this, ergo they won't be able to play chess or make scientific discoveries".

I don't think this is a very good frame of reasoning. A scientific question can take one of the following shapes:

- (Mathematical) Here's a mathematical statement. Prove either it or its negation.

- (Fundamental natural science) Here're the results of the observations. What are the simplest possible model that explains all of them?

- (Engineering) We need to do X. What's an efficient way of doing it?

All of these questions could be solved in a "human" way, but it also possible to train AIs to approach them without going through the same process as the human scientists.
> What if we chose instead to cultivate self-discipline?

I think that it can not be understated just how much self disciplin moderne people living in moderne societies are possessing.

Try to compare how moderne adult people react to sweets, social media, etc. compared to kids and children.

Continuing pushing this on the individual does not work. This is like saying that you can become multi billionaire by not getting star bucks.
So, if you're in a Republican state, you're far more likely to get caught up in this due to a compliant state government, I guess?

Or the Federal govt can strongarm your state into compliance by withholding Federal money?

I imagine California is in a position to tell them to jog on, but sheesh.
Instead of connecting language with physical existence, or entities, it's connecting tokens.
An LLM may be able to describe scenes in a video, but a model would tell you that said video is a deep fake because of some principle like conservation of energy and mass informed by experience, assumptions, inference rules, etc.
But the OP talking about an iPhone? I’m sure some devices get bricked (for real) by updates. The iPhone slowdown wasn’t that (though it still should have been optional and/or well advertised)
The Popover API (2023)
The comparison is interesting. The Rafale is more expensive than the F-35 and the F-35 has better stealth, but it is known French passive radars can detect most if not all US Stealth planes. Anything else like speed, range, and climb rate and possibly missiles advantage is for the Rafale.
Watched videos, seeing photos... you should travel a bit more IMHO. Not everything is quickly solvable by 'billion dollar startup' mentality. Understand their culture and history a bit, where they are coming from and where they as society go, realistic limits and so on.
The odds on Polymarket (and other betting markets) started diverging at the start of October; by the end of the month, the odds were 65/35 in favour of Trump.

At the time, many commentators were arguing that this was obvious market manipulation. It turned out that the trader who had supposedly manipulated the market had in fact commissioned private polls using an alternative methodology - rather than asking people how they would vote, it asked how they expected their neighbours to vote.

https://polymarket.com/event/presidential-election-winner-20...

https://www.ft.com/content/e8b2ff85-a4dd-40cd-a4c1-e3d706869...

https://www.ft.com/content/4b302ab8-7e40-4d1a-bbe6-3d46f6811...
> If you are referring the 30 seconds to kill time, that would be holding it wrong. As long as your process is PID 1, you can rig up your own process exit handlers, which completely resolves the problem.

Maybe I am holding it wrong. I'd love not to have to do this work.

But I don't see how being PID 1 or not helps (and yes, for most workloads it is PID 1)

The ALB controller is the one that would need to deregister a target from the target group, and it won't until the pod is gone. So we have to force it by having the app do the functional equivalent with the readiness check.
Many life-saving drugs fail lacking funding. The solution: desperate rich people
Tiny nit-pick: onclick="document.getElementById('modal').showModal()" in yellow box 3 seems to not allow word breaks, overflowing the page
Wait, what? That’s horrific! I love my range of lenses for my long-suffering 5d3. I wouldn’t have bought it if the only options were the canon lenses. How disappointing to hear.
Agreed. Other countries should follow the same path instead of depending on foreign aid to solve their issues.
Storm in a teacup. But it raises an interesting question. Why are
these HCI commands "undocumented"?

A phrase I hear around security nowadays is "Shadow API" [0, 1]

A shadow API is an undocumented one, and it tends to set-off massive
alarm bells.

The researchers were clearly too keen to make a splash, and that
reflects a sad state of wannabeism and hustling for crumbs these days.

What exacerbates it is proprietary software - stuff that's hidden,
obscured, opaque, deceptive, distributed as mysterious "blobs"....
this entire cluster of behaviour raises red flags and gets people
looking for things. And when we go looking for things that aren't
there ... we find them (assume the worst).

That is to say, the researchers are reacting emotionally (but with good
justification) to discovering undocumented features, aka a "shadow
API".

This could have been avoided if the device maker had just documented
them. Why didn't they?

[0] https://www.cybershow.uk/episodes.php?id=39

[1] https://www.cloudflare.com/learning/security/api/what-is-sha...
Trusts get complicated quickly, and I'll admit i don't know enough about per-country/per-state (in the US) trust law to know if you could achieve this for real everywhere. I'm sure there are countries you can mostly achieve it, and places where it's really hard.

One major problem with trusts is in lots of places you usually can't undo the action of a rogue trustee, only seek damages/etc against them.

It gets complicated there too - whether you can order the return of property, etc, often depends on the status of who it was sold to and whether they knew or should have known, or ...

This usually means you have to enjoin them ahead of time if you can.

In the end, the law generally assumes money damages are a sufficient remedy. Not always true, but mostly true.

Again, even this varies by country/state.

Honestly, given some of these are talking about many billions of dollars in companies, i'm sort of surprised at the lack of legislative assistance. Creating a corporate form that supports this much more effectively is not hard (states/countries definitely have the power to do it), and despite the common view of legislators/etc, this sort of non-controversial thing is not that hard to get passed, though it takes time.

I suspect it's mostly related to "nobody starts trying to get this done 10 years before they want it done" :P
Yes, and simple textual protocols that the browser's limitations made ubiquitous.

I hope that at some point someone standardizes a way to pass virtual stack IDs, exception data and other RPC metadata via HTTP headers so we can get back the sort of features you find in high end RPC stacks.
Then there is the value of value, ie:currency shenanigans and comodities markets, which the "west" loves but hate that China has its own currency standards, and that China happily trades in any number of international currencies.
China and India had similar levels of poverty 50 years ago.

How come China today is so different from India today? In terms of cleanliness and poverty elimination specifically.

I know China liberalized in the 80’s and India in the 90’s. So you could say that’s a 10 year difference.

But China 10 years ago was still very different from India even today.

Does anyone have any ideas?
Azure's Weakest Link? How API Connections Spill Secrets
Kind of, sort of - they depend on the trustees not going rogue.
I think it was possibly the first to go into a desktop computer.

ARM250 datasheet here: https://home.marutan.net/arcemdocs/ARM250.pdf

For Acorn, this chip really helped to bring costs down for the A30x0/A4000 machines - the Electron of the Archimedes era. The RiscPC equivalent was the A7000/A7000+ with the ARM7500/ARM7500FE, the FE being novel for the inclusion of the FPU which ARMs had traditionally not included.
Show HN: I built a free speech social media app with no comments–just reactions
Hello HN,

I’ve been thinking a lot about how social media rewards outrage and how comment sections often turn into toxic debates. So I built HotTakes, a text-based social media app where people can post bold opinions, but instead of comments, you only get reactions (4 selected emojis). You can post anonymously or with a username, but there’s no following or popularity contests.

My goal was to create a space where people feel free to say what they really think without the fear of online dogpiles. But I also wonder whether removing comments make discussion better or worse?

Would love to hear your thoughts!
> Where are you getting ice from in 1500s Italy?

The Romans had ice available even for common people. They harvested it from the mountains. Ice can be stored a surprisingly long time if kept out of sunlight and packed correctly. I know less about 1500s Italy specifically, but obviously the technology existed if people wanted to do it.

> You get an arrow pulled out of your skull, but what are you doing with the resulting infection?

An infection was bad news, but by no means guaranteed. Soldiers frequently suffered horrific wounds and survived, assuming they weren't on an interminable hell campaign with no chance to recover. It's actually quite surprising how resilient people are.

> People bring you food from far away, but there's no refrigeration and it's hauled at 15 kilometers a day.

Where are you getting the 15km number? Of course it depends on the topography, but also the mode of transportation.

> You can pay someone a lot of money to bring avocados from 1000 kilometers away by foot today. But you won't want to eat those avocados.

It really depends on what you are eating. Trade did bring all sorts of exotic food items hundreds or thousands of miles.
X-37B Returns to Earth, Space Force Won't Commit to Buying More