skysight-inc/HackerNews huggingface dataset:
Not really.

The 3439 page Intel® 64 and IA-32 Architectures Software Developer’s Manual is a specification. It just isn't a formal specification suitable for use in proving properties of programs. ARM on the other hand, released a machine readable architecture specification for ARMv8 but that architecture isn't as old or as large as x86_64. Nor is Intel/AMD in the business of selling architecture licenses where having a machine readable architecture specification would be useful for verifying implementations and proving properties. Indeed they're kind of in the business of preventing that from happening.

https://alastairreid.github.io/ARM-v8a-xml-release/
Agreed, but that seems less likely to me than a handful of teenagers misunderstanding the question and/or deciding it would be funny to fuck with the researchers.
I had to deal with the previous transition, and that one was going to be the result of the death of the emperor. Therefore, software was not allowed to include any provision for transition to a new date system, because doing so would imply that the emperor might die someday, which was strictly forbidden. I don't know whether it was an actual law, but there was zero tolerance for including any provision for changing the Showa date system.

As a foreign (non-Japanese) company, we just used the western-style date almost everywhere except for published documents to skirt this problem. Doing the wrong Japanese thing would have earned us serious hostility from the Japanese business press, but foreigners doing dates the foreign way would tolerated as mere foreignness.
A device that breaks within days from completely normal use is completely unacceptable for anything that costs $2k.

Nobody was asking for an unbreakable device.
This is probably a better url as it is the one that is being used as the source: https://gizmodo.com/chinas-new-video-game-rules-officially-b...

Also this seems to only be affecting Chinese-made/Chinese-published online games as far as the Gizmodo article has sourced. Also I can't find the exact document they're sourcing because they linked a generic legal document on the Chinese-made online games approval process as I can read Chinese.

Here it is google translated: https://translate.google.com.hk/translate?sl=auto&tl=en&u=ht...

I'm very confused where Gizmodo sourced this from, because I've read through the recent SAPPRFT news (aka the censorship organization and theres no recent news since April 10th)

Ok it seems like its from a SAPPRFT gaming conference in China, hilariously, the few Chinese forum sources I can find reference this techcrunch article too, this is probably the original link everyone is sourcing from:
https://techcrunch.com/2019/04/21/chinas-new-gaming-rules-to...
The documentation such as it is, doesn't even tell me what this is supposed to do (or at least not after a superficial look). Is it for using web assembly binaries on a command line? Or in the browser? Integration with webpack or the like?

There is a link on how to install from source, pointing to github, but the link is dead and the organization has no repositories...

At the moment, there is not enough momentum behind individual web assembly packages, as in "many people wanting to include the same wasm binaries". If at some point there are runtimes for like C#, Java, Python etc which people agree on, they might try and use a CDN approach, such that users visiting multiple websites don't need to download everything at every site.
Yeah, instructions onto how to build the package would be highly valuable. Environments where binaries are very backwards compatible (which itself is a good thing!) lend themselves to discarding abilities about how to build something. You could quickly land in a situation where you need to recompile some particular binary for some reason but figuring out how to compile it is really hard. Like how Microsoft fixed a vulnerability in an Office program by changing the binary instead of the source code.

IMO any open source centric repository should have developers upload the source code instead of binaries so that the repository can compile it themselves to give binaries or source code to users. At the start they could use docker where the docker file is part of the uploaded artifacts, and later they could use WASI based toolchains directly, e.g. clang compiled to wasm or rustc compiled to wasm.

This "developers upload binary artifacts, source code is an afterthought" idea of npm rubs me wrongly.
"I was having a conversation with a senior government official I have know all these many years who work in the White House and I said you're changing American society. He said well we realize that we need a robust social graph of the United States. I said, you mean the United States Government is from now on going to keep a list of everybody every American knows, do you think by any chance that should require a law? And he just laughed." - talk in 2012 by Eben Moglen

Why do we think the government, almost 10 years ago, wanted a robust social graph of every citizen in the United States?
There's not really such thing as an unbiased result, especially as it deals with economics. Thats kind of the point of the concept of systemic margininalization.
If you want to see how consumer cameras can take night video much better than your eyes look up Sony A7S video. Modern cameras have such clean output at high ISO that you can turn night into day with great quality.

Modern consumer cameras have far surpassed what our eyes can do in all the metrics you describe (dynamic range, resolution, response rate) and many others. It's not even close.
Some large subset of the HN crowd isn't interested in being civil, or preferring realistic comparisons to hyperbole, when talking about Facebook anymore.

The two above comments I made are sitting at moderately positive vote counts, so it makes me happy that at least > 50% of HN is bored of the way we've been discussing this topic for the last few years.
Why is my comment 'anti semitism'? The mob is usually portrayed as Italian, while most of these names have Jewish origin. It wouldn't be anti Catholic to note that most Italian mob figures have Italian surnames. I'm not deriding the spiritual beliefs of these gangsters, just noting their origins. It's common knowledge that the current generation of 'Red Mafia' are predominantly Russian Jews.
https://www.amazon.com/Red-Mafiya-Russian-Invaded-America/dp...
Writing the Code Like a Pro
It isn't relevant, though. The PATRIOT Act had pretty broad support. Just because she helped write it doesn't mean that she supports it more than other lawyers – just that she's a talented enough lawyer to be working on such major projects. It's the same as complaining about individual multi-millionaires who optimize their taxes.
https://en.wikipedia.org/wiki/HipHop_for_PHP
I had a friend get physically harassed and eventually get forced to exit the program when she demanded action. Anecdotal, sure, but I would guess it is more common than people realize or want to admit.
Crikey, I hope I never have to talk to that mathematician! That's a terse, unintuitive definition that isn't very helpful unless you're already familiar with the concepts. (Also maybe you meant linear maps into bilinear?)

Reminds me of the time an algebraist mentioned to me that he was working on profinite group theory. I asked what a profinite group was, and he immediately replied 'an inverse limit of an inverse system', with no follow up. Well thanks buddy, that really opened my eyes.
I know this isn't what you're looking for, but if your desperate you can use Siri as a calculator.
AFAIK Netflix Conductor was inspired by the AWS Simple Workflow engine. The Cadence is a direct evolution of SWF in the open source world. I was tech lead for both of them :).
If you had just omitted the blockchain portion you'd be correct - why oh why does everyone try to throw blockchain into everything.
I disagree that your last statement is violence, that seems to really push what violence is. How about this statement "you should treat everyone with respect". Would you claim that's violent because you don't want to treat some people with respect but we "are making you" do it?
I can't even imagine a person with IQ above 100 actually harassing someone, in my perception only animals and humans of similar level of mental development can even feel interested in doing this. Aren't sexual harassment definitions exaggerated? I.e. isn't being nice and smiling with an opposite sex person or inviting her for a cup of tea considered "some form of sexual harassment" in studies like this?
If by "democracy" we mean "a certain privileged class of humans have shared influence in their government, usually by voting," then the US founding fathers were rather late to the game - plenty of republics had that already.

If by "democracy" we mean "there is no privileged class, and all people born in the land can vote if they are of age and have not had their privileges removed by due process of law," or we mean "that all Men are created equal, that they are endowed by their Creator with certain unalienable rights, and among these are Life, Liberty, and the Pursuit of Happiness" (the Declaration of Independence), or we mean "Everyone has the right to take part in the government of his country, directly or through freely chosen representatives.... The will of the people shall be the basis of the authority of government; this will shall be expressed in periodic and genuine elections which shall be by universal and equal suffrage" (Universal Declaration of Human Rights), then yes, I think the people responsible for the Constitution were quite adversarial to that goal.

The United Kingdom, in freedom from whom the US founding fathers supposedly established democracy, banned slavery over half a century before the US did and slowly but steadily allowed more people to vote for Parliament during the 1800s. At the time the US Constitution was established, only 6% of the US population could vote, according to https://web.archive.org/web/20160706144856/http://www.archiv... .
I guess the distinction (in my mind) is the perspective that Linear Algebra Done Right takes in that they don't focus on matrix representations.
A perfect job interview could be defined as an interview for which the best study technique is to become a better choice for the role. Studying skills that would not directly contribute to job performance would not change the result of a perfect job interview in any way.

In that sense, it's probably a good indicator for Google that the interview advice includes "practice writing code", "make it a habit to validate input", and "learn about data structures", and it's probably a bad indicator for Google that the advice includes "practice writing syntactically correct code on a whiteboard" and "practice solving problems with a 30 minute timer."
> One friend of mine who had access to the HR feedback said I was too confident and I should try to appear less skilled as the manager was kind of afraid.

I just got reject from an interview even though I passed multiple technical interviews. I was more annoyed because they found people more junior to interview me (the job was to be their team lead). The third interviewer was asking such a simple question, I didn’t even understand what he was asking for 10 minutes until I realise I was over thinking it (it was a poorly formulated question that wasn’t well thought out). It was a question I didn’t expect because at my level, they shouldn’t be asking those questions. I would have expected that question for a boot camp graduate. So I already knew, their level was below par. And the interviewer felt so smart for stumping me. Needless to say, I wasn’t disappointed when they rejected me, but more relieved I dodged a bullet.
We have both very low scale use cases as a single distributed cron as well as very high scale use cases in production at Uber.
That's how we handled it in phc, for exactly that reason. Turns out was also useful for simple things like "what is the value of this float" which changed between different versions. Also gets you the standard library.

Detailed discussion here: https://paulbiggar.com/research/#sac-2009
The content of the $$ is a string so it can be anything including invalid variable names or unknown variables. There is nothing the compiler can do. In C it's totally deterministic.
I've always used Kolourpaint for this, which scratches exactly that itch for me.
I don't deny that this is an issue in any college setting where lots of hormone-driven young men are crammed together around a smaller number of women, but something about the way the question in the article is posed makes me suspicious of the intensity or widespread nature of the claim:

> Of the 455 people who responded, 338 reported experiencing some form of sexual harassment, including gender harassment — such as being ignored because of their sex or gender, or being told inappropriate jokes — unwanted sexual attention or a combination thereof during the previous two years.

How inappropriate were the jokes? How much of it was harassment versus social unawareness? How does the survey distinguish between idle chatter that goes south and aggressive men with bad intentions that corner women in the stairwells of physics buildings?

Again, I don't deny the issue, but short articles like these that are lacking in detail about their claims, then link to another article from the same site, which links to a $55 copy of the study [1] seem like insufficient data points beyond everyone's gut feel that "sexism and harassment are a problem in male-dominated fields"

[1] https://www.nap.edu/catalog/24994/sexual-harassment-of-women...
While it's true that getting "up and running" with a simple project is only a matter of getting a working laptop and internet connection (and a bootcamp if one is available to you), getting into the position where you could build (or not build) a system capable of broadly violating human rights on behalf of an oppressive government is not an opportunity most workers have. If you're interested in the sort of union that could help you take action in your workplace I'd recommend looking into the Tech Workers Coalition -- there's an active community online and probably a branch near you.

Further down in this thread the discussion has broadened to worker rights in tech-adjacent jobs (eg. amazon warehouses). It would be great if we could have one big union that fights for the rights of all workers, and if you think so too you should look into joining the IWW.

Yes, our society does need to adopt morality and ethics as guiding principles in our work, and organizing your workplace is not some orthogonal venture but is actually part of that goal.
Ultra Low Latency WebRTC Streaming – Open-Source Media Server
So this doesn't actually compile any Python, it just launches a Python interpreter when it encounters Python code?

If I have many threads running Python code will it launch a new interpreter for each thread?

Does it use Python 2 or 3?

Thanks! I might actually use this sometime for scrap code that I'm writing to test stuff.
Like Steve Jobs, he’s become a victim of his own reality distortion field. But he doesn’t have the charisma of Steve Jobs, so he just comes off as an inauthentic creep.
Yes, at least they could host it on IPFS or dat.
Democracies already have some reliance on trusted authorities, so why not just leverage those and assign the trust of the voting system to those established trusted authorities?

Also, blockchains are fun - they are not a magical salve.
You should distinguish between "can run on Windows" and "can manage Windows software as packages". Most package managers could probably run fine on Windows; at worst they could use cygwin or, indeed, WSL. Managing Windows software is much harder, but isn't necessary: This is a package manager for WebAssembly packages, not Windows packages or Linux packages.

And anyway, wasmer itself doesn't even support Windows.
On different people's screens?
No course there is no perfection in our human choices. Laws are sometimes applied selectively. That doesn't mean you just give up and say it's all bad.

There shouldn't be secret laws. There are secret interpretations, I hate that. It doesn't mean I just give up and say everything is bad.

I also think parallel construction is very very harmful. Again, knowing it exists and being against it doesn't mean that I am giving up on the general rule of law.
asymptotically, I'd argue
New model explains origins of empathy
Digital Product Owners' Mindset
It all depends on what you value. As an older person, my experience is that those who view life as a mission to accumulate up as much wealth, possessions and skills as possible end up miserable. Life is a journey to be enjoyed each day, not some sort of mission with an achievable end-point. You don't "win" life by accumulating the largest pile of tangible assets. I've found that those who are the happiest work hard enough so that they have enough money to do the things they want to do, with a little extra saved up for contingencies. Its a cliche, but life truly is a journey and not a destination.
And you can be pretty effective at that tracking if your contacts use facebook. Since they have access to your call logs they know how frequently you communicate with someone. And people that communicate frequently share general interests.
Isn't that pretty much always the case when somebody writes a will?
Reminds me of tolls.

It makes me comically angry that our toll roads require RFID equipment in most cars and slow cash lanes for people without. The fallback for people running the toll booth is to automatically take a photo of the plate and send the owner a bill.

Why not just use the fallback system as the primary system?

You already have the equipment to collect tolls automatically. Why do I need to glue something to my window or wait in a long line to pay cash?

Comically angry because I know this is "old man yells at cloud" territory.
"No one was ever promised an unbreakable device"

There's a huge difference between "unbreakable" and "half a dozen reviewers accidentally broke theirs within days".

There's also a huge difference between a developer preview and an early-adopter device. The Fold's marketing wasn't anything like that of the Glass. The latter required you to sign up as a developer to even buy one. It was also a totally new product category for developers to experiment with, not an evolutionary step forward in an existing category. Nobody's talking about exploring special apps that are only possible with the folding screen. That's all anyone ever talked about with Glass. The Fold was marketed as a consumer-facing device with a few compromises. It's planned to be sold in AT&T stores for goodness' sake.
This was wonderful. Thank you.
I don't see much substance in the article. E.g. Nvidia argues that they have chips to meet Tesla's specs, I don't know what constraints Tesla had, but they did mention one - power consumption:

Drive PX Xavier - 30 TOPS - 30 Watts - https://en.wikipedia.org/wiki/Nvidia_Drive#Drive_PX_Xavier
DRIVE AGX Pegasus - 320 TOPS - 500 Watts - https://en.wikipedia.org/wiki/Nvidia_Drive#Drive_PX_Pegasus

Both chips if scaled to 144 TOPS consume double the power of Tesla's solution.
The way it was phrase made me interpret it, but I understand it now as break easily. My apologies.

And yeah, it's bleeding edge technology. So long as they honor warranties and those warranties don't exclude something like this, then it's roughly what I would expect from the first gen.

It's far from ideal, but Apple launched consumer phones that bent while hanging out in your pocket which cost around the same price and wasn't some R&D project. This is clearly not meant for your everyday consumer and is priced at a point that only people that want to test this phone will pay. The testing isn't in Samsungs favor, but it's par for the course as I would expect.
Both of those are pretty substantial.
This counterfactual would be more convincing if the UK did not ban slavery before the US did, and did not need a civil war to do it.

And it is just as easy to praise someone when you're not the one they're hurting.
Even among households making less than $25,000 per year, the large majority (85%) of people have health insurance. Within that group, more people have employer-provided health insurance than lack coverage: https://www2.census.gov/programs-surveys/cps/tables/hi-01/20.... (See row 200.)

Even among the groups most likely to lack health insurance (households of unrelated individuals making less than $25,000), uninsured + direct purchase (having to buy your own health insurance) only accounts for 1/3 of people in that segment. (Row 210.)
How did a bitchy comment lead to all that?
Effects of experience on code quality and programmer productivity
I think the situation has improved somewhat as visualization tools have become easier to use. We made this simple visual [1] to help people understand what they might get out of linear algebra, and it was easy enough for some statisticians to accomplish.

[1]https://datasciencetexts.com/subjects/linear_algebra.html
"Convolutional neural networks", whose connection to other means of convolution is a bit tenuous.

https://en.wikipedia.org/wiki/Convolutional_neural_network
Bloomberg is spinning nvidia's own blog post.

Read the source:
https://blogs.nvidia.com/blog/2019/04/23/tesla-self-driving/

Then read the Bloomberg article again, and tell me how that isn't complete spin towards a narrative that doesn't exist in the source.

Bloomberg is completely shameless in their anti-anything-Tesla narrative.
The OpenROAD project on lowering ASIC costs and design times
It wasn't really a choice when I interviewed there. All but one interviewer had me write code in the chromebook, which was my least favorite part of the interview process. The trackpad didn't respond to my slightly dry erase covered fingers, the keyboard was weird, and the quasi hangout software it was running crashed a few times, one of which required a full restart. That might not sound like a big deal but in a high pressure/time constrained environment it was a bit of a nightmare. I was told going in that the chromebooks would be available as an option, but writing a few lines of code only to be told to stop and switch over to the chromebook (which had either gone to sleep or frozen), have the interviewer log in and select the correct session, then select syntax highlighting, then finally being able to start writing code doesn't seem very conducive to maintaining a train of thought.
Very interesting. I've really enjoyed reading this story, congrats GitLab folks!

Can anyone recommend any other similar story to read?
> Basically nobody at age 18 has a reasonable world view because their life experience is basically limited to childhood

It's fair to criticize teens for limited experience. It's fair to assume a some portion of what they think they know is a reflection of the common wisdom of adults in their circle. It's fair to start from the assumption that this will often result in opinions that aren't very nuanced, systematic, and balanced.

It's risky to assume this means teens have no meaningful experience, knowledge, or even expertise.

And I'm at least a little surprised to see an opinion approaching that on a forum where no small number of participants started playing/working at creating software before they reached an age expressed in double-digits.
The contrast with the Huawei Mate X is stark. The latter has the folding screen on the outside of the phone, which means 1) a wider, and thus safer, bend radius while simultaneously being able to properly close (no lingering gap) and 2) (seemingly?) no ability for space to develop under the screen for debris to get in. Huawei having just the one screen also makes for an overall cleaner design. It makes me wonder why Samsung chose the more problematic inside-fold route.
Yes: https://www.youtube.com/watch?v=GhawwXcQsUs

BTW, there are also circle drawers:

https://www.youtube.com/watch?v=eAhfZUZiwSE
Smarter than launching it would have been, sure, but much less smart than not getting anywhere near this point.