skysight-inc/HackerNews huggingface dataset:
OK, I'll be going a little meta with this comment and thread, so hopefully dang will allow me some leeway.

The value of Huamán Poma's chronicle is not just the historical account per se, but the fact that it appeals to the arguments, values and institutions that justified the colonization of his country.

Obviously, whatever arguments he presented, even if they had reached the Spanish court, would have been discarded by the political necessities of the moment. Multiple times (e.g. Peace of Utrecht, Congress of Vienna, Berlin Conference) the great powers have used symbolic statements, forgotten treaties, obscure precedents... to legitimize the partition or annexation of a territory; or the independence or promoted status of some other territories perhaps sharing remarkable circumstances to the above-mentioned and now-divided territory. The point is, the legal reasoning comes after the political decision.

In this thread we've seen something similar. Multiple users have presented some of the arguments that one usually finds among a very particular political group in Spanish politics. "They were provinces, not colonies", "They were not conquered but liberated", "They died mostly of disease", "Spanish laws protected the new citizens". Those are staples of Spanish nationalism (particularly right-wing), aiming to defend the legitimacy of the decisions of XVIth century monarchs and ultimately to present an attractive national narrative.

Out of respect for this site and its rules, I will not engage those users, but... we find ourselves now in a similar situation of that of Huamán: should we contest those interpretations? Will otherwise internet archeologists from the XXXIst century conclude that those interpretations were common and shared among the societies of both Spain and Peru (because "el que calla otorga", i.e. silence gives consent)? From Huamán Poma's history we should conclude that contesting an argument, just "showing up" is in itself the most powerful argument, isn't it?
An ISRO comparison seems a bit absurd given the hugely different scales of science and technology development being done. Much of the technology used in the JWST was practically invented for it.

Not to imply that ISRO isn't doing important work, but simply looking to cut costs for the sake of cutting costs is just as bad as the waste you're complaining about. It'd be like comparing whatever it cost TSMC to switch to 3nm to what it cost to setup 20nm fabs.

What we should be pushing for is more accurate cost estimates. It isn't a problem that the latest and greatest in space telescopes cost $11B, technological progress is often expensive, it's a problem that initially we were told it would cost $2B. If we have a better cost estimate from the start, we can better control our expectations.
I have a feeling the people with these issues wouldn’t appreciate their (likely limited) networks being saturated.
Show HN: Oh, Krab – PostgreSQL tool based on HCL syntax
Hello, I've released new version of my tool for PostgreSQL called "Oh, Krab!". I did some improvements since first release and added few features:

- DSL for schema migrations (not only raw SQL)

- Ability to execute custom actions with user-defined arguments

I am looking for any kind of feedback (even for documentation). I have long term goals for this project but I am also interested in what people would expect from the tool like this (think about the tool that you can customize the way you want and tailor to your needs).
Fair enough, I do like Latex input.
You're unnecessarily reading into it too much. By nation, I meant whatever nation houses one of these corporations, particularly the country that houses the headquarters.
>That wouldn't work. "Paying the cost" would immediately result in taxable income to the employee

not to be combative, but why?

I'm not talking about a free lunch.

The options owner sells/trades the options for a future profit share. They don't make any income in this transaction (or receive any loan).

The 3rd party holds the shares from the exercised options. If they sell the shares for a profit, both the 3rd and engineer see income and pay taxes at this time.

If the shares are a loss, 3rd party has a loss and engineer sees nothing.

Edit...

Alternatively, the 3rd party and engineer make an s-corp and the 3rd party provides capital. S-corp loans the engineer cash and engineer sells shares to the S-corp. If the the shares sell below cost, the losses pass though to the engineer they can deduct the losses against the loan forgiveness
> There were a lot of high-sounding mission statements and vision statements, a lot of congratulations, a lot of nice dinners—but nothing ever got done.

Now, here, you see, it takes all the running you can do, to keep in the same place.

"The Red Queen"
I would like to feast...on me.

Damn Ma'chello!
This theorem and a whole bunch of other cool math easter eggs are described in The Simpsons and Their Mathematical Secrets by Simon Singh, which I highly recommend. Despite the name, it includes some stories from Futurama, which makes sense given how similar the writing teams were.

It's incredible how many sophisticated jokes the writers managed to work in! I really love how both shows were able to be funny without dumbing down the content.
Yes, by national security I meant anything that country holds important (government, people, resources, etc.).
Yeah I'm not them, but I think that's close.

What I would say is that our sensory data + mental models of that data are abstractions over whatever reality actually is, which I am guessing you agree with. On top of that I think something else that I am guessing you don't agree with: I think those abstractions are pretty arbitrary and hide important "implementation details" of reality that could turn out to have a big impact on what anything is or what we might do with it.

I am guessing the crux here is about how much those abstract models are constrained by the underlying reality. It seems like you believe that because sensory information/models converge in a repeatable and consistent way, that it must be close to accurate and complete, where by complete I don't mean we, eg, can "see" the whole EM spectrum, but that there being such a thing as an EM spectrum that we can only see part of gives us a reliable way to infer that our senses aren't missing any substantial chunks of conception space.

What I remain open to is that the abstractions are sort of self referential in that we're in a self constrained region of "potential sensory space," that we can sense and verify the things we can sense and verify, but that raw reality is deceptively huge and complex and a radically different sensory+model configuration might give us a qualitatively different picture of raw reality, even if it overlaps quite a bit with our current sensory bubble.

My main reason for being open to this is that it seems like QFT is an existence proof of our subjective awareness of reality being fundamentally askew from how raw reality actually works, and in fact we ended up narrowly optimized to experience things as we do and act as we do because of replication/evolution not because of correctness or how well our sensory abstraction carve reality at the actual joints.

I am guessing our disagreement is how much extra/unknown space there is, or how useful fundamentally different abstractions could be in interacting with raw reality stuff.
So much for throwing a sledgehammer at Big Brother.

[https://www.youtube.com/watch?v=VtvjbmoDx-I]
I don't know, but I'm sure it will involve smart contracts
If only economics could figure out a way to clear the market...
Interesting given that this just came up here recently: https://news.ycombinator.com/item?id=29399590

Does anyone have any additional insight into how big a deal mass produced synthetic cartilage would be, and specific examples of what it could be used for?
You'd have to do some heavy filtering of the data while taking into account neighboring phones. I have no idea if any of this would work but it _could_ be really interesting to see.
Are you not familiar with the book of Revelations of St. John, the final book of the Bible prophesying the Apocalypse? They forced everyone to receive a mark on his right hand or on his forehead so that no one shall be able to buy or sell unless he has the mark. No one shall be able to buy or sell without that mark. And now what they're planning to do in order to eradicate all credit card fraud and in order to precipitate a totally cashless society - they're gonna subcutaneously laser tattoo that mark onto your right hand or onto your forehead. They're gonna replace plastic with flesh!
Does it append .txt when you don't want it to? `Notepad config.rc` ends up saving as config.rc.txt?
I've been trying to understand this comment for like half an hour, I think maybe the idea is to imagine 1980s America with a CCP-style government? So, Martina Navratilova was a prominent critic of the dominant political party in the 80s, and if she was in China that could have gotten her arrested, but she was in the US so she wasn't.

That's as far as I got, I can't figure out what point the comment is trying to make.
I get a kick out of all the backlash against opening up relations to Cuba when we do a brisk business with these bastards and have been for decades.
> but the idea that a company, even one as large as Apple, is going to make any sort of difference with respect to China's oddities is wishful thinking.

They don't need and shouldn't make any difference at all. They could actually leave the Chinese market and make a difference for the rest of the world. They don't have and shouldn't have this responsibility anyway.

And they have the money, market share, and power to ignore China and not only survive it but continue to generate a lot of wealth for the shareholders.
Isn’t there an easy compromise for old timers: utility that converts drive image to ISO linked from a footnote on the download page?
Absolutely. When people have aligned incentives, the appearance of organization may emerge from the system even when nobody has actually conspired or coordinated with anybody else. Manufacturing Consent describes something like this in the context of media and the government, but I think it's broadly applicable:

> Institutional critiques such as we present in this book are commonly dismissed by establishment commentators as “conspiracy theories,” but this is merely an evasion. We do not use any kind of “conspiracy” hypothesis to explain massmedia performance. In fact, our treatment is much closer to a “free market” analysis, with the results largely an outcome of the workings of market forces. Most biased choices in the media arise from the preselection of right-thinking people, internalized preconceptions, and the adaptation of personnel to the constraints of ownership, organization, market, and political power. Censorship is largely self-censorship, by reporters and commentators who adjust to the realities of source and media organizational requirements, and by people at higher levels within media organizations who are chosen to implement, and have usually internalized,the constraints imposed by proprietary and other market and governmental centers of power.

> There are important actors who do take positive initiatives to define and shape the news and to keep the media in line. It is a “guided market system” that we describe here, with the guidance provided by the government, the leaders of the corporate community, the top media owners and executives, and the assorted individuals and groups who are assigned or allowed to take constructive initiatives. These initiators are sufficiently small in number to be able to act jointly on occasion, as do sellers in markets with few rivals. In most cases, however,media leaders do similar things because they see the world through the same lenses, are subject to similar constraints and incentives, and thus feature stories or maintain silence together in tacit collective action and leader-follower behavior.
Random forests weren't even state of the art in 2010.
(disclosure: not a PL person, so my question could be really dumb.)

> Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values.

This line reminds me of (the opposite of) dependent-type. But I think that intuition may not be useful or relevant for understanding here?
Admitting we are powerless allows us to investigate and change the factors that truly lie behind the behavior

Take obesity for example, do we know why so many people have gained so much weight? If I were to judge what I think your opinion might be from your response so far, it would be purely that people are eating too much.

So what causes that behavior? Do people just eat as much as the person next to them? Eat as much as their parents? Do they eat what's available and that just happens to be highly reinforcing (salt, simple sugars, fats) and easily available? Are there hormonal signaling pathways that control feeding behavior? Maybe there are environmental factors, such as hormone disruptors that weren't there 100 years ago? Is there a high prevalence of genetic disorders relating to weight control and feeding behaviors?

There may be multiple causes, and some may overlap.

Also this puts far too much on the end consumer, when there are also emergent patterns that come from behaviors of businesses and markets such as locations of grocery stores and stock in those stores. All of this, all of us.

We are all part of the same system and we should not attempt to place blame on any certain part when there are many many contributing factors. We should attempt to figure out which parts need to be adjusted and how, and its never going to be only one thing such as the agency of the individual.

https://en.m.wikipedia.org/wiki/Food_desert
Ok, so I guess we can just completely ignore the countless lisp implementations with continuation support (which makes implementing fibers trivial).

"We looked at one programming language with fibers and it has poor performance when calling C." Is what I read in the last section.
Somewhat related… for a while now Microsoft have provided publicly downloadable iso images for Windows 10 that you can’t image to a usb drive without needing special EFI NTFS software from a third party which in turn requires disabling secure boot (as it’s not secure boot signed)

Why you may ask? Simply because the iso contains a file larger than 4GB (install.wim) so you cannot use a FAT32 formatted usb drive (FAT32 is needed for EFI boot). Instead tools like Rufus provide their own EFI NTFS boot loader.

Interestingly Microsoft’s own usb creator doesn’t include install.wim but instead install.esd which is less than 4GB so can use FAT32. I have no idea why the iso uses a wim file whereas the windows usb creator uses an esd file. I do know the esd version is a little slower to install (only a minute or two). I guess because of higher compression.

This is a pain because making a Windows bootable installer on Linux or macOS is now more complicated than it need be as you cannot simply put the iso onto the usb drive with dd or gdisk as you would normally do.

Does anyone know why this is the case? As a workaround you can use Microsoft’s usb media creator to build an iso with the esd file then use dd as usual. But of course this requires a Windows system to run the Windows only usb creation tool and is a slower process than just downloading an iso directly. Annoying.
Bash is the glue that's present everywhere. If you need a script to bootstrap something you're better off writing it in Bash than Python.

If you think Python is the answer then you have to deal with the whole nonsense around pipenv/poetry/pyenv/asdf/virtualenv/setup.py/requirements.txt/pyproject.toml/wheels/... 5 hours later .../system packages/anaconda.
I didn't see any evidence of bribery. Please point that out.

Companies make investments in countries all the time for concessions on reduced taxes, streamlined approvals, etc... When Apple wanted to enter India's markets in a bigger way, they agreed to build a factory there. What is the difference? This is just how big business is done all over the world. I'm not making a judgement about whether this is good or bad, I just don't get all of the outrage and surprise over a process that is far from unusual.
I ran headfirst into this "non-writeable" business a few years back. For what I was doing, though, I went straight into the virtualization thing, which seems awful popular with the kids these days.

Forensics still needs the stick, though, although I am sure one of my grandkids knows some super secret trick that does the same thing in half the time/money.

Also, add me to the queue of people who were jazzed about an article detailing someone walking away from ISO specifications. I've lost count of the ISO "specifications" that turned out to be nothing more than freeways into the garage of a sole-source vendor who "maintains" some archaic file specification that apparently I can't do without. And who runs the Working Group. Fancy that! What a co-inky-dink.

And AS9100 governance has gone from "middling poor" to "cannonball dive into the thunder pot" during the course of my professional career, now flirting with "outright extortion" . Now, I do realize AS9100 is SAE and not ISO proper, but a ton of the bad stuff is coming straight from old ISO hands either in their original chairs or having moved around to SAE or IAQG.
Visa launches crypto consulting services in push for mainstream adoption
CP/M?

https://hackaday.io/project/173633-cpm-on-a-minimal-z80-comp...
I'm thinking that in tendon/ligament replacements, they wouldn't need to pull from somewhere else in the body.

For example, with tommy john surgery, they usually take a tendon from the thigh to replace the torn ligament in the elbow: https://en.wikipedia.org/wiki/Ulnar_collateral_ligament_reco...

Not sure how much of a difference it'd make.
The State of AI in 2021
As well as a disproportionate effect on the political systems, tax evasion, and so forth.
I'm curious why Mach/Darwin/XNU is entirely absent from that page.
I always used to think ln's argument order was totally counterintuitive too. Then I realised that they might have done it that way to account for the case where you only give one argument. If you use `ln <targetpath>` without a link path, it will make a link in the current directory with the same name as the target file. This way, in both cases, the target is the first argument.
Or they just buy PS5 or Xbox (both have AMD chip) and never go to PC gaming.
Somehow I don't find that too reassuring, even though I am several miles east of I-5... but my house is new construction, and had to pass seismic inspection, so there's some hope.
Do-one-thing-and-only-one-thing-well bash scripts coupled with a Makefile gives one “sophisticated control flow”.
Perhaps I'm too cynical but if you were a government trying to have effective back doors in place, wouldn't you want to keep it hush hush and advertise yourself as pro-encryption?
Lots of people have degraded knee cartilage so fixing that seems like a good application.
And to think, these are the clowns starting companies and training the next generation.

"I don't want to learn how to do this, and it's sOoOoOo hAaAaArd, I'll make my own product!"

Cue my eyes rolling full circle
Darwin, Apple's OS, is open source.
I would love for Windows to ship with a command line text editor so that I could be guaranteed to have something when using a remote command line. The moral equivalent of knowing vi will be on any Linux system from a server to doorbell. Maybe I'll learn about one from the HN crowd. I've tried my old DOS go-tos (e.g. edit), but they're no longer around.

Sometimes I just copy and paste file contents to local, edit, and write it to out with command line utilities or powershell.
> epistemic tracer rounds

that's the best phrase I've heard all year.

I do this all the time with my kids too, but I think of it more as fault injection.
> Without ECC you won't know that your system is failing and silently corrupting your data.

The likelihood that a RAM error is corrupting data silently is slim, given the same corruption could affect the RAM storing the OS kernel or your application stack.

If you have bad non-ECC RAM, you will notice issues that warrant further investigation (i.e. memtest). But that assumes you're savvy enough to understand what failing memory looks like.
JS "let" is not single-assignment; did you mean "const"?
Yes, you’re totally right. When I was growing up in 2000s, Google was the epitome of cool, and I dreamed of working there. Then, when I worked there in mid-to-late 2010s, it was not at all what it had been before.
How about searching for keywords in file names? Believe it or not, GitHub search doesn't do this unless you prefix with filename:
I also fall under the libertarian bucket "it's your body, do what you want..." unfortunately there is a double standard for liberals where free choice only applies to some very specific carve outs (i.e. abortion) but other things (mandatory covid vaccines or banning smoking) they feel it's their moral duty to dictate to everybody.
From news stories of the past decade or few - I was not aware that even mid-sized companies, operating near-exclusively within $countryOfOrigin, showed much actual loyalty to said country.
There's text below if you're on mobile.

> - Do you understand the charges? - One beep for "yes," two beeps for "no."
There is the spoof video on paying by ass done for the Money20/20 conference in 2014:

The Future of Dough - PaybyAss

https://www.youtube.com/watch?v=U2brZQocmMc
> Examples include exceptions as the one true error mechanism, and the use of implicit allocation.

-fno-exceptions is very widely used and non-throwing variants of basically everything exist as a result. That's not a reason to avoid C++ in the kernel as a result. Especially with how heavily Linux already relies on GCC C extensions, there's obviously no hangups on being "strictly standard compliant." Not have exceptions ever been C++'s "one true error" mechanism ever. For example see iostream: https://www.cplusplus.com/reference/ios/ios/rdstate/

C++ is not, and never has been, anywhere near that dogmatic.

As for the rest of your points, you seem to be arguing Rust is better than C++. But that's not really relevant to why C++ was rejected before Rust even existed. I do think Rust is even better than C++, but I also think C++ is a huge improvement over C, especially for large codebases.
The traffic seems to come entirely from Umbrella DNS requests? https://domain.glass/whoredom.groups.ycombinator.com
Thanks for checking it out and especially for your feedback! I definitely agree. I have some easy ideas to tackle at least some of these concerns (e.g. normalize volumes, block posts beyond a volume threshold, implement a CAPTCHA to post, etc.).
Google Year in Search 2021
If the government can legitimately regulate the sale of alcohol, fentanyl, or methamphetamine, they can legitimately regulate (including ban) the sale of coffee or cigarettes.
Why not simply renounce your citizenship now if you feel you should owe no duty to maintain any kind of national security policy?
Now that you've published your seeds...
I'm talking about people who make a religion out of science. They can be identified with their chants of "Trust The Science", "You mustn't question The Science", etc.

If you haven't encountered this kind of fanatic, consider yourself lucky. These days I'd feel safer drawing a picture of Mohammed than blaspheming The Science by asking heretical questions or making unholy observations. You never know when the secular-inquisition will come for you, but you always expect it.
Let's see if this holds... This is something none of the parties have a really consistent internal line on sadly.
They sue NSO for selling a spying software while giving the Chinese government full access and back door to all of their users.