skysight-inc/HackerNews huggingface dataset:
Let's take a real world example: doing a 1031 exchange to get favorable tax treatment on a home sale.

Let's say that you have a property you want to sell, there's a buyer for your home, and there's a seller of a second property you want to exchange into. In order to lock the escrow on the property you want to buy, you first need to lock escrow with the buyer for your home, and prove the sale so that the bank will give you the mortgage for the rest of the second home.

This is a fairly complex transaction that happens all the time, and the solution is to try and wrangle as many as six parties (eg property holders, lien holders, lenders, and buyers) into communicating with each other to make this happen. It often takes months!

Now imagine that you have NFTs for each property that represents the title, the banks have a flash loan contract that validates all the prices for the NFT's using Chainlink or similar as an oracle, and there's an escrow contract that validates every leg of the contract will execute an atomic swap, or none at all. People do similar activities today, all the time in yield farming. If this was the status quo, such complicated transactions could be concluded in a day, across any jurisdiction that was willing to respect an NFT swap as a transfer of ownership.

There are definitely some gotchas here to work out, as we see all the time in cases like IRON and TITAN, but we believe that these are growing pains instead of permanent unsolvable show-stoppers. And we want to be ready for the day that such transactions are commonplace and approved by sovereign jurisdictions.
Well, I see you are citing materials which you did not read / don't understand.

"Separate but equal was a legal doctrine in United States constitutional law, according to which racial segregation did not necessarily violate the Fourteenth Amendment to the United States Constitution, which guaranteed "equal protection" under the law to all people. Under the doctrine, as long as the facilities provided to each "race" were equal, state and local governments could require that services, facilities, public accommodations, housing, medical care, education, employment, and transportation be segregated by "race", which was already the case throughout the states of the former Confederacy. The phrase was derived from a Louisiana law of 1890, although the law actually used the phrase "equal but separate".[1]"

Nothing to do with disabilities.

It is plain stupid to think you can require all services to be equally available, in the same way, shape and form to both normal, blind and deaf people and disallow services that can't be enjoyed by all, equally.

Existence of blind people should not be a reason to disallow rock concerts.
> For example, the old game Quake used Q16.16 for all of its code because the computers at that time didn’t have fast floating point math yet.

This isn't quite true, and the reality is actually way cooler than this.

Quake used a hybrid approach. It did both fixed point math on the ALUs and floating point math on the x87 FPU. The fixed point math on the ALU was used for game simulation, moving around, physics, stuff like that. The floating point math was used for graphics and drawing to the screen. Doing both sorts of math at the same time was non-trivial, but it had a huge upside: the ALU and FPU are independent of each other, so code executes in parallel. By doing FPU+ALU math simultaneously, you are effectively doubling the computational power accessible to the program, and as a result Quake looked head and shoulders more advanced than its contemporaries.

Not all CPUs had independent ALUs and FPUs. The Cyrix 6x86 ALU ops would delay its FPU ops and vice versa. So even though the 6x86 was faster than the Pentium at ALU ops and in the same ballpark for FPU ops, the 6x86 had absolutely terrible performance running Quake. This led to an undeserved reputation of the 6x86 of being slow and its benchmarks being fake marketing material amongst a certain segment of the population, which arguably led to Cyrix's decline and ultimate downfall.

--------------------------

Regarding square roots- the underlying architecture has an integer square root function, and fixed point numbers are represented as a left of decimal integer and a right of decimal integer. Why not just do integer square root on the left of decimal integer, and then do one (or two) iterations of Newton's method? This would be much faster and IMHO less complicated to code.
So you'd eat the children of other humans?
It is possible, with great effort, to create JavaScript-driven UI elements that work correctly when used with accessibility technology. But if you stick to standard form elements, that support often comes by default.

For example, if the county dropdown box in the article had been a <select>, it would have automatically worked in the screen-reader without needing to write any additional code.
Very weird if you do get called out do you not take TOIL? and get paid on call allowances? Having this cost exposed will lead to things getting fixed.

This solution works based on knowing developers on CSS the huge mainframe billing system and my own experience as the lead for a smaller BT billing system I worked on.

And TBH a 1-2 kloc method isn't that big I have seen individual SPROCS over 2.5k
I don't see a single comment doubting the value of reproducibility, so I'll be the resident skeptic :)

I think build reproducibility is a cargo cult. The website says reproducibility can reduce the risk of developers being threatened or bribed to backdoor their software, but that is just ridiculous. Developers have a perfect method for making their own software malicious: bugdoors. A bugdoor (bug + backdoor) is a deliberately introduced "vulnerability" that the vendor can "exploit" when they want backdoor access. If the bug is ever discovered you simply issue a patch and say it was a mistake, it's perfectly deniable. It's not unusual for major vendors to patch critical vulnerabilities every month, there is zero penalty for doing this.

The existence of bugdoors means you have to trust the vendor who provided the source code, there is no way around this.

You have to trust the developer, but in theory, reproducible builds could be used to convince yourself their build server hasn't been hacked. This isn't really necessary or useful, you can already produce a trustworthy binary by just building the source code yourself. You still have to trust the vendor to keep hackers off everything else though!

Okay, but building software is tedious, and for some reason you are particularly concerned about build servers being hacked. Perhaps you will nominate a dozen different organization that will all build the code, and make this a consensus system. If they all agree, then you can be sure enough the binaries were built with a trustworthy toolchain. A modest improvement in theory, but that introduces a whole bunch of new crazy problems.

You can't just pick one or two consensus servers, because then an attacker can stop you getting updates by compromising any one of them. You will have to do something like choose a lot of servers, and only require 51% to agree.

Now, imagine a contentious update like a adopting a cryptocurrency fork, or switching to systemd (haha). If the server operators rebel, they can effectively veto a change the vendor wants to make. Perhaps vendors will implement a killswitch that allows them to have the final say, or perhaps they operate all the consensus build servers themselves.

The problem is now you've either just replaced build servers with killswitches, or just replicated the same potentially-compromised buildserver.

I wrote a blog post about this a while ago, although I should update it at some point.

https://blog.cmpxchg8b.com/2020/07/you-dont-need-reproducibl...
I would say it is both.

I say that because when I pass the places I crossed those roads, the traffic itself looks downright frightening. I don't remember this many cars. I don't remember them going _this_ fast.

I spent a some time on my childhood street and saw some teens throwing football. The number of times they had to get out of the street for cars was surprising. And we never had to "dodge" oncoming cars when playing games in the street. I remember someone would say "car" and we would have plenty time to move.

As far as the stranger danger, as an adult male I have zero interest in helping any kids in need. If I saw a kid outside fell and scraped up their knees I would probably not come to their aid. Maybe text a female neighbor.

But as young teens we definitely came across creeps. A female friend's sister took us to a strip club when we were 14. With that as a baseline...

We did things that were dangerous in any context.

We explored abandoned buildings. We jumped on slow moving trains. We rode down steep hills and jumps without any helmets. Swung from insane tree rope swings, some from 10-15 foot tree branches and some from much higher. We climbed bridges under construction. Went out on ledges that seeing today make my feet tingle. We climbed the drive-in theater screen to the top. Carried old bikes up there and threw them off. My dad made me a zip line from my tree house, over the pool, and to a very small perch in a tree. You were meant to jump into the pool (4 feet deep). We made camp fires supervised and on our own. We shot weapons at 10. Explored remote creeks and piloted small craft (15 hp). Drove around the city a good year before my actual license. At 15 we would routinely drive to another state to go a beach. At night sometimes.

Apparently from typing this, I had a real love of heights when I was younger. We had a rope swing in the back yard tied up to a branch some 30 feet. I would climb to the top and grab the branch regularly.

I think I was considered a bit less adventurous than some of my friends. I honestly have no idea how we didn't die.

But as to your question. The city used to be covered with tree swings and I haven't seen one in ages. I would guess they are considered dangerous today, or moreso a liability. Helmets for bicycles were just _not_ a thing - a changed norm for society and myself very gladly. Kids still enjoy access to weaponry, especially in the deep south. But that will be supervised instead of some lessons and "here you go". I know of teenagers that go sailing, boating, etc. I think the age range simply shifted up a few years.
Federal regulators warn of risks to firefighters from electrical vehicle fires
Over a very long time, we are all very dead. From what I understand, the loss in gravitational energy would be so tiny, the length of time required for it to eventually matter in any way would be way beyond the lifespan of the sun. So it's only a finite duration if you have infinite time, which you don't.
I think you are confusing branding and advertising. Easy to do these days!

A male baboon advertises his massive pink err ... please do a Google image search for: "baboon arse". Anyway - that's advertising: making a deliberate show of something, for a reason. Eg "here's my bum, which is bigger and redder than my rivals - come on down ladies!" Another example might be: "here are some teapots and they are cheaper than the store down the road"

Nike is an example of a brand. Branding is a peculiarly human construct. There are loose parallels with red bums but branding has additional baggage. Baboons won't tell people with huge lips to lawyer up but anything that looks like a slug had better watch out for Nike's lawyers.

Fashion is an unholy mix of branding AND advertising. Imagine a slug with a red arse ...
Great, one more thing to add to my never ending list of things I want to get good at.
https://chrome.google.com/webstore/detail/redirector/ocgpenf...

`amazon bad
Redirect: https://*.amazon.com*
to: https://booko.com.au/
Hint: no amazon
Example: https://www.amazon.com.au/foo → https://booko.com.au/
Applies to: Main window (address bar)`
no, I think this describes only one part of a system. The fact is that in a competitive academic environment, people are pushed out constantly. Students are pushed out, teaching assistants are pushed out, adminstrators are pushed out.. there is some 'Lagrange point'-like spot where people get their tenure or settle in as administrators, but then the conflicts are immediately about budget, which are tiny unless they aren't!

The fierce bickering between entrenched colleagues is true, but why? there is more to it..
> Even sticking with industrial titans, look at Henry Ford, who insisted on paying his workers a living wage. That was revolutionary at the time, and put America on the road to having a significant middle class.

Henry Ford didn't pay a "living wage" (I have no idea if the amount Ford paid was actually technically a living wage or not, but just using your terminology) out of the goodness of his heart - he did so in order to combat extremely high turnover. It actually cost less money to pay his workers more and spend less money on hiring and training new staff.
It's just the typical attack dog mentality by a bunch of people with nothing better to do.
And it’s not just hardware, there is a useful limit on purity of licenses. In many cases only proprietary programs can do the work at all, or orders of magnitudes better.
Or they can save even more money by not making the site in the first place!
> I'm not discounting it. I just care more about point-source pollution than carbon footprints abstracted across a global supply chain.

Pardon me, but isn't that the definition of 'discounting'?. As in, you're ignoring that portion of the carbon footprint.
Watchy... McWatchface? I hope it's intentional!
I don't know! The cost of living and high cost of raising children here are popular scape goats for why Canadians are having less children. There's already baby bonuses, nationalized child care (in QC) but they do not have enough effect? One thing that isn't addressed is housing. Couples aren't going to want to have kids when all they can afford in a major city is a shoebox condo.
Unfortunately, it's easy to break a lot of builds by things such as deciding not to install to /usr/local, or by building on a Mac. Pushing publishers to practices that aid reproducible builds would help both sides.

I'd love to try building NetBSD, btw, I must try that!
Linus Torvalds Wants Everyone to Get Vaccinated
I feel the need to point out that the "Bootstrappable Builds" project is a working group from a Reproducible Builds project which where interested in the next step beyond reproducing binaries. Obviously this project has seen most effort from Guix :)

The GNU Mes C experiment mentioned above was also conducted during the 2019 Reproducible Builds summit in Marrakesh.

https://reproducible-builds.org/events/Marrakesh2019/
What I meant is that CPU and GPU are separate, and the GPU cannot access all the memory.
That doesn't link to a banned account. I assume you mean this one: https://news.ycombinator.com/item?id=26659584. We told you we were banning you in that very thread: https://news.ycombinator.com/item?id=26678745. Comments like "I must conclude you are a dumb person letting his latent racism to take over or you are aware you are acting on bad faith and you just dont care" are obviously against the rules here and have nothing to do with PG, YC, China, or any particular topic.

Moreover, we'd warned you and asked you may times to follow the site guidelines before that:

https://news.ycombinator.com/item?id=26127670

https://news.ycombinator.com/item?id=25637111

https://news.ycombinator.com/item?id=25400449

https://news.ycombinator.com/item?id=24909805

https://news.ycombinator.com/item?id=24513786

https://news.ycombinator.com/item?id=23087338

https://news.ycombinator.com/item?id=18102477

If you break the rules that often and ignore that many warnings, it's not surprising that you'd end up getting banned. This was not a shadowban and not because you criticized some particular person.

All this is a pity because you posted many interesting comments in the past and we would much rather have you as a contributing user. The sad truth, though, is that the harm you cause by breaking the site guidelines exceeds the good you contribute with the interesting comments—so I don't think we made the wrong call.
In my city (not Germany) they've started ripping up the bricks between trees on pavements (because nobody walks on them), and making whole strips of plant beds between pavements and roads.
It doesn’t and can’t as long as the jurors don’t have to explain their decision.
> I just don’t think that includes forcing them, or using the government to force them, to make changes to their software to suit you.

I don't want to force them to make changes! I want to force them to not make changes. These devices are not locked down by default, the manufacturer implements these locked down restrictions in software manually. Rip that out and I'll be happy.
Sometimes throw it away and start again is the right answer
The fact remains though that Lean 3 worked well enough to do Scholze level mathematics. I never quite know what to make of people saying "if the designers had done it in some other way, it would have been better". Of course if someone comes along doing it another way, and then they go on to also achieve Scholze level mathematics, then I will be all ears.
That crash still needs to absorb the same amount of speed that was just defined as too much to expel in orbit
OK, but the only baboons with red butts are fertile females, so a male with a swollen red butt would probably not be particularly impressive or intimidating to other males :)
Mina protocol is a cryptocurrency that just launched leveraging ZK Snarks. Will be interesting to see what happens with that technology.
It’s not even banned from the library though - libraries provide internet access via which you can read the book if the author chose to make it available to the public in the internet.
IRC.com by freenode
In the US it really seems to be. I don’t even understand how my American friends can have kids - daycare is so expensive it makes more sense for one parent to just stay home.

In Canada, children are already much more affordable (esp. in Quebec). In Europe even more so.

Once education, health care and day care are affordable (or free), children are not astronomically exoensive.
AWS is also sponsoring AlmaLinux.
I was using Python before then, I experienced the change. Which is why I have no problem imagining another change to another tool like Pipenv or Poetry if they get enough traction.
Why on earth do 99.5% of programmers even need to know what SSD stands for?
The law’s not some mere tax hoop.

https://www.lexology.com/library/detail.aspx?g=1751c28b-2f47...
the best ELI5 for a ZKP I've found follows

[0] https://medium.com/swlh/a-zero-knowledge-proof-for-wheres-wa...
I remember seeing this page back in the day and always thought it was really funny how it describes itself as being 'A tediously accurate scale model of the solar system' - you scroll over a bit and it points to "1 Pixel" for scale - but the "pixel" it points to is actually two pixels [0].

[0] https://i.jollo.org/MZosAzpl.png
This is not a ridiculous question and does not deserve a mean answer.

Voyager 1 has been flying for over 43 years [0]. In that time it went over 150 AU. This averages about 3.5 AU/year. It took, from start of project to launch, about 5 years (1972 - 1977 [1]).

If this body is going to be 11 AU away in 10 years away we'd need to move at an average 2.2 AU/year and hit the right launch windows.

I think that it falls into the "yes, it's possible" but not into the "of course it's possible, how could you even ask" category.

[0] - https://en.wikipedia.org/wiki/Voyager_1

[1] - https://voyager.jpl.nasa.gov/mission/timeline/#event-voyager...
From here[1]:

> In the U.S., every phone company is required to connect persons who dial 711 to a [Telecommunications relay service] call center from a working number. In July 2007, the Federal Communications Commission ruled that the 711 requirement extended to VOIP telephony.

[1] https://en.wikipedia.org/wiki/Telecommunications_relay_servi...
That probability depends only on what the browser makers decide to do. And there is no other way to determine the user's preferences.
lol. I never mentioned the political leanings of the anti-vaxxer type; just that they are either very stupid people or misinformed by propaganda originating somewhere. it's interesting to see multiple downvotes on my comments from the folks who probably saw what's not written up there, just like you did. the "conservative/racist type" you said?

quick question: what made you put the labels conservative and racist together?

also, a liberal eating granola bar might be stupid, but their actions do not put anyone else in danger. an anti-vaxxer however is a risk to the society in that they are an active and potential host to a disease in circulation.
In a case like this, I suspect it has more to do with visualizing the solar system rather than how large something is. When we speak in AU, we can create a mental model with the Sun, Earth, and other object since everything is normalized to the size of Earth's orbit. When we speak in kilometers, a bit of arithmetic has to be done before creating the model. Regardless of the units though, we aren't directly visualizing the distances since they will be outside the scope of human experience until we actively start traveling the solar system.

Edit: for clarity.
> In my opinion, our species population is big enough already, and this is the main driving factor of ongoing ecological problems.

That's the reason my wife and I decided to only have one kid. It's a statement. I don't care that future politicians shall have less future taxpayers. I don't believe eternal growth is the only model: I actually think it's unsustainable.
Bitcoin Beach: The Cryptocurrency Experiment in El Salvador's El Zonte
I was replying to your post, obviously.
They can of course discourage you from sharing. They can't ban it or punish you for sharing, but they can discourage it.
Seems like a great opportunity for a competitor to get easy market share, then.
Providing a link to Resetera, the most self-aggrandizing and obnoxious gaming community that will whine just about anything.
That's a useless definition then.

You are creating inequity by engaging here, because a mentally disabled person somewhere cannot follow.
> slapping something like a telescope on that and letting it beam back data and images from veryyyyy far out eventually?

While this object will eventually orbit pretty far away in a solar system context, I suspect that additional distance may not be vast enough to make a meaningful improvement in observations of targets at interstellar distances.

I'd love to learn if I'm incorrect but I've always assumed for interstellar observation, larger sensors and more sensors has better ROI than a more distant sensor, at least short of some substantial fraction of a light year. If we're going to dedicate a 100 ton Starship payload to interstellar observing I imagine going much farther out than the Moon's shadow may not be a good trade (eg fuel mass vs payload mass).
If you compare the total fertility rates in Canada and Europe (~1.5), even with their pro natalist policies, America still has a higher fertility rate (~1.7) with abysmal support for parents. Likely attributable to families that opt out of paid formal child care, and Medicaid picks up the slack for those below middle class means.
Why do Albanian [or insert your known-for-poor-quality-cars country here] cars have windshield wipers on the inside? Because the drivers go "phbbbrrrrrrrrrrrr..." (raspberry-like spitting sound)
Audiate: Audio Recorder and Editor
I think they should both pay based on their income, not their lifestyle.
This is the "secret sauce" behind LevelDB: https://github.com/google/leveldb#performance
Contra Schmidhuber's article, [Turing 1936] was correct in its

statement that the proof of computational undecidability of

the halting problem is very different from [Gödel 1931]

attempted proof of inferential undecidability using the

(nonexistent) proposition I'mUnprovable.