skysight-inc/HackerNews huggingface dataset:
It would be cool if early school was like a video game tutorial, to help children see their place in the world at large, as well as humanity's place in the cosmos:

Welcome to Earth.

You are a human, and this is [country/city], in the year 2XXX.

We share this planet with many species, but we are the only ones we know that can talk and invent and build.

The light in the sky is a star, and there are other planets around it, but this is the only one we know that has life.

There are many other stars out there that you can see at night, and all of them have planets of their own, and maybe someday you will visit them.

You are in school so you can learn how to do what you want.

...and so on, while showing a montage of places, creatures and inventions. :)

History classes should focus on the inconveniences and uglinesses our species has plodded through ("We did not always have cars or phones or toilets.."), not just a droning journal of events.

Maybe some of you would be interested in creating a YouTube series like this? Perhaps like a Kurzgesagt [0] For Kids?

[0] https://www.youtube.com/channel/UCsXVk37bltHxD1rDPwtNM8Q
This may be the most elaborate rationalization of selling out I’ve ever read.
Antisemitism? I think you mean Marxism? I'm not sure how one would construe a clear statement about sosio-economic theory to be an ethnic slur?

That was certainly not my intention.

[ed: or clear opinion. A statement might be more along the line of: the build up of anti-democratic and anti-labour power structures arise naturally in a saturated marked that see a higher and higher concentration of wealth, and growing inequality - the state increasingly becomes a tool for safeguarding the wealth of the few against sharing with the many]
Ah, right. I guess the setup with my landlord is ACH, with a hefty surcharge for using a CC, and no debit options.
Exactly. And that might limit the open/free tools to use. Though looking at the code, there isn't that many advances SV concepts being used. So converting to std 2001 Verilog accepted by many tools should be easy.

I haven't tested, but Icarus Verilog should be able to handle the code.
Yes, I was quite happy with reticulate, when I tried it.

I like the workflow of working on code in a script, with hotkeys to run code blocks in the REPL and jump to the next block.
If I am actively working on code, I'm unlikely to want to run the entire file, but that is the default in Python for VS Code, for example.
So in terms of quickly getting comfortable and focusing on the work, reticulate with RStudio worked well for me. I also like it more than Jupyter, unless you're making reports where mixing code with markdown and LaTeX is great -- although RStudio supports this too.

But I've also used a lot more R than Python, and am already comfortable with RStudio. For someone who hasn't used RStudio before, there's probably better options to jump into Python for data analysis.

I brought up RStudio Server in the first place because I find it to be convenient, and even use it at home in place of RStudio Desktop, so that I can resume the same session I left at home remotely on my laptop.

Code-Server looks like the equivalent of RStudio Server. While I still haven't tried code-server (still planning on it -- just haven't yet because I'm not used to downloading and running binaries I find online), it has those same benefits, and much broader language support. I am happy to see it.
My degree was in literature, and my dev experience was very basic. The company I was at before the bootcamp used git, but did not use classes, SOLID, unit tests, some sort of CI/CD pipeline or build tools. My resume was only getting very basic experience, so I decided to speed it up a little, especially since I was starting my dev career at 28 or 29.
I went to Stanford for Computer Science, and from my friends who went to Ohio State, equivalent courses sound significantly harder there to me - not much grade inflation, larger amounts of work. It’s anecdotal but I think the primary difference is the power of the network you interact with - which feeds a virtuous cycle of ambition and drive, given how empowering having that network is. Not the difficulty or rigor of coursework, except in marginal ways (for instance, d.school was nascent in popularity when I was at Stanford, so I suppose I got a sneak peek into design thinking before it got more popular elsewhere) but that’s not a dependable advantage of elite schools IMO and I probably would have run into the concepts in industry either way.
Really? I honestly can't remember the last time I didn't think every single utterance in Top Gear was scripted. I can't remember the last time they reviewed a car either. Are you not thinking of Top Gear of 20 years ago?
Also it is a bit confusing regarding what is actually relesased. The README claims that the RTL just contains the Huffman part. But there are quite a lot of code related to LZ77. And there are also som ARM AXI stuff, clocking, FIFOs. So there seems to be a subsystem design to be integrated.
Isn't working for me either however using a vpn lets me on
I did the same thing; I had more luck installing Telegram after that. WhatsApp works well (not really; the 'phone always has to be connected' thing is extremely annoying, but as in; everyone has it) still but we definitely need alternatives. I managed to not use Facebook for years now; I have an account but did not login for years. Unfortunately everyone has Messenger and a subset of them has WhatsApp (in my circles) and a very small subset has Telegram; Signal I really hear nothing about but the offering sounds compelling.

In parts of Asia Wechat is mandatory; I know it's not a popular (in the west) opinion, but I find Wechat the most user friendly out of them all; it always works (even on incredibly bad and dropping connections) and it just has everything under one roof. But for obvious reasons it is also the worst offering. Cannot be avoided in China though.
That makes no sense.

Even now you are saying above, that it's extremely hard to build and sell Model 3 for 35k. Even now you are listing many reasons why Tesla can't do it based on unit economics.

But when Tesla actually does it? What if they actually deliver? Then suddenly the 35k Model 3 is not important to you anymore.

Suddenly it's all-important to focus on "missed deadlines" of a few months.

It seems to me, critics only focus on the 35k Model 3, when it can be used as a talking point to attack Tesla. When Tesla actually delivers on the 35k Model 3, critics then focus on "missed deadlines". Critics never really cared about the 35k Model 3, they only care about attacking Tesla.

While we are on the subject, what proof do you have that a missed deadline is "intended to induce investors"? How do you know it's not just that technical difficulties?

While we are on the subject, which former SV darling are you talking about, that you are comparing Tesla to? I want to know why you think a company like Tesla, who delivered on successful projects many times and sold many cars, is somehow being compared to the company you mentioned.
I've taken > 10% y/y for the past 4 years. I had one year in there where I was being jerked around as a sort of Mr. Fix-It between multiple teams and doing much more than just proving my worth. That year I took about 25% in pay raises _and_ negotiated cash bonuses for myself and two other team members who were carrying that product. I've nearly doubled my salary with my current employer over the past 4 years.
I would say he's making the case that Lyft doesn't have a single component with ridiculous scale like Netflix CDN or Dropbox storage. That could just mean Lyft's costs are more evenly distributed.
Just for contrast, I buy the same coffee every week.
New Zealand Prime Minister says, 'Our gun laws will change'
> Who defines the terms "Nazis" and "terrorists"

On their platform, YouTube does.

I apologize if I'm accidentally misunderstanding what your expectations are regarding decisions in society, but if you're asking for society to eliminate judgement calls, this is an incredibly unrealistic ask and you will almost certainly forever be frustrated.

Everyday humans make judgement calls, and they seem to be reasonable far more often than they are unreasonable. If YouTube's userbase feels YouTube has become unreasonable, they move on to another platform. Whether you realize it or not, in a society based on private property, where we allow individuals to have control over things they own, what may seem like arbitrary judgement calls are necessarily made thousands of times per day. Everything from the local bartender who must decide when someone has too much to drink to the person choosing which stocks to buy, to the interviewer deciding who the best candidate is for a job. Judgement calls are constantly made. In a society which worships private property and places an incredibly high value on individual choice, Asking "who decides X, Y, and Z?" will always end with "The person who owns the thing or is placed in the trusted role for that decision." You interact with this trust over and over and over again throughout your day.

Now if you want to question whether or not a society should worship private property to the level with which we do, this is an entirely different question. But in our current iteration, where we trust individuals to make decisions without seeking permission from every member of society, the owners of something or the people they hire decide what is or is not do with their personal assets.

It likely isn't possible to run a society where no one is ever making judgement calls. Again, if I misunderstood the implications of your question, I apologize.
Crazy story: my son actually did what the author suggested, he talked his way into a free education at Princeton!!!

He audited all the classes he wanted to... no diploma, but what a great experience (and a great story....)

From the article:

Ponder this: If a student wants to study at Princeton, he doesn’t really need to apply or pay tuition. He can simply show up and start taking classes. As a professor, I assure you that we make near-zero effort to stop unofficial education; indeed, the rare, earnestly curious student touches our hearts. At the end of four years at Princeton, though, the guerrilla student would lack one precious thing: a diploma. The fact that almost no one tries this route — saving hundreds of thousands of dollars along the way — ....
I wonder why are they not using JSON?
I'm originally from NZ, but have been living in Australia for a long-time.

NZ is a small country so startups need to focus on the global market and being more or less in Asia timezone many choose that as the first foray rather than Europe or USA.

As far as lifestyle goes, NZ is a terrific country. As many have pointed out Auckland is expensive, becoming comparable to Sydney, AU when you take salaries into account. Therein lies the big consideration: do you choose to live in a high-cost city and enjoy greater job-opportunities, or do you move to a smaller city and accept that fewer jobs are available and that you might need to focus on doing remote work.
If you bought the asset before like 2010 they don't have cost basis info. Believe it or not people sell assets bought in like 1970 and report that on their tax forms. Full automation is a ways away...
Market Price Prediction for Ethereum for the Year 2019
The rules as described and as implemented don't match. Saying you're doing something, when that something makes no sense and is unreasonable isn't transparency.

Wikipedia's opening paragraph on transparency:

"Transparency, as used in science, engineering, business, the
humanities and in other social contexts, is operating in such a way that it is easy for others to see what actions are performed. Transparency implies openness, communication, and accountability.
"[1]

There is neither openness or accountability in my example.

Yes in a narrow sense it is transparent, in the wider (I would say, most important) sense, it isn't.

[1] https://en.m.wikipedia.org/wiki/Transparency_(behavior)
Well, generally, first there has to be some things that you assume to be true - we'll call them axioms (somethings gotta be true, I mean can you prove that the natural number 0 equals the natural number 0). Then you come up with some properties about your algorithm that you want to ensure hold based on those axioms (or stuff already known to be true that are based on those axioms). So, for example, you may want to ensure that your algorithm does not change the length (or more generally the structure) of the input when sorting - e.g. if your sorted list came out with more elements than it went in with that wouldn't be sorting.

Now you don't need to have a formal proof for this right away (or at all if you don't want to really). A tool like "Quick Check" (Haskell, Erlang, ...) can help you do a quick informal check by making up a bunch of random list structures and running a unit test on all of them automatically. If your quick check property holds you may want to later try a proof and perhaps even see if something like ATS verification system is expressive enough to encode your proof or prove it for you auto style.

The benefit of the verification system is that it happens as static analysis (things that can be determined from reading the code rather than running it) the quick check stuff you need to run the code. A proof is a more complete check.

Please read the ATS (Coq, Agda, etc) stuff to learn from the experts.
> Every country should be hostile to foreign accountability.

First step: Terminate the international 'policing efforts' of the self-appointed world-police.
amazing how much the music and door sfx add to the experience/nostalgia. makes me want to fire up DOSBox and play it through again. it looks like you can actually mouse-look in this version. i don't think that was possible in Wolf3D. also enabling the reflections definitely takes a lot away from the retro feel - too shiny!
Hack Facebook password with android phone [7 101% working ways]
Not a physicist but I was under the impression we already knew this. For example if someone is falling into a black hole, to an outside observer they never cross the event horizon, just fall asymptotically slower towards it. But to the person falling in, he gets ripped to shreds. But I guess we haven’t tested that out.
> It's not exactly "losing information". We are not trying to regenerate original data, just make sure that all source bits can fairly influence the result. It's more a question of bit contribution.

I agree. But entropy is a great concept that helps allow us to calculate whether or not "input bits" can affect "output bits".

Lets look at XXH3_scrambleAcc:

__m256i const k = _mm256_loadu_si256 (xkey+i);
__m256i const dk = _mm256_mul_epu32 (data,k);
__m256i const d2 = _mm256_shuffle_epi32 (data,0x31);
__m256i const k2 = _mm256_shuffle_epi32 (k,0x31);
__m256i const dk2 = _mm256_mul_epu32 (d2,k2);
xacc[i] = _mm256_xor_si256(dk, dk2);

Assume you start with 512-bits of input entropy (that is: assume that all 512-bits of state are uniformly random). Will you have 512-bits of uniformly random output after the above operations? Or to put it in your words: are you 100% sure that the above steps allow every input bit to affect every output bit?

It appears not. My counter-example (not that I've debugged your code... but based on my reading) is as follows: key[2] is 0x7c01812c, and key[3] is 0xf721ad1c. This means that key[2] AND key[3] are even numbers.

Which means dk.int64[1] bit0 will always be zero. And dk2.int64[1] bit0 will ALSO always be zero (on iteration 0, i=0)

I bet you, at least... if I did my math correctly... that xacc[0].int64[1].bit0 will ALWAYS be zero, no matter what state you start with (bit#64 of xacc[0] == 0)

This is because xacc[0].int64[1].bit0 = dk.int64[1].bit0 XOR dk2.int64[1].bit0

And both of those component parts seem to always be zero. Which means you're at LEAST wasting the 64th bit of state each time you perform XXH3_scrambleAcc. It certainly seems like a weakness of the XXH3_scrambleAcc function to me.

That's a lot of operations you do, to literally throw away half your bits. There's probably an optimization you can do here to get better mixing.
Facebook uses WhatsApp’s social graph. They may not monitor the content of your messages but they do monitor who you’re talking to.
With the proposed 1$/yr/user it is going to take around 19 years to become profitable (with 1bn paid users). Facebook obviously wants a return earlier.

The founder did take those billions, so not sure what he was expecting to happen, ads looks like the only business model to turn profit quickly in this sort of business.

Besides, there are so many people using WhatsApp in developing countries that wouldn't pay if they can get something similar for free and competition in chat apps is big.
Nicely done! I have been trying to implement actual usable (as in, they can be used as a scripting language for instance to build anything) languages in as few lines as I can (without making them unreadable). Ofcourse that's more as a challenge than anything serious, but it is fun. A minimal implementation I define as being something that can parse the language, interpret it and has FFI to add whatever else you may need. So far I got down to around 50 lines in C# [0].

0. https://gist.github.com/tluyben/16ee2645c4c8aed813005d51488d...
That is really cool. I also liked "The Clock", a 24hr film montage with every scene showing a clock with the correct time. I didn't see much of it but it was mesmerising to watch.

https://en.wikipedia.org/wiki/The_Clock_(2010_film)
I tried Signal but I was disappointed by its UX.

It is not horrible, but a bit below the other messaging apps I have been using.

Which is an issue : hard to push my non techies relatives to move to something that they will find harder to use.

I have one contact on Signal btw.
Simple Agreement for Future Equity

https://www.ycombinator.com/documents/
you probably meant it as
"because most administrative staff are female, male interests are underrepresented at the highest level"

I cant really argue with it because i've honestly no idea which male interests could possibly fall short in the context of a school, but anyway.

your phrasing of the initial statements comes across as sexism, because it sounds more like: "only males can represent all students interests"
you probably didn't mean it like that, but that what it sounds like, tbh
the impact of 300 trackers is less than the impact of your government tracking you.
Because the second group is still in superposition relative to the first. It's kind of exactly like the schrödinger's cat, where the cat is in the same position as the second group.
I don't get the premise of the question. You say "they really kicked ass last year", and then "they expected more and I did to." Which is it? Did the team do well or poorly?
But was still restricted to only "Betreiben von
internetbasierten Handelsplattformen für illegale Waren und
Dienstleistungen".
=> Operating
Internet-based trading platforms for illegal goods and services.
i.e. a illegal darknet platform, not a tor exit node itself, if it's not created to help for illegal purposes.
They mention the darknet and tor, but this doesn't made it the sole target of this law.

Otherwise they would outlaw bitcoin scramblers also, which is mostly used for illegal, not privacy purposes.

What is bonkers is now the recommendation of the lead legal council and some committee on internal affairs to broaden the wording to "facilitating access" which could be interpretated as anything, and thus will not pass any critical review by law. Those guys just need to be fired.
You're basically making an argument against all e-commerce.
> I had 50 employees, and I had to think about them and the money they would make from this sale.

You know if you just scale up the numbers above, Mark could justify what he's doing the same way Acton justifies his actions yet somehow Acton thinks there's a difference. You just have to laugh at that.

Sorry, but I think it just sounds unintelligent.
Yeah, a lot of people similarly bury their heads in the sand.
Usually I just wait for something to pop up on my feed on Facebook, probably based on some of the bands I follow. Here's Osaka's most common metal venue:

https://www.songkick.com/venues/269466-namba-rockets
I’d think that the person who abuses customer privacy would be much lower class than that. I’d much rather work with someone like the WhatsApp founders than a Zuckerberg.
It mentioned in the article that it wasn't solely his choice to sell. Turning down a $16 billion exit is not something you could easily justify to investors and he probably would have been sued if he had.
Maybe Facebook assured him that they wouldn't destroy its privacy. And maybe he believed them.

Or maybe he realized that the design was fscked. And so figured that he'd take the money, and do it right.

Edit: It seems that he had no choice, as imgabe notes.
It's essentially the schrödinger's cat - the first observer is the observer, while his friend is the cat. But the time won't stop going for the cat, it does experience its death and not, but it's vawefunction only collapses for the observer once the box is opened.
The UX problem could be solved if there was enough users to make it worth the trouble.

Personally, I only use Signal regularly, so I've convinced most of my friends to use it too. But only for talking to me I suspect.
Ah. Well that's it, right there.
The team expected a bigger raise
Rethinking Arms Control
> ads looks like the only business model to turn profit quickly in this sort of business.

Tencent makes relatively little from ads in Wechat. They earn most from games and payment fees.