skysight-inc/HackerNews huggingface dataset:
That's a different sort of proof, the computer equivalent of social proof.

It's not as cryptographically strong as zero-knowledge proofs can be. Those 5 nodes could all be dishonest, unless you know they are not.

Whereas you don't have to trust a zero-knowledge prover at all. A dishonest prover will "always" be detected (for a definition of "always" similar to general cryptography, i.e. extreme probabilities). Zk proofs (of the type I'm using) are more like fancy hash functions, where there's one correct answer and no node-specific key. Unlike, say, TLS PKI where you have to obtain certificates and trust particular nodes. (There are sometimes keys in zk, called "trusted setup", but those keys are computed in distributed ceremonies and shared with everyone.)

That said, there are some interesting tricks, similar to your idea, for distributing a zk computation among nodes who cross-verify-and-prove each other's work without needing to trust each other, reducing the amount of work per node and perhaps latency.

You do need the social proof type as well in practice. The zk proofs assert some fact which may accompany data, and some clever networking protocols can build on that, like proofs of (recent) data availability. But for consensus protocols, the zk proofs don't tell you which of those facts everyone is collectively agreeing to. For that, comparing results is required.

In blockchains where the p2p networking is automated, typically there's an assumption that your node will find at least one honest node with respect to the consensus, or some small number, and their information will outweigh bad information from other nodes. While bootstrapping more honest nodes are required than later, when following a networking in its live state.

But there's always a possibility that a node is only able to connect to a coordinated group of dishonest nodes, especially if someone is hacking the network aroud the target node, e.g. by affecting the routers. That's called an eclipse attack.

Note: I keep talking about blockchains because you asked about PoW, and that's where a lot of the zk proof of execution and proof of data availability stuff is focused these days, and it's a natural fit when multiple nodes and networking get discussed. But there are many non-blockchain uses as well!
We're Thinking About SaaS the Wrong Way
Beautiful! Thanks for the link.
Great site. A few others that I use come to mind like boltdepot.com, uline.com, allstatesign.com
Seems you can C #.
Exit interviews are mostly just a formality, there is rarely any honest feedback given anyway.
yes! i think that's completely right, it takes so much energy & working memory to adapt to feedback that it's really easy to over-instruct people and give them too much feedback to handle.
That would open up a Pandora's box, honestly. Even if the goal were 20% consistency, short or ugly people would definitely not make the cut compared to helping people in the third world or other potential targets of redistributive justice. Our entire economic and social edifice is built on certain other countries being poorer and less energy intensive.

Now if the goal is simply to be a bit more mindful, that would be doable i.e. avoiding unnecessary remarks about height the way we avoid saying hurtful comments in other contexts
The availability of age as a Go library means that it's easy to embed age into other tools. For example chezmoi supports age encryption for your sensitive dotfiles, and you don't even have to install age on your machine to use it.

https://www.chezmoi.io/user-guide/encryption/age/

https://www.chezmoi.io/user-guide/encryption/
A simple example: suppose we want to compute cos(x)-1 near x=0, with high accuracy, in single precision fp. How to do this? Its very easy: google "taylor series for cosine", lobb off the fist term (1), and you're done.
No one is fetishizing the past. It's simply a fact that progress is not a inevitable, not a law of nature. We live in a time when one generation is objectively less well off than their parents. https://www.theguardian.com/business/2016/feb/14/economics-v...
>To begin with, you haven't even defined "hookup culture"

It's pretty well defined and has been for some time. The link was posted in the thread, but here you go https://en.wikipedia.org/wiki/Hookup_culture.
That’s a good point. It means that whoever sells the elusive torx set screw would then get to sell the matching elusive torx set screw driver!
He already qualified the articles as being high quality.
10 million? Ex-warsaw pact sans Russia is closer to 100 million depending on definition. This notion that West doesn't care about us is exactly why Eastern European Union is not laughable. It's pretty hard stick with „allies“ that you know will backstab you at first opportunity. Well, already backstabbed with Nordstream I/II. Energy „liberalisation“ with fancy pricing scheme is a good one too. But at least here West stabbed themselves as well.

Life improvements is not thanks to EU. It was already improving fast before EU membership. It's just returning to normal state before soviet era. Moldova have other issues (Padniestre/Transnistria). Albania was much worse in pre-1990 too, so naturally it will take longer to catch up.

A I'd even say that EU membership slowed it down. We're curbed by same regulations that is forcing West industry to Asia. Local businesses are acquired by West companies before they develop R&D to compete with West. And we can't safeguard our markets to give breathing space to local companies. On top of that, a lot of EU money were pocketed.

After membership fees, money syphoned away by corrupt politicians, EU money flowing back to West because we can't guard local companies etc, I don't think EU is beneficial to East. IMO we'd be better off had whole ex-Warsaw-pact stayed away from EU for couple decades. NATO is damn nice though.
This is basically Costco, Trader Joe's, or IKEA -- all well-loved business. Small selection but their customers like what's on offer and don't have to comparison shop. Turns out that people really like soviet store style businesses and "huge selection" doesn't really live up to the marketing hype.
What will you suggest next, to fix the spelling of the English language? I'm all for it! But I don't have high hopes... [1]

[1] https://en.wikipedia.org/wiki/Simplified_Spelling_Board
"Artificial sweeteners are ten times worse than real sugar" source?
Archive of page:

https://web.archive.org/web/20220926125538/https://saveall.a...
You wouldn't get permission. Just walk with a phone+solar panel in a weatherproof box. Either use magnets or zip ties to tie to the the pedestrian rail of a bridge overlooking a freeway. Done.

I would likely order some chinaphone motherboards only - for example[1] - without the screen+case+accessories you save ~50% on the retail price. They're then not valuable enough to be worth stealing either.

If it's a small road with no bridges, tie to a lamp post instead.

You need to be able to install 3 per hour to make the finances work out - 10 mins driving, and 10 mins installing, and repeat.

If the city catches you, it's only a littering penalty. They likely wouldn't care.

[1]: https://www.aliexpress.com/item/1005003892325502.html

Breakeven is 1 year average residency - that has to include failure, end-of-life, theft, and removal by the city.
> I now posit that you do so to undercut the horrifying abuse done to women. Why you choose to do that, I'll leave to the readers imagination.

Me calling male genital mutilation an amputation does not, in any way, venture any opinion on other types of mutilation.
God, to make these dreams even worse, I once literally did completely miss an exam in college, as in, I somehow missed the announcement of when it would be, and skipped the study period in the morning when it was given, and then only learned about it later that day in the lecture when everyone was talking about the exam!

Once you actually live that experience, it (or versions of it) will haunt your nightmares for the rest of your life.
It is convenient to ignore (historical) consensus here isn't it? I am sure you have a similar reaction when certain people disbelieve scientific consensus right? on topics such as vaccination or climate change?
The thing that age is missing: A description of how to use it properly. I've looked into age several times and it is supposed to be a GnuPG killer for file encryption. But there is afaik no document or talk that describes how to use age in practice. Afaik there is absolutely no information about how to manage your public keys and what the best practices are for rotating and distributing them. Part of me really wants to use age, but when it comes to crypto, you need to know how use it properly.
No Major Engine Maker Wants to Work with Boom Supersonic for Overture Powerplant
This is not at all what I meant, my implication is that they don't care about the poor user experience. I'm sure they don't count the banned accounts.
Spark on Kubernetes for AWS EMR on EKS with Graviton Processors
Westerners are not magically immune from autocratic thinking, our comon history is full of various tyrannies. There is a lot of ruin in any nation.

Plus, the degraded intellectual environment of the social networks is a rich soil for various pathologies.

One of our current problems is that a lot of such pathologies flourish on universities of all places. The very institutions that should cultivate critical thinking are sliding towards enforced conformity instead. Who is going to take up their abandoned task?
That may help. In college I knew a math major who used python to simulate physics for his presentations, so that kind of marketing may help. The problem is it needs to be taught in a way that makes sense for different people's use-case. A person using it for math will not be using it in the same way a biologist would, and so on.
QUIC Is Not a TCP Replacement
It would be interesting to have an option like :bare-exe for save-lisp-and-die that would write only the compiled code and garbage collector. One could probably get to around 1MB then.
At a high level you should be expressing something like one of "turn this by the angle between vector (1,0) and vector (1, 1)"; "point this in the direction of vector (1, 1)"; or "turn this by the square root of the rotation i" (i = a quarter turn).

If you use angle measures (of whatever units), when you say "rotate by an eighth of a turn" you are instead going to end up with something internally like: multiply some vector by the matrix

[cos ¼π, –sin ¼π ; sin ¼π, cos ¼π]

which is ultimately the same arithmetic, except you had to compute more intermediate transcendental functions to get there.

If you just have to do this a few times, angle measures (in degrees or whatever) are a convenient human interface because most people are very familiar with it from high school. You can have your code ingest the occasional angle measure and turn it into a vector-relevant internal representation immediately.

P.S. If you write 1/√2 in your code compilers are smart enough to turn that into a floating point number at compile time. :-)
We pay 160$ alone for Vercel, how they are 20-person startup when they have just a one license?
Voltage Cap Lawsuit Model S Owner Warns About Battery Pack Failures
I plan beach visits based on tides, does that count?
I've been waiting since 2013 for crypto to have a facebook-level contribution but it's still just the same crap. Every 2-3 years, the world remembers crypto exists and they funnel money into it only to be fleeced. I've yet to see one piece of tech from the crypto craze that has substantially altered peoples' lives besides losing most people money.

If you're looking to get on the jump for a new piece of tech, it's probably too late for crypto anyways. My mom knows about it. lol
I might be strange but the second seems far more readable than the third to me. The first is of course nonsense.
Not breaking binary compatibility is a pure good.

The standard could pull unique_ptr in as a built-in feature with a different name, and retain backward compatibility at cost of an unfortunate redundancy. Code using unique_ptr would gradually transition to the new thing.

Of course each would have a move constructor from the other, to ease the transition.
That's unfortunate you lost Zoro. They still operate in the US - I use them a lot.
Compiler optimization is very much CS.
Solomun, the D.J. Who Keeps Ibiza Dancing
Ughhh, I had a dream within the last couple months where I had to go back to high school for a very similar reason, to finish one last class or something. I couldn't tell you why, as things in dreams often don't make sense, other than that I had to. And it was very strange having to be in those hallways with all the school kids as an adult.
> Walk into a stationery store in British Columbia and you'll find both options.

Yeah, Staples or a high end paper craft store will have both.

But if you go into one of those popup calendar stores, all the calendars will be SMTWTFS.
Sports is a good place to look for models since the hiring and firing of coaching staff is reported right alongside the other narratives during a season.

It's rare for the best coaches to have been the elite practitioners of a sport. What's very common is for someone who struggled to even break into the elite league or had a very short career there goes on to work through the coaching ranks and become an elite coach.

I have always thought it's due to mid-tier players needing to really focus on every lesson they get, studying every drill, obsessing over every piece of advice they get. Elite players just absorb the drills and lessons into who they are and forget it was ever taught to them in the first place. When the learning comes hard the player will understand the complete process to come to understanding. They will also see the elite players around them apply the lesson and improve, so they know the lesson works. Being worse at doing the skill can ultimately make you better at teaching it because you are forced to understand the skill more deeply.

Being a replacement-level player doesn't automatically make you great coaching material though, that's where the filtering starts to find great teachers and communicators. As many others have commented, teaching is a skill unto itself, one not everyone has.
I like this answer. Not everyone is a programmer, and not everyone needs to be a programmer. Introducing coding as kids will give that spark to a few people who are interested in it to pursue it
Yeah, this will be normalized in about a year after some low budget government and corporate gaslighting.

People are already complicit with keeping a device in their pocket that passively tracks their location.

Tracking people on camera and making them okay with it is the logical next chapter in this privacy erosion saga.
Can anyone help with this nightmare?
The hospital bills racked up by my Stepdad before he died were just under $450k. The hospital placed a lien against his estate for this entire amount. I called 2 different attorneys, and both said that this was legal, and neither of them believed that they could get the payoff balance reduced by more than 50%, and 50% would be the very best. There must be a better solution out there. I welcome all suggestions please.
US warnings against Putin's nuclear threats mark a sobering moment for the world
Learning styles are basically a myth actually. It's been shown we all learn in roughly the same way. Check out some of the research mentioned here

https://www.techlearning.com/news/busting-the-myth-of-learni...

> People would have written books about learning that glorified this concept.

There are lots of books on it actually. Make It Stick is my favourite book on this, you should try it!
Battery-free wireless imaging of underwater environments
I did.

From https://news.ycombinator.com/newsfaq.html :

>If a story has not had significant attention in the last year or so, a small number of reposts is ok. Otherwise we bury reposts as duplicates.
Scientists develop novel technique to grow meat in the lab using magnetic field
I agree with most of whats written here. I think there is a major point you're overlooking here. There is simply just too much information we're expected to know nowadays. You could argue that the amount of information we have to cram into our brains in such a short amount of time makes it very difficult to build good long term memories. High School and university curriculum's are forever expanding jamming more and more in the same period of time. Even in professional settings such as being a web developer or data scientist for example where new things are being invented by the second that then become the standard. At some point you'll need to offload long term memories to external sources. So while you may forget the actual content of what you need to know, you could for example remember what to google and the summary of the content you expect. Essentially our long term memories is transformed into pointers for external information banks. We only keep whats absolutely essential to perform our functions.
When I look at CRT emulation, I always feel like I'm going crazy. It's been years since I last saw a CRT image but I don't remember visible scanlines at all.

I know the retro space is often specifically emulating old hardware, was thing a thing in the 80s, perhaps? Or were visible scanlines more common in America than in Europe? I know the weird colours and lowered resolution of some (emulated) games are an artifact of differences in NTSC/PAL/etc., could that explain the difference?
Anything placed in a location which has easy accessed to pedestrians is going to get stolen and vandalised - particularly once people realise what they are.
This reminds me of the discussion the other day about how the A_n paper sizes are superior because you can fold them in half to get the next size down. Just like having a more logical calendar - it would be nice but not very useful. The value is in the network effect of everyone using the same system (so kind of like the "inertia" you mentioned).
Why would they get a fixed number of RSUs. I have always seen them assigned in dollar value, usually as a % of dollar salary
> Maybe Fastmail doesn’t have enough money and/or enough interest to make it easier to use and to evangelize it with major email providers and email client developers.

All the other major email providers are selling their own proprietary services or only offering webmail clients.

They have no interest in implementing modern open specifications. They only support things like SMTP and IMAP for legacy reasons.
> The people I know who need that interaction and do not get enough from family or housemates solve it by gathering in groups in their local town and putting together their own working space.

This argument is always made by people who like WFH. I don't want another hobby. I want to spend my time building cool shit with cool people. That's just a personal preference. I absolutely must spend a large portion of my day working. To me, it just makes sense to work somewhere that I can be friends with my co-workers. I don't really want to dedicate a lot of extra time to going out and finding friends. This is just a personal preference. There isn't a right answer. Stop trying to tell others how to live.

> Personally, I find it odd if not downright disturbing

Personally, I find it disturbing that you find the GP's very reasonable personal opinion disturbing.
The only attack this is preventing is corrupt or confused mobile network customer service representatives issuing a valid SIM card to an attacker so that the attacker can intercept 2FA SMS messages, but any larger-ish company should already have a corporate phone plan with clearly established contact points to do any kind of change.

So what I don't really get is, what is the actual advantage? And besides, Cloudflare will have to run as an MVNO if they're rolling their own SIM cards / eSIM keys, which almost always means lower quality of service in congested network areas - there is no requirement for equal treatment of MVNOs I'm aware of, and even here in the EU you can clearly see that providers discriminate even between premium post-paid contracts and pre-paid contracts. Switching from Telekom's own MVNO Congstar to Telekom proper was night and day.
From this viewpoint

https://www.wiley.com/en-us/Why+Love+Hurts:+A+Sociological+E...

this is going from the frying pan to the fire. Love is something that happens to you as a consequence of being open to other people

https://en.wikipedia.org/wiki/Crystallization_(love)

and when you are experiencing it you perceive the object of love to be singular and unique. That's the opposite of the idea that you are going to evaluate 100, 1000, or more people against a profile. If you do the latter, at first you're always going to think "I could do better than that", and once you've rejected 1000 people you are really good at rejecting people.
This is cognitive science in a nutshell. Most early philosophers argued exactly what "wisdom" means both externally and internally. Look to the Socratic philosophers for simplified explanations.
Ask HN: Developers: Have you considered productizing your services?
I have been considering doing this and offering some of my web dev services as fixed cost, fixed scope productized services. $x for y service.

Have you tried doing this? What success/failures you have encountered along the way? What roadblocks have you encountered?
I do not see how higher dimensions invalidates the concept.
Steradians are replace by a scaled unit-less number that I will called
sterturns that goes from 0 to 1.
Perception of women's rights: Explaining modern sexism among young men in Europe
The UK is a good example of how much damage you can do yourself (nationally) by just disregarding facts and reality for a few years. Our own biggest enemy is our massive arrogance.
Author here

>> I find it hard to believe they're actually using all these tools on a regular basis.

We do rely on all mentioned tools, though for some tools, we only use them occasionally due to their nature (e.g. we don't need to visit Pulley every day to manage equities).

>> Excalidraw (???)

Oh, Excalidraw Plus

>> Their docs appear to be using Docusaurus which comes with Algolia out of the box, so ???

The Algolia part is correct, while we are Vue based, so we built our own and also implement some special markdown syntax to facilitate tech writing https://www.bytebase.com/docs/document-write-guide

>> The R&D team of just over 10 members releases a new version every two weeks, and each version has 100 to 150 PRs submitted.

It's an open source project https://github.com/bytebase/bytebase. And most are small PRs. Here is our review guide line: https://github.com/bytebase/bytebase/blob/main/docs/code-rev...
yes, we need understanding - the best way to get things into memory is to make connections between neurons through understanding. And this keeps it in memory for longer than if you just memorise it — and it will enable you to deploy the information in new contexts.

My takeaway from this article is that if you only focus on understanding (and so do not commit it to memory), you cannot reason using this information in unfamiliar contexts later on, once you've forgotten it.

So the best thing to do is to:
1. Make sure you understand something thoroughly
2. Test yourself on it using spaced repetition to ensure you keep it forever

For transparency: I'm one of the cofounders of Save All (linked site) alongside Petros the author
I think that's called whataboutism.
Bird Founder’s Stake Now Worth Less Than His Miami Mansion
This reply doesn't make any sense. It is a viable business model. It has total revenues across all the major players of billions of dollars per year.

And how the hell do you not ship them? You're not making any sense here. There's no alternative to not shipping them, not unless you're planning on having system builders show up individually to clients' houses and assemble PCs on the spot. That business model is way less economically efficient than simply assembling PCs centrally and accepting some breakage in shipment.
Lego RC Car with Gearbox and Clutch