skysight-inc/HackerNews huggingface dataset:
In case this is helpful for someone else:

I had RSI for years as well, ended up changing careers away from tech for many years because of it. For an unrelated issue I started taking probiotics and gradually noticed the RSI had improved. It took a while to realize it was the probiotics doing it because I had generally been avoiding doing things that triggered the RSI. After I noticed I could type regularly again though, I've had a couple of instances where the RSI flared up again when I had stopped taking the probiotics for a week or two - that's when I finally realized that was likely the change that made the difference.

Looking back I had had the onset of significant chronic digestive issues a month or two before the RSI started and I know believe that was not a coincidence.
They say that, and then turn around and show an example using IEEE-754 Doubles. You've got two infinities and two "not a number" values. What your type system thinks is a number isn't even necessarily a number. Maybe.

Better be sure to call the "isNaN()" and "isInfinite()" methods all over the place, because those are the worst edge cases of all and your language provides no help in detecting or avoiding them. It's like having 3 or 4 other None values, where they don't even use the same system as your standard Option type.

If I had a nickel for every time I saw "NaN" appear on a webpage or a web browser console log ... We throw up our hands and say, yeah, well, JS is terrible -- but no static functional language I know of is any better.
Because this says “single token completion” as the tabnine example gif I’m guessing it isn’t comparing to deep tabnine at all, which is on an entirely different level
HackerOne can force their customers to pay, that's the entire point of their "guaranteed bounty" program, that's it's a guaranteed bounty!

Even with a guaranteed bounty and a critical security vulnerability, HackerOne will punt the entire thing to one of their Portswigger groupies for collection and then won't disclose the details about the discovered flaw that supposedly they found prior to your submission.

Those guys are terrible, worthless product offering unless you are one of their clients getting free penetration testing and vulnerability analysis services.
That's not a bad idea, I had an example in an earlier comp design, but removed it for some reason...
Maybe it was just me but this felt a bit overly pedantic. Understanding the internals of wasm bindgen is important for understanding how rust handles strings in WASM, but I was expecting a higher level discussion of how strings are passed to WASM.
>> I don't want to take on another part time job of "practicing for an interview at Google"

> Problem is someone else will. And there's no easy fix.

Isn't that... eventually... Google's problem that their interview process is putting of substantial numbers of engineers?
You need "tests" to be able to refactor. They don't have to be unit tests.
They are getting access to the accounts of people who do not have 2FA enabled and whose credentials have been stolen. Every bounty program I've ever paid attention to would close that report. Risk-based anti-ATO systems are heuristic.
Google switched over to FB's interviewing process now?
On quick glance, it looks like a language with lots of battery included. Plus rpc, thrift, maybe?
At least Australia seems to be kW focused if Mighty car mods is anything to go by
It was John Glenn not Neil Armstrong
Amazon only seems to care about counterfeits for a certain protected class of seller. I sold DVDs about 7 years ago and bought them from legit sources and sold no counterfeits.

I had nearly 100% positive reviews and would bend over backwards to help any customer with any issues. What I believe now is a competitor purchased a DVD, filed a claim that it was a counterfeit, and even told me that they were going to 'punish' me in their comments.

Before I had a chance to even resolve the issue, my account was permanently banned. All of my messages to Amazon support went to an automated department and I was rejected outright.

To this day, I can't even open an Amazon seller account in another industry or login to a companies seller account without the account getting banned.

I now have a business that does millions of dollars in revenue/year (different industry completely) and Amazon reps have been hounding me for months to open up a Business account. I always tell them I will do it if they can resolve my seller account issue and the response is always the same: "That's not my department" and they stop emailing me.

It's scary that there is really no recourse if a company like Amazon bans you for life. As we get more reliant on companies like this, there will be a class of people that eventually won't even be able to buy anything.
A Google doc certainly beats coding on a whiteboard or a stack of printer paper.
Node.js to provide AsyncLocal-like API
I use Talon with Dragon and an Audio Technica PRO8HE.
I mostly whisper to the system, and people in my office say they don't hear me at all. Also whispering allows me to not get my throat get tired.
Did anyone have a go at “October Sky” for pushing an “agenda”?
In other words, go has somehow managed to shoehorn themselves into a language so rigid that adding pretty basic correctness features comes with serious downsides.

This is not a selling point for the language.
My wife is doing the GT MS in data science (career change after after 20 years in microelectronics process engineering). Yeah, for under $10k it is definitely a good deal.

I do think there will be a glut in this field as everyone rushes into it, but I suppose it’s better than microelectronics, which is dead in this country (all back-end processing was outsourced to China).
There’s more nuance to this - poorly written unit tests (eg excessive mocking and things like testing private methods) actually make it harder to refactor code, and using strongly typed languages vastly reduces the importance of unit testing for refractors (to the point where the IDE can even do things like method extraction for you)
Such things exists under the name "Computer Algebra Systems". Notable commercial offerings include Mathematica and Maple, but there is also free software such as Sage and Sympy.
Except that those same people do a terrible job of actually "valuing" these things. In the absence of things like community engagement/outreach, "society" is not going to care all that much about those topics. Building a "thriving ecosystem" around whatever scholarship/research you're doing can come later, community outreach should be a forefront priority.
This sort of thing is called a Computer Algebra System (CAS) and there are good free ones.

https://www.sagemath.org/

http://maxima.sourceforge.net/

https://www.sympy.org/en/index.html
That’s interesting. Elsewhere (Eastern Europe during communism) ambassadors were often political opponents of the government - a form of isolation and payoff in a cushier government supported role abroad. Their job is to parrot the government’s policy instead of spreading their own.
I have supplied a very specific example demonstrating this.

"Not a zero sum game" means "both parties profit". That profit may not be money, therefore does not imply anything about billionaires.
Your comments apply to statistics and machine learning as a whole, not just Bayes statistics. At the end of the day all you have is your prior knowledge and what you learn from the data. If both of those are suspect, it does not matter what method you use. I just don't see how this can be considered a problem specific to Bayesian statistics.
{a+b}/{c+d/3}

Still looks much better
I’d be a lot more interested if they’d fund it via property tax instead of VAT. Since California has such severe restrictions on housing construction

If you increase property taxes, doesn't that make housing developers less likely to build high-value, high-density housing? And don't the property tax increases on existing housing just get passed on to the renters?

I've never rented in California, but I've rented in 13 other states, and in the handful of cities where I've lived during a property tax increase, the rent went up quite a bit (especially Chicago). One place even itemized it on the rent statement.
How hard have you looked? You'd be hard pressed to find a computer alebgra system (CAS) that doesn't support algebraic reduction. It's been available for decades at this point. Popular systems offering this can do this include Mathematica, Maple and Sage. Even MATLAB had extensions for symbolic manipulation now.
Do any of you all have some tips for understanding mathematical notation? I feel this is often poorly explained, and it feels like a language all its own that just does not speak to me. I did pretty well in calculus, but I still don't really understand what the dx was supposed to represent and in reality I was just really good at pattern matching when it wasn't supposed to be there anymore.

I try to read papers now and again with a math orientation, and I quickly get lost when trying to translate the concepts into cryptic formulas, and often when they make the "obvious" transition from step 3 to step 4 I just have no idea how they got there.

I feel this is by far my biggest barrier to understanding most mathematics, and I have thus far found no way to overcome it.
> If your whole test is "This gets called, then that, then that", you aren't actually writing a test. You're repeating what the code already says.

Yeah, mocks are just a way to zero out the dependencies so you can focus on the unit you're actually trying to unit test. If all you're doing is zeroing out dependencies, you're not testing much. Every mock you bring in carries and assumption, and those assumptions need to be tested, too.

Cases like that really call for some small scale integration unit tests, where you actually bring in your dependencies and test them all working together.
I think if someone could find a way to make an iOS compatible operating system (e.g. Current iOS applications could be built & run on the system with little modification), then it would be a huge hit. Not sure of the legal implications, for de facto reverse engineering, but it would at least put out another option.
University of Illinois also runs an online MCS program, similar to the Georgia Tech one. The curriculum is very comparable to the on-campus degree, and is supposed to take 2 years or less, I believe
Thank you for the link to the Darkness poem, it's the first time I read it. And reading it now, it appears to be a direct inspiration for Asimov's Nightfall: https://en.wikipedia.org/wiki/Nightfall_(Asimov_novelette_an...
Is it possible to hook into the chrome app in android and do timers and also freeze the page?
The transaction itself, however, is not zero sum.
You can take them to arbitration. I've heard anecdotally of people who got reinstated that way. Multiple stories of people I know personally.

That said, my own account was permanently blocked after false counterfeit complaints and I'm currently entangled in a lawsuit against the companies that filed those complaints. Legal process is rough. Takes time and costs money and is emotionally draining even if you have a strong case.
The exact message I got back was "Attempted to use magic software solution", so I believe they intended for me to say "some kind of relational" or "some kind of non-relational" database and maybe some key criterion about what kind of access pattern instead of me internalising the problem and pulling out a ready-made solution.
Show HN: Code Walkthrough Guide for Moment.js
A type checker still accepts a correct but enormous interface without complaint. It’s only when you want to test it in isolation you realize that the function needs a dog+kitchen+universe you have trouble providing. So you refactor it to have a smaller interface and that lets you write the test. The act of writing the test now made you write less coupled software and it will remain and prevent anyone from adding the coupling in the future.

For me this is the best side of unittests: their validation of “correctness” is just one aspect, but their job as a guarantee of decoupling and a living documentation is at least as important. Even a test that is only written and compiled but never run provides great value for architecture and documentation.
Up until the last 40 years of human history almost everything was calculated and drawn by hand. Every building, machine, road, bridge, airplane, ship, and everything else was designed by hand with pen and paper. Given the times doing what they did would not be unexpected, i.e. doing a good job by hand. This doesn't take away from the work and accomplishment. But I see it more as a job well done then something truly out of the ordinary for the times.
A type checker is very helpful, but type checkers catch a few different type of error from unit tests. I would not want to refactor a large program without both.

Unit tests ensure that everything you thought about still works. Types ensure that ALL types are compatible.

What types do well is the everything case, you cannot forget something with types. However they only cover compatibility not correctness. You can have a type correct program that is wrong.

There are formal methods can can get to correctness. If you have the right constraints. The only problem is you can have the wrong constraints. Within that limit though it shows the program works correctly in all cases.

Unit tests prove only the cases you thought about work. While this is far below the infinite number of cases the above prove, they are still very useful because it is generally very easy to reason about the one case you do choose. If you choose the cases well, the majority of possible cases are "close enough". Thus a few well chosen unit tests can give you assurance that your code works correctly in the important cases.
How did you go about learning it?
This is good advice, especially for folks who entered the workforce during the Great Recession.

You have to take risks and be uncomfortable to grow. But you also have to accept that your choices have opportunity costs and it takes time to make them come to fruition.
This bit is about weather and crops more than it is about science. It is not a surprising knowledge, given that the US were essentially an agrarian society back then.
They do https://signal.org/android/apk/
Good - let's have a real world test and see whether there is something behind UBI as a concept.

Finland did a real world UBI test. Unless you don't consider Finland part of the "real world."
I did not downvote you but ask yourself: do you want to hire a primadona candidate that thinks she/he is above the company?

Of course you'd want to hire people who want work for your company. That's call a matching-process.

Would you marry someone who's not into you?
How often does it happen at Google that candidates get offered a job right on the spot during interviews? It happened to me at Microsoft but I've never heard about anything similar at Google/FB/Apple.
> Now we want them to be able to communicate in all manner with no accountability?

I think you misunderstood my point, which was that they can always do that. You can't stop them from using Signal, if they want to do something nefarious. Hell, they can just meet in a dark alley if they want. Sure, you can make it against the rules, but we are already presupposing rule-breaking (or else we would not need oversight).

So, if there's going to be some kind of disclosure system, let's make it structured and explicit. Just requesting that they use unencrypted communications, and then having some sort of unaccountable gray-hat institution (i.e. intelligence services) snoop on those communications, is a bad system.
There is only one Mona Lisa. A voluntary transaction where one party buys it from another is not zero sum, both parties gain.
Have a colleague who completed this last year, seemed to be a fantastic value. He had to drop to 4 days a week for a few of the more intense semesters, but seemed honestly proud of completing and brought back a ton of knowledge to the team.
> to profitable companies that target tiny specific niches

I agree with this, and will take it a step further: it'll mostly be B2B and niche business and service applications.
Here are just a few:

1) All day interviews. Seriously, I've had an 8 hour interview. They served me breakfast, lunch and dinner. This was after several other rounds of interviews.

2) Expecting me to perform "free work". I have had several companies insist that I create and submit "sample" projects. This is NOT simple stuff like FizzBuzz. The projects realistically take 20+ hours and are solving non-trivial problems. This is before you even talk to anyone.

3) It can take weeks or months to go through the process and finally get an answer: one way or the other.

4) Companies straight up lie about everything, from working conditions to performance expectations.
It's legal, but binary blobs are not compatible with privacy first approach. And it's a lot of work to reverse engineer and build such compatibility.
Housing is an essential. You can’t just go homeless without significant consequences. That’s not “voluntary”. Just moving somewhere else is not always viable.

To prove an extreme case, if I point a gun at you and say “$1k or I shoot”, you’re likely to pay. You gained not dying, but are you richer? Or did I merely use my power to impose an urgent need on you that you needed to pay for?
This site,

https://www.abet.org/accreditation/find-programs/

lets you search for distance learning programs for ABET-accredited degree programs. (ABET stands for Accreditation Board for Engineering and Technology. They've been leaders in the field of engineering education, accreditation, and professional development for a long time.)

I've taught online computing classes at Regis University, which is ABET-accredited, and offers BS degrees in Computer Information Systems, Computer Networking, Computer Science, and Information Technology; but any of the programs listed have passed their accreditation process.
Ictg.github.io
(remove message)

Sorry, on further thought while I still disagree with the analysis above as being overly dismissive, I think the OP may share some blame for not writing higher quality reports with POCs. Also, the OP doesn't explain whether or not they saw the original reports for those marked Duplicate. That's a very critical point. See here -

https://docs.hackerone.com/programs/duplicate-reports.html

For anyone actually interested here and not just drive by commenting (like me, ahem), it's worthwhile looking into the platform in more detail. See my post below -

https://news.ycombinator.com/item?id=22406372
Simple CI pipeline for monorepo using GitHub Actions and Docker
Well I would argue that is because many of the developers writing those weren't really JavaScript developers. It is quite easy to keep things tidy if you just keep to some basic JavaScript patterns which aren't very different than some of the patterns promoted on the server side.

The problem is that JavaScript just isn't that well understood and this is partially because superficially it looks very similar to C# and Java.
I can't believe this isn't some sort of Onion article.
I worked through this book to learn how to do proofs. It turned out way more fun than I expected. The book really did demystify proofs for me. It took several months of studying - there are many exercises. But completely worth it. I'm glad I have read this book before studying Group theory and Real analysis.
That is a very different behavior though. If my multiply function returns ADDs the input and returns an int it passes the type checker but is still wrong.
And beta 2 should be coming soon. There's only one blocking issue left on the bug tracker [1].

[1] https://dev.haiku-os.org/query?status=assigned&status=in-pro...
Yes, I was not talking about the UBI part, but the voluntary transaction part.
The University of Texas at Austin has begun offering an online Masters in Computer Science (https://www.cs.utexas.edu/graduate-program/masters-program/o...). I've noticed a few other universities offering online programs through edX in areas other than computer science like Purdue's Electrical or Computer Engineering (https://engineering.purdue.edu/ECE/Academics/Online)
Exciting times to live in with multiple privacy focused smartphones in development: we have /e/, purisms librem, and The pinephone. If just one of them succeeds enough to get to gen 3 or 4, the whole industry will be dramatically better
1. 2 out of 3 of those games are from Lucas Arts not Sierra

2. Many of the deaths had animations and a bit of text, but see all the non-death things you could do that KQ1 had[1] and it did not have anywhere near the most.

1: https://www.youtube.com/watch?v=-TB_IYQ-GJ0
"I'll leave my original post as-is as a monument to my failure."

I don't think anyone cares and there is no reason to make them read the wrong title.
When Distribution Trumps Product
Have a look at duckdb, it's is another interesting tool that's columnar and embedded.

It would be amazing if the world of open-source column stores matured a little bit relative to where we are today...
It would certainly be an expensive play. When he mentioned a 20 core system, I'm assuming it is some VM system, since I don't know of any 20 core CPUs. I'm guessing he is using DigitalOcean and he has two of them, so he is looking at $1000 a month in hosting cost.
Is choose the privacy/security focused phone if they were as good as a mid range android. They're not even close to that but hopefully they'll catch up soon. Can't see Librem or Purism being the ones to do it though tbh
I think the presumption that's differing here is query workload.

An OLAP database is, in the default case, an always-online instance or cluster, costing fixed monthly OpEx.

Whereas, if your goal in having that database is to do one query once a month based on a huge amount of data, then it will certainly be cheaper to have an analytical pipeline that is "offline" except when that query is running, with only the OLTP stage (something ingesting into S3; maybe even customers writing directly to your S3 bucket at their own Requester-Pays expense) online.
Definitely -- gave me a much healthier perspective on this "tier" of tech job.
Exceptions are the worst because there's a hidden nested world of control flow you can't barely begin to reason about. Exceptions are a "comes-from" statement, like a "goto" but much worse.
https://photos.google.com/apps - they have a utility for Mac and Windows called Backup and Sync.
Alameda County sales tax is currently 9.75%. So 19.75% with VAT.
Funny timing on switching to Mac, as Talon now has a triple platform beta. If you’re looking to get an accurate (pun intended) read on things, make sure to try the beta wav2letter engine or try Talon with Dragon. Apple’s MacOS speech engine was never as accurate or comfortable to use, and as of Catalina it might be more accurate but it’s broken for Talon’s use case anyway :(
Can't edit my comment on mobile, so I'm adding relevant info here:

https://www.extension.harvard.edu/

It's not exactly cheap (tuition can cost ~50k$ for a bachelor's). Quality of tuition also varies, there's some fantastic courses and some less stellar ones. Still, I recommend taking a look if you are interested in completing your bachelor's/master's degree mostly online.

For a CS oriented degree, I'd definitely recommend the following courses:

CS50 https://cs50.harvard.edu

CS61 https://cs61.seas.harvard.edu

CS20 https://lewis.seas.harvard.edu/pages/csci-e-20

CS40 https://www.extension.harvard.edu/course-catalog/courses/com...

CS121 https://cs121.boazbarak.org/

CS124 http://sites.fas.harvard.edu/~libcs124/cs124/index.html