skysight-inc/HackerNews huggingface dataset:
Again, those are software concepts. That's not what I'm talking about.

The point is, there are many hardware level constructions (FIFOs, BRAMs, CAMs, etc.) which can be very usefully abstracted.

And you use a software language to do it, simply because the hardware languages are so bad at it. There's no reason a HDL couldn't be good at expressing these abstractions (indeed Bluespec exists and does a fairly good job), but since they don't, using a programming language simply as a metalanguage is still better than actual HDLs.
https://news.ycombinator.com/item?id=12173742
Or you could just kindly nudge him into opening a pull request. He's probably never done it before.
Reminds me of Thoreau.

Most men lead lives of quiet desperation and go to the grave with the song still in them.
Redundancy != Fail safe
Considering their code is licensed under Apache 2.0, you could do that yourself, if that's what you think is the right thing to do.

I don't see anything wrong with Minio writing a blog post to show off something neat they did.

Also, considering how ubiquitous both hashing and ARM have become, 100x is a pretty valuable speedup.
Frankly I think the name Jupytercloud is much, much better than sagemathcloud. The reason is that anything containing the word 'math' instantly kills 99.9% of your targetgroup. I have been a mathematician for half of my professional life and I share a a love for all things mathematics, but in the second half of my professional life I have learned (the hard way) that 99.9% of people instantly shut off as soon as math is brought up. Sadly this is even true for most engineers and scientists. Anything called mathcloud is instant negative marketing, especially as doing a google search quickly turns up, talk about L-functions, number theory and commutative algebra. All of these capabilities you are rightly proud of, but which for most anybody outside of academic math departments it is a clear sign that sage/sagemathcloud is "not for me". This includes mathematics teachers, who, however, seem to like geogebra, a system with much more limited capabilities, but sufficient for elementary algebra, plotting functions and elementary geometry. One of its strength is that it can used in a (chrome) browser.

On the other hand there is a much larger group (if only non-math students) for which a "google docs/github" for shared, zero-install, browser based python/R/Ruby programming, data-analysis, plotting, statistics, technical-scientific writing /Numpy numerical and yes, Sage symbolic computation environment is a great proposition. Of course this is exactly what SageMathcloud is offering. However, if I may exaggerate a bit, SageMathcloud is now positioned as a cloud system to support mathematicians that can also do things like plotting and statistics, because it is really handy for doing statistics of the zero's of the zeta function. Completely understandable from where you come from, but a marketing disaster. A name like Jupyther cloud that reflects such a "neutral" programming/technical/statistical/data position would be a great boon.
https://www.conservativereview.com/scorecard
I lived in UAE for 10 years.

All I can say is...it's not a "bad" place if:

1) you are working as a direct hire for any of the govt companies (Adnoc, Etisalat, etc.).

2) if not, you are contracted directly by those companies

3) if you are on contract and your visa's sponsor is good (won't take your passport on arrival, won't create issues when you need to leave, etc.)

4) If you keep your head down basically - go to work, come home, have fun - Don't get involved in politics, using encrypted chatting applications, talking about human rights or anything along those lines.

oh and there's definitely a lot of brain washing going on. Almost everyone claims that it's the best place to be, discrimination ain't a thing (yes it is), everyone's fair (nope) and so on...
Yep.

I love all the extra physical things with the DVDs, like hats, posters, and other trivia.

But I think if I'm going to start ditching that stuff, might as well finish it.

I already know how to get the movies out. I'm just going to miss the extra videos, like the commentary, gag reel, and so forth. At the rate my wall is filling up, maybe not so much. I was hoping there was some way to keep them all together. Perhaps there's a way to rip an entire DVD/Blu-Ray to something like an ISO? I hate that being so compartmentalized, but at least it would let me destroy all this glass and plastic I have taking up my house.
Judging from the source code[1] in the author's repository, it is the latter. (what I see is: perform 96 instructions, then subtract 64 from the message length, and repeat until the message length is 0)

Intel seems to be the same way [2](2013) - i.e. looping over multiple instructions per 64 byte block.

[1] https://github.com/minio/sha256-simd/blob/master/sha256block...
[2] https://software.intel.com/en-us/articles/intel-sha-extensio...
Interestingly I used to overoptimising my Python code to be Pythonic as in this article but found that what some considered Pythonic was actually a lot harder to understand for other team members.

Want an example, change out the words 'word' and 'palindrome' for something else and tell me if which one is easier to infer the functionality of.

You may be surprised.
I can second this. My wife has a personal 6S, her work phone (they pay for the plan, but not the phone) is a 5S we had laying around. She hates going on international business trips with that phone (we could swap the SIM), but "it's so slow", "it doesn't work", "i hate this phone" are common phrases with extended usage.
To go further, it would seem that, in the current social environment, these people aren't successful at expressing their masculinity as much as they wish. And they want to blame somebody else rather than their own ability to function in society as it currently is.

To put it bluntly: They feel like losers, and they think it's their right to feel like winners.

And to bring it back to amyjess's point: An environment that values thinking seems to make them feel like losers.
Why? Truth hurts. If you really want a place with highly regulated comments, go back to FB.
Lockheed Built a Blimp-Crawling Robot That Finds and Fixes Leaks
but, but, this is the internet where everything is free and the money comes from advertising
I've been reading one paperback and one audio book simultaneously. The paper back is slow: one every month or two. The audio book is for when I run, so it's based on mileage.
Inflationary currency encourages consumption (and environmental destruction), decreases the value of debt (and causes people to pursue unsustainable risk on leverage), and cheats low- and fixed- income wage earners out of the value of their earnings disproportionately compared to the wealthy, necessitating minimum wage increases, which creates sporadic wage unemployment, which is more disastrous than gradual wage unemployment.
We had to deal with Yahoo Mail for the last 6 month since Yahoo marks our emails are spam. Guys,

I wish this upon no one...these guys will keep on closing our tickets (6 so far), keeps ask for same information over and over again...just in order to not fix the issue.

we are a small startup and probably not important enough for Yahoo to care about, its been literally a disaster for us...

there is no way to escalate or contact a manager, Yahoo team will keep on ignoring our request to not treat our emails as spam!
So much for the S-1. Interesting move. If your goal is to work on software this seems like a pretty good deal for the CEO - 51% of the new spin-off and a bunch of cash and 10 years of "guaranteed" license revenue. Was this an LBO or straight cash? Anybody know? Been reading Barbarians at the Gate lately and have taken a new interest in management agreements and payouts in these things.
Signal is bad for other reasons, too, like creating a lock-in effect and being hostile to clients that remove the dependency on Google Play Services: http://news.dieweltistgarnichtso.net/posts/signal-lock-in.ht...
This is: "Split the index in your application code."

And then do your joins, in your application code.
I'm not saying Apple hasn't seen significant growth but Apple also has some of the highest profit margins in consumer electronics. So I don't think that's an apt comparison. How many units did they move relatively?
https://github.com/rust-lang/cargo/issues/2064

From my perspective: one of the biggest issues in cargo right now. I know it's not the same as the HP problem, but current cargo is definitely not good at solving this.
Oh sure, using a proper room set up with a Vive is something else entirely. I just wouldn't necessarily have thought of touch not being launched as a technical difference but rather one of availability. Tomahto Tomayto I guess.
>everything is going to hopefully be shiny and new

"Hopefully." When it isn't, you'll be glad that's the time they chose to inspect.
It is pointless to argue with C++ programmers. Just eat their lunch like everybody else has and go about your day.

Edit: I've been watching C++ developers tell everyone else for nearly 25 years how the world works and why their new language will never be useful. Enough. The cumulative weight of languages that found success by not copying C++ is staggering.
Wouldn't the fact that this particular vulnerability has been fixed mean that we have to throw the whole premise of QubesOS back in the window?

I'm not really seeing any sort of sandboxing tech on Linux that is significantly tougher than Qubes.
The victim's key wouldn't work on the new lock.
Yes, this has been a big thing we've been discussing a lot. Something will probably happen, but design work is still being done.
This highlights a major problem for Indie OSS software development as OSS is mostly built on the backs of Indie developers but its profits gravitate to mega tech corps who have the barriers of entry and economies of scale to profit handsomely from it.

Devs are accustomed to using Software libraries for free whilst still being expected to pay for hosting OSS software which are the areas where AWS, Microsoft and Google invest heavily, but smaller companies without the brand, infrastructure or scale have a chance to break-in. They're effectively selling shovels and pickaxes during the OSS/Cloud Gold Rush and ultimately are the ones who stand to benefit most from OSS.

This trend is going to get worse over time as they can use their profits to develop their own OSS software projects with well-funded teams that money can buy which they can offer for OSS/free in order to maximize adoption and exposure as they have the business model and economies of scale to eventually profit from it when companies go to host it.

Eventually commercially-funded OSS will cannibalize popular Indie OSS projects who wont be able to compete with a team of dedicated full-time engineers who are not at risk of suffering the same burnout as they have more resources and are developing it as part of their day-to-day giving them the spare capacity to produce docs, polish and marketing materials and can offer maintenance/support that's often lacking in OSS projects.

TL;DR future is grim as an Indie OSS Software developer.
You're trolling, right? This is a parody or something.

> I will not reward that type of behavior

My mind is being blown. I'm completely feeding right now.
> Luggage locks are basically only a deterrence against casual crime-of-opportunity thieves or pickpockets. I've found it's much simpler to just use a zip tie on my zipper.

You might want to see this (opening a suitcase with a ball pen):

https://youtu.be/9JvmAktLvFg?t=14s
No encryption or hashing, since that would require (easy-access to) an external tool and lacks control over length and characters. It's not possible to simply change the "name part" of one of my passwords since the general format looks something like: {password_base}{service_cipher}{username_cipher}{special_chars}.

Depending on the type of service, `password_base` changes. For example, HN uses a separate one from Gmail for Business. Likewise, `service_cipher` and `username_cipher` are simply that: truncated ciphers of the service name and username. Lastly, `special_chars` is used for pesky sites that want special characters outside the range provided by my password base.

I'd like to think my system is very difficult for someone to crack without gaining access to a large number of passwords. The only limitation is that a few sites have limits on password length(!) which requires using a shorter base or even truncating the password entirely.
It's a little bit easier if you care a lot less about performance.
"In general, rustup is intended to be the primary mechanism for distribution; it’s expected that it will soon replace the guts of our official installers, becoming the primary way to acquire the Rust Platform and all that comes with it."

Then, of course, the other installers will gradually break and be abandoned. The effect is that users must run the "Rust Platform", unless they have the resources to build their own distro.

Is there a monetization scheme behind this? Does someone aspire to be the Canonical of the Rust ecosystem?
I dislike "right vs. left brained" as a term to define people. We are all right and left-brained (duh). We can also train our brain; we may be predisposed one way, but we are not predestined to be "right-brained" or "left-brained".

I like the distinction when used to denote different modes of one brain. Barbara Oakley talks about them as "focused" vs. "diffused" modes[1]. There are moments of high-presure analysis and low-pressure creativity.

The distinction helps to leverage these modes in solving problems.

[1]: https://m.youtube.com/watch?v=O96fE1E-rf8
It's fun, but if you want dystopian capitalist world with a parallel vr universe, snow crash has more surprising ideas. (And better writing)

Although it's a bit violent and has some... interesting mechanisms (as I was told: it gets weird)

Also, the nostalgia comes baked in because it was written in the 90s. Still super relevant though
I think things other than choice of algorithm are harder to copy. For instance, finding good outside sets sounds a lot easier than it is. But I do see your point. For me these competitions are more a fun educational tool where I can practice the model-building process. I agree that they probably aren't useful for finding the best engineers... although there are companies who see things differently.
I wont say technology is without cost, but i'll give you an example of humanity advancing -- near-free communication. In college (1996), i craved speaking to my mom, even for 5 minutes. But it cost about a week's student salary to speak for 5 minutes long distance. We just didn't. We'd speak for 1 minute ever 2 weeks or so. It was incredibly painful.

Towards the end of college, that cost went to nearly zero. Today it is essentially zero. I hope to speak to my kids plenty when they are in college.

Some people say...you are speaking about nickles and dimes here. But they fail to understand that for many people, $10 will bring their bank balance below zero.
That's not true, and it's happened before:

http://www.cnet.com/news/nessus-security-tool-closes-its-sou...

A project like Linux couldn't do this, since it has thousands of authors, and each author would have to agree to the change. But if the author is a single person, or a corporation, then only one person has to make the decision.
Awesome for music.

Very good for a thin-and-light exec travel item -- it has baked in data, good battery life, and I can read on it, write on it, type on it.

Great for movies in bed; the audio is excellent.

Nice big screen for games (I have middle aged eyes).

If I could code on it, (or possibly if the apple keyboard had an escape key -- I like vim --) I would not travel with my laptop.

If I could get docker images on it, I would not have a laptop.
So everyone that doesn't share your opinion is trolling? No, I'm not. If you want to pay WSJ for that type of behavior, you're certainly welcome to.
> rustc already requires passing an --extern flag for each 'extern crate' in the source

Only if it can't find the crate otherwise. Generally it just searches your library path and any directories you specify with -L, e.g. most cargo executables can be recompiled (the first compilation via cargo used to compile the dependencies) via `rustc src/main.rs -L target/debug/deps`
Nah that's different. This is about avoiding unused dependencies, especially when they constrain portability.
After Winning the Internet, Google Wants to Become Your Doctor
Finally after about 10 years of using Facebook I was given a relevant ad last week.

Admittedly I cunningly lie about my age in Facebook and say I was born in 1918 (but on the correct day/month for my half-friends who don't know the actual date).
I grew up in the country, too. The only place I've ever encountered full working during daylight every day is on a farm—another technology that is unnatural. Truly, humans cannot comprehend freedom from society. However, our flight-or-fight responses give us some insight, and I'd put money on our stress rates being higher now than ever before. Regardless of whether there are threats, we perceive them everywhere.
I guess jokes don't work
Sure they would, just give them a key pinned to open with any key :D
Awesome to see market leaders like Tesla beating all possible projections (they're basically already living in 2020 on the chart at the end of the article).

Given that all forecasts had prices trending downward and eventually hitting the fabled $100/Kwh rate, this bodes well for continued progress as all these large-scale production facilities extract efficiencies...
Some languages have also seen great success with having a standard platform but still allowing users to replace it as needed. The many Haskell Preludes and Jane Street's ocaml core are two such examples.

I think the ability to opt out of the rust-platform metapackage is a great feature.
Can someone summarize what's going on here for lay people? I know this "Rust" thing is pretty popular on HN nowadays but not sure what the difference is between a language and a platform. I was trying to read the article, but I don't have enough knowledge about rust itself to understand what it's talking about...
> both parties are guilty of increasing the strength and powers of the government

Worse: Increasing the strength and powers of the chief executive, at the expense of Congress.
Do not object to the WSJ paywall. I will not allow it. I will not stand for this.
A rigorous definition of a zero knowledge proof would be as follows.

Given some problem P (say proving that two graphs are isomorphic), you want to create a protocol such that the view of the verifier can be simulated without access to the witness (the graph isomorphism).

By "simulated" we mean that there exists some polynomial time simulator that produces a "fake" protocol transcript that is nonetheless indistinguishable from an actual protocol execution.

The existence of such a simulator implies that whatever the verifier could have learned from an interaction with the prover, it could also have learnt by interacting with the simulator.
I don't see anything in this proposal which indicates that rustup would by default install any of this, and it's already the primary target of development efforts, Rust Platform or not.

What other installers are you referring to, exactly? The old rustup.sh which couldn't support multiple toolchains installed alongside each other? multirust which didn't work on Windows? rustup is a massive improvement over both, IMO.
I wouldn't recommend following the Haskell approach. It hasn't worked well for us. (I took part in creating the Haskell Platform and the process used to add packages to it. I also used to maintain a few of our core libraries, like our containers packages and networking).

Small vs large standard library:

A small standard library with most functionality in independent, community-maintained packages has given us API friction as types, traits (type classes), etc are hard to coordinate across maintainers and separate package release cycles. We ended up with lots of uncomfortable conversions at API boundaries.

Here's a number of examples of problems we currently have:

- Conversions between our 5(!) string types are very common.

- Standard library I/O modules cannot use new, de-facto standard string types (i.e. `Text` and `ByteString`) defined outside it because of dependency cycle.

- Standard library cannot use containers, other than lists, for the same reason.

- No standard traits for containers, like maps and sets, as those are defined outside the standard library. Result is that code is written against one concrete implementation.

- Newtype wrapping to avoid orphan instances. Having traits defined in packages other than the standard library makes it harder to write non-orphan instances.

- It's too difficult to make larger changes as we cannot atomically update all the packages at once. Thus such changes don't happen.

Empirically, languages that have large standard libraries (e.g. Java, Python, Go) seem to do better than their competitors.
In this situation, both the ZK and the PoK properties are essential; indeed I would say that for most useful applications of ZK proofs, the PoK property is necessary.
10 FUN THINGS YOU CAN DO EVERY WEEKEND
I would be curious to find out, How many companies have done it this way?
Good Eggs raises $15M to expand across the U.S
You're clearly very into Stack. If you're interested though, cabal-install 1.24 introduced nix-style local builds.
I think all 6 of those examples are good decisions on Google's part. Google has a heavy stake in making sure the web runs great. Chrome holds a large share of the browser market, but it doesn't control a controlling share.

I'm all for MS releasing a competing open source JS engine. Personally I have been burned so many times by MS in the past when they had "substantial influence" I have no interest in using it.
Uh. No, the Chrome extnsion had long been booted by the time this tweet came along. The meme is that Jewish folks and their allies would intentionally put "(((" and ")))" around their own names as a show of solidarity against this purported targeting. But the implicit meaning of those triple parentheses is, "this person is Jewish". Are you suggesting that the Wikileaks tweeter was just throwing that symbolism out there randomly?
oh ... i thought this would be practical advice
To me this is the defining problem of the media age.

It used to be that you lived next to your neighbor and you had to talk to them or at least acknowledge their humanity even if you disagreed. In the early days we all heralded the internet as ushering an a new era of enlightenment and democracy with freedom of information for everyone.

Of course the reality is that when there was only one nightly television news program, those creators felt some responsibility to report objectively, and no pressure to pander to some demographic. Now, anyone can get any view point they want at any time. There is no value in thoughtful, reasoned opinions because that doesn't resonate with a highly opinionated audience—it's better to be loved or hated than passively respected. You don't have to talk to your neighbor at all because you can literally stare at your phone every time you are outside. No one ever has to hear an opinion they don't like, and when they do they can find their own bespoke mob to initiate a witch hunt.

Technology has enabled us to have a civil war without needing to be divided by a physical border. The tribes can coalesce from arbitrary locations.