jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
Just finished MSc in CS in February 2015.

Location: Rheinland-Palatinate, Germany.

Remote: Yes.

Willing to relocate: Yes.

Technologies:

+ Linux Fan, MacOSX, Win*

+ JavaEE, VB.NET, C#, Java-Android, PHP, Django-Python (just started)

+ Oracle SQL, SQL-Analytics, MySQL, MS-SQL

+ WordPress, OTRS, SpagoBI, Pentaho

+ BPMN2

Résumé/CV:

I had BSc and MSc in CS, during college time mostly working as a student-employee in various IT companies, from L1 support, software development to evaluating diverse Technologies. These were in my college time: github.com/pushreply.

Email: pushreply at live.de

Apply for:

full time job, German Job Visa ready, software/web development and customization, android or data visualization.
Isn't the 440 figure disingenuous? Surely you must count UDP/TCP header size, which would bring the value closer to 21/461 ~= 22.

Still an interesting discovery. DDoS amplification is a security risk few people consider when developing applications.
Our immune system is adaptive. I find it unbelievable that scientists can draw an un-flawed conclusion considering that our immune system learns over time with the number of exposures.
In the case of political dissidents in repressive regimes, compromising Tor can also kill.
It really is simple to use ssh to tunnel a port; that is always how I access SQL Server remotely. Laziness indeed.
This would make for a good viral meme, how could something like that be pulled off in the real world I wonder?
> thiel on a daily basis most assuredly looks at musk with full-on green-faced envy

How do you know?
>(Well, relative obscurity. I see they are still used in media devices and cheap routers.)

It's actually gone; MIPS owners have abandoned MIPS to focus on RISC-V.
“Better things aren’t possible.”
If they are being bought out, seems like a sloppy way to handle the communication. At a minimum it's confusing to existing users, which I assume Salesforce would like to keep.
We do support a vibration alarm on the phone and if you only want to use the analytics you can just set an alarm for the middle of the day as a fix until we release the analytics only fix.
"Canonical isn't about making changes, they're about driving adoption."

Is that not what I just said?

"and they work hard with upstream devs to get usability problems addressed."

What, like this? http://airlied.livejournal.com/72817.html
The review unit that engadget was given was a beta unit. We made the reviewer aware of this and unfortunately he didn't cut us any slack.

As he mentioned we fixed the bugs that we was experiencing. Also we should not that he was using an Android unit, which was the most buggy of all the platforms. The UX on the iPhone and Blackberry for review units, was much more stable.
Can you really afford to have your political enemies getting a hold of power and start to abuse the privileges you have created (in good faith)?

"No regulations, no censorship!" is a hard and fast rule that can be followed easily.

The correct political solution is for the FCC to open up larger swaths of spectrum for unlicensed use (call it WiFi on steroids). That way, if a particular ISP decides to screw their customers, there would always be a baseline wireless mesh internet that people could use.
...from operational, to Salesforce!
Yes. Make sure it has a definite end, so the end is in sight. The key is you'll gain a lot of information by doing this: from the work, from the obstacles, from things you notice along the way - and especially, a sense of how you feel about it, and what you think is important.

In short, to inform and develop a sense of direction.
http://www.gamasutra.com/blogs/RockstarSpouse/20100107/86315...
'black' comes from an old word for 'burned', but it would be silly to say that it still means the same thing. You wouldn't say that fashionistas like to wear burned clothing, for example.
> I think this is based on the assumption that people like others that are like themselves, which in fact is not very true. I prefer to be around people that are very different from me.

Unfortunately, it is uncontroversial that most people show preferences for people similar to themselves when choosing friends, romantic partners, and employees. Nobody, that I've heard, is saying that this applies to every single person, so there's no reason to say that it can't be true because you don't follow it.

http://www.sciencedaily.com/releases/2011/09/110922093313.ht... for a random paper
No, but it does mean that you don't know about deferred script execution and possibly do not have a lot of experience in optimising page performance.

Perhaps, but as with any question like this, it's a foolish interviewer who draws such a broad conclusion from such a narrow data point. For example, as it happens I do know what <script defer> does, but that includes the fact that it can't be used reliably before IE10, which is why I've never actually used it on any production site. Not having encountered that particular functionality would therefore have made absolutely no difference to any project I have ever worked on, nor had any relevance to any senior people I was hiring to work on them with me.
No, but I never knew anyone who had their bike stolen using a Kryptonite New Yorker lock.
Daily Caller is a right-wing activist site, so be careful about anything they claim, particularly when it's an unsourced forward.

The big thing to remember is that Common Core doesn't actually dictate the implementation details people commonly complain about. It's possible that a particular state, district or school does something weird but that's like using some horrible enterprise Java monstrosity as an argument that object orientation is a bad concept.
Yes, liars will accuse their opponents of doing what they are doing.

We can observe reality to determine who is telling the truth, rather than blindly repeating lies alongside truths.

The right in the US have created an alternative reality to live in, but it clashes with actual reality if you spend even a little time comparing what they say to what has actually happened in the world.
So while the Capitol is very symbolic, there wasn’t looting, rioting or major vandalism on the part of the protesters (compare to the “Autonomous Zone” and police precinct burning in Seattle.

Does that mean in the future demonstrations and protests that could potentially end up in violence like that be suppressed by Facebook and Twitter? Or can we expect partisanship and see them bless other protests that turn to violence?

Note: I do not condone occupying public buildings like this. That’s unacceptable. But I think that should be applied evenly to all protests and wherever property is destroyed.
I don't like the thought of trillion-dollar advertising companies being the custodians of the platforms where (sadly) a majority of speech in the world happens. That being said, if direct calls to violence and to insurrection against a democracy aren't grounds to take away your megaphone, then what is? If you're a free speech maximalist you'll be opposed to any sort of "censorship" (then again, people with those views also tend to believe that "private companies" hold absolute authority over what goes on in their "property"). But if you believe inciting violence and other kinds of things should be punished by law, then you can hardly disagree with this.
> The problem is that packages are constantly being updated, and sometimes those updates are not backwards compatible.

Uh oh, someone just discovered the modern programming landscape!

Python, Node, R, Rust, and other langs/OSes with package managers are at the mercy of volunteers who keep important packages healthy. Once issues stop being fixed, y'all better have local copies. This used to be predominantly an OS issue, now it is a language issue, too.
They did start shutting down Q
I don't care. That's a fair argument for a slave-wage worker making a moral decision that walks the line between them having a job or not having a job. That's not a fair argument for a company like twitter who is trying to improve their 3+ billion dollar revenue.

If you're a multi-millionare choosing dollars over ethics, you are in the wrong. Plain, clear, and simple. And I hope every tech-leader who has profited from this dumpster fire is labeled in history as such.
Are you kidding me? Kraken is down/laggy even more than coinbase (still think its the best choice for converting fiat to and from btc in europe, but come on :))
Building and maintaining a super fast searching index on a phone is not an easy task or even doable.

Telegram is used a lot in developing countries which are using phones made 3-7 years ago. Or phones that are made recently but with old chips and tech. Maintaining a search index across literally millions or billions (some groups are really really big) messages isn't something your phone can reasonably do.

I do wish telegram was e2ee for IMs, but for groups and super groups and channels I don't particularly care.
Saying something is interesting is not adding any value. It’s obvious that all this is very interesting, indeed.
I disagree. His utter inability in video, and the necessary still-photographer kludge that results, are glaring and obnoxious. And, in this awful, disjointed slide show, he manages to make the same mistake YouTube makers make, time wasted on trivial, semi-irrelevant “making,” here, the woodworking part.
It seems this has been around for a few months now - can anyone attest to getting work through this list? Considering there's hundreds of entries in the list, it seems overpopulated in the sense that no one really gets any exposure except maybe the few people on the top.
I can see your point, though I think in some (many?) cases "this is not news" stands for "we have discussed this before, and therefore don't be surprised if many people don't weigh in, as the horse has been thrashed already"
There are entire categories of applications in the app store that are plagued by crashes. Check out the Netflix applications; I just went to the app store to buy one, and they all have 2.5-3 stars. Check the reviews and you see a ton of one star reviews saying "Crashes constantly," "Crashes," "Useless," "Crashes every time you do X." These are popular commercial apps in what I presume is a pretty popular category of apps. It wasn't the first time I searched for an iPhone app and found a bunch of $2 and $3 paid apps with tons of stability complaints. Actually I felt quite lucky to find one lone Netflix app with a 4-star rating. No point in comparing features or reviews; I'll take the one that doesn't crash constantly.
Family responsibilities will keep me from making a weekend meetup, but anyone interested in hn would likely enjoy http://promenade.thursdaylunch.com/ in Santa Monica. That happens every week, and I'm usually there.
A/B testing email subjects is not the point, it's a tactic. Email subjects aren't the point either.
I'm surprised at the meanness of some of the comments (is it contagious from TC or something?) and I'd bet five bucks that some of the very people who slammed Scribd for not doing this are now slamming them for doing it. Therefore I want to say again that this is the most impressive technical pivot I've seen a startup do in a long time. What they're accomplishing here is a lot more difficult than it appears, and it's only going to get better over time -- probably much better. This is a real contribution to making the web more usable for all of us.
James Simons (http://en.wikipedia.org/wiki/James_Simons) was a mathematician who founded Renaissance Technologies a HFT (High-freq. trading) hedge fund. A lot more of a tech company than a finance company I would say.
I remember when I used to wonder what my life would be like if the internet hadn't been invented yet. But I'm so past that now - these days I wonder how everyone's lives would be like without such heavy internet usage.
Courtesy nostrademons, http://www.reddit.com/r/haskell/comments/cguuj/a_haskell_web...

Hint: view-source:http://localhost:8000/
Custom grouping is too hard for the masses, so any social network that relies on that will continue to be the one nobody has heard about.

The WLN controls are actually a pretty good compromise in that they make it pretty easy and relatively clear to create the one differentiation that most people really want: real friends versus acquaintances.

I wish we lived in a world where people actually read the popup dialogs that popped up in front of them before clicking on "OK"...multiple times (a real experience that I witnessed that altered my perception of the masses completely). Unfortunately, we don't, and as the ones building the software, we have to deal with that (and often suffer when it comes to things like FaceBook that has has mass-adoption overlap).
Talking about the colors, when I draw text, then click on the wheel to change the color, it doesn't work. I need to change the font(?) then, it refreshes itself.

Amazing app, I like that.
Sometimes it really can be hard to cope with all the norms, rules, responsibilities and bureaucracy involved in modern city life and we are definitely not cut out for this. But on the other hand humans are very adaptive beings and just a quick look in the history books will tell you that we're pretty much living in the best, richest, democratic & peaceful times ever happened on this planet (at least if you live anywhere in the US or EU). You know stuff could be so much worse, so just always be optimistic and appreciate you weren't born during the dark ages. Sometimes I even think in 200 years or so people will look back at the early 21st century and call it the 'golden age' of prosperity.
I was trying hard not to make a strong assertion, so I'm not sure what you are disagreeing with entirely...

TL;DR - it's a matter of context

But here's an anecdote where two complex pieces of code interacted...

A few years ago I was working on a fairly big project (~50 developers) and was responsible for much of the architecture, and on an implementation level, implementing some of the lines that connected boxes in said architecture. One of those was a line that crossed what can loosely be thought of as a system/application boundary, this involved both implementing the application hosting layer and writing the marshalling code that moved data in either direction, there was a bunch of complexity because of not quite convergent type systems, some threading issues etc...

So all this is done, not too many tests have been written, but hey, it works, if it didn't nothing in the system would work... a year or so into the project, the most senior technical person on the team has a flaky test that once in a while just completely fails to make progress, he investigates, and comes to the conclusion that once in a blue moon, the transport layer (my code) is dropping a message.

Needless to say I'm totally flummoxed, there is no code path that can drop messages without also creating a huge stink in logs etc. I spend two months investigating this, eventually I have a consistent repo, a fairly big hole in the other guys state machine that causes it to just stop making forward progress.

So despite the fact that a test exposed the bug, neither piece of complex code really had proper tests, but I would assert that the "line" didn't need the same level of tests, it was being exercised constantly by dozens of "boxes", but the unicorn "box" with the logic error could sure as hell have used some unit tests to validate its state transitions.
Onai | | San Jose or New York | FULL TIME, CONTRACTORS, GRADUATE INTERNS, POSTDOCTORAL FELLOWS, VISA

We're tackling exciting difficult challenges and building offerings relevant to interesting real-world problems in a variety of fields. We have particular strengths in dispersed computation, functional programming, protocol design, and deep learning.

We're currently most interested in engineers with solid experience in Rust, Haskell/Idris, or cryptography. We also have openings for enthusiastic developers or researchers who might lack this precise experience but are eager and able to learn. We welcome internship/fellowship interest from postdoctoral scholars or senior graduate students.

We're additionally interested in chatting with people with a scientific or engineering background who are interested in scientific and technical writing.

We do not presently have openings for current/recent undergraduates.

Send your resume to info@onai.com and we'll let you know if there's a potential fit.
the high complexity is exactly why I and many other players did not play. compared to hearthstone and mtg the game mechanics felt forced and over complicated, not fun at all. I REALLY wanted to like it too.
Location: Bangalore, Remote
Remote: Yes (preferred)
Willing to relocate: Prefer not to
Technologies: Django, React, Machine Learning
Résumé/CV: https://drive.google.com/open?id=1mzQHjxMlAi_LOrQwccnQUskjzjr1RU6I
Email: anoopemacs AT google mail
1080p at 14" really isn't bad though. The state of high-DPI in Ubuntu (on which Pop_OS is based) is _okay_ but you're not really missing out on much with the bigger pixels.

I really appreciate with System76 is doing and if I were in the market for a laptop I'd consider this. Their desktops are very cool too as they custom-build the cases themselves. They do seem to be in kind of a "no man's land" market-wise, where a lot of people who would want Linux are technically savvy enough to build their own computer or install it on an existing laptop. But I hope they keep it up and hit their stride!
WHO is mostly based in the us. Why should anyone be surprised?
Private | Los Angeles, CA REMOTE OR LOCAL | Ecommerce Full Stack

We're a cannabis manufacturing and distribution firm that's been in business since 2013. Company is privately held with myself as the sole shareholder. We manufacture and distribute cannabis goods to retailers. We have an enormous opportunity right now to open a direct-to-consumer delivery service. We have all the licensing in place and have experience manufacturing every category of cannabis product (gummies, chocolates, vapes, tablets, tinctures, extracts, flower, pre-rolls, etc.). Because of our expertise in manufacturing and our in-house design team we have a unique ability to bring products to market.

I'm looking for a technical cofounder to build the ecommerce and dispatch layer of our delivery service.

About me: Successful entrepreneur. Previously completed medical school and a masters in clinical research. Several published papers. Spent the last 8 years running businesses and have grown companies to mid 8-digit revenues.

If interested please reply here and I'll share who we are and would be glad to setup a zoom call this week.
Dude, that is, well, how its done!

> Everyone explained what they do, stories, what they provide etc. etc. But this is gold! :)
Take a look at the Economics & Finance videos on Khan Academy [1]. I have only watched some of them, but those I watched were good.

You could read some standard macroeconomics textbooks, but I'd advise against doing that, since they are expensive and unnecessarily formalized using elementary math, which doesn't really add anything to the material itself. There's however a good book on monetary economics by Mishkin called Economics of Money, Banking and Financial Markets, which is really good, but the Khan Academy videos on banking mostly cover the same material.

Personally I've learned a lot from reading economic history. Some books I can recommend are:
Eichengreen - Globalizing Capital: A History of the International Monetary System

Frieden - Global Capitalism: Its Fall and Rise in the Twentieth Century

Soros - Alchemy of Finance (skip the first couple of chapters on his reflexivity theory, but the 'diary' chapters are a gold mine)

Ferguson - The Ascent of Money (probably a good book to start, the others might be harder to completely grasp for a beginner)

Some other good book I can recommend (not history books) are:
The Secrets of Economic Indicators: Hidden Clues to Future Economic Trends and Investment Opportunities by Baumohl

Inside the House of Money by Drobny (mostly about global macro trading, but you would learn a lot about economics along the way, would only recommend this after having built up some basic knowledge though)

Most importantly you should start reading the Economist, which has really high quality economics and finance articles, but is released only weekly and offers a good trade off with regards to time commitment and knowledge about what's going on in the world. Note that you will probably need to know some basics in order to understand everything, but you can look up things along the way. Economics really isn't hard to learn if you have a technical background.

[1] https://www.youtube.com/user/khanacademy/playlists?view=50&s...
I was beyond excited to see they finally got rid of that infernal 9-key, but 1920x1080 resolution in 2020 is a deal breaker. Not even an option to upgrade to QHD or better.

So close to getting my money System76, so close!
Love the logo on the back of the screen. No stupid slogans, just the cog, looks great! It makes no rational sense, but I'd want to own one just for that.

Hope there's gonna be a touchscreen version! After all, a UI that you can't touch is like coffee that you can't smell.
I expect he's human, rather than Homo Economicus.

Many humans, when treated with contempt and addressed as if he's a gullible moron by someone who patronisingly tries to lead him into a decision explicitly to that patronising jerk's advantage, often dislikes it to the point of generating what we might call the "fuck you, I won't do what you tell me" response. People who play poker yet somehow aren't familiar with humans will struggle playing against them.
Follow this page and you will not regret it
> Now, they buy media companies and tech companies that are designed to incentivize viewers

Now they still hire Pinkerton to know what the employees are up to ¯\_(ツ)_/¯ [1]

[1] https://www.npr.org/2020/11/30/940196997/amazon-reportedly-h...
It's my belief that the large part of computer-generated proving, and the overwhelming majority of formal verification of programs, revolves around proofs that humans would easily understand.

While there are examples of mechanised proofs that reach the "limits" of human proof, they do so in domains where computers are good and humans are less good, like exhaustiveness checks for e.g. the four-colour theorem.

It should be pointed out that automatic provers are surprisingly stupid. Exhaustive searches do not scale well for large and complicated proofs, and computers obviously lack the "intuition" that mathematicians lean on to prove. Lots of the work that goes into computer-assisted proofs is just bookwork for properties that humans would consider trivial.

Even the OP's article is not concerned with computers generating proofs automatically (though lots of work has gone into that, especially w.r.t. code), but instead with computers repairing human-written proofs to persist them across small changes.

The thing that most certainly argues that the proofs involved in the formal verification of software are within human reach is simply that humans make such ad-hoc proofs all the time - because they are very similar to the non-formal specifications that humans use to write code in the first place. Any programmer who can argue why their code runs correctly is most of the way towards a proof of its correctness - the real obstacle is not the complexity of the resulting proof, but the tediousness of its expression.
There was a pretty big smear campaign against Arthur Scargill too. https://www.workersliberty.org/story/2017-07-26/miners-strik...
Classifying gig workers as employees was a terrible idea. Not to mention the law that did so had so many exclusions it was ridiculous.

Generally, we should be moving away from linking health insurance and other benefits to employment.