skysight-inc/HackerNews huggingface dataset:
I got fired (well, laid off) under very similar circumstances, at a similar age, working for a company in a similar niche.

My experience, which may not be the same for you, was that the small company was in financial trouble and tried to hire grads as a cost-cutting measure, then discovered that people with no experience don't work very fast, and that they weren't getting the kind of contracts they thought they'd be getting.

The emotional response to getting fired is going to suck and probably already sucks, but it's important to remember that your emotional response isn't a completely objective take on what happened. You're still a grad, you still have a degree, you now have months of experience, and hopefully the next job will be better.
I've used Colemak for 5 years now. I've always just hobbled along with Qwerty, not pecking, but not really touch typing.

However, I rarely need to use Qwerty. It's less than once per week. The only times are when I'm in the UEFI settings on my laptop, or fixing my wife's computer. Any other time I have my own user, and can switch the layout to what I like.
Does this work for you?
http://journals.sagepub.com/doi/pdf/10.1177/0956797618783714
If you listed and categorized the people you dislike, what would the breakdown look like?

I personally found as I got older (not implying that you're young, just that I changed over time) that many people I previously disliked were now just people I felt neutral about. More specifically, I thought they were well intentioned but flawed as all humans are, and their flaws just happen to be the ones that bug me but not others.

The people I actually dislike is now a much smaller group, and they almost all fall into three categories:

1. People who lack personal integrity

2. People who act smarter/more qualified than they are and hurt people as a result

3. People who consistently take things the wrong way. In the context of race and gender stuff, this is a hard line to draw, but in my experience the egregious cases of taking things the wrong way are rare and fairly obvious. I don't mind well intentioned people in the gray area.

All three categories are just frustrating or tiring to be friends with or to work with, and they drag everyone else down with them.
GPS tracked the land sink under the weight of Hurricane Harvey’s rain
That sounds terrifying.

Oddly, an autonomous vehicle might have the advantage in that situation, since ideally it’d have some representation of the shape of the road ahead that would persist for a few seconds even if its sensors were blinded briefly.
> What alternative are you suggesting? It seems like no one's actually transacting in Cryptocoins, as evident with an ideal usecase failing; Bitcoin proved a failure among technically competent users attempting to buy digital goods though Steam [1]. Stripe also determined Bitcoin to be an unreliable method for payments [2].

I'm arguing that USD is not backed by the USG in any meaningful sense. Not that Bitcoin is a good alternative. Just that the "Bitcoin isn't backed by anything, but USD is" argument is unsound.

> Why would anyone bother taking their money, going through all the steps to convert it into the foreign currency or software tokens that they need to buy from someone else (who's siphoning wealth from you) just to find out merchants don't even accept it due to the volatility. And what happens when the merchant turns out to be a fraud? No customer protection by design.

Are you arguing that volatility is an inherent property of cryptocurrencies? Because if you're not, then I don't see why your point here is relevant. If you are, then i'd like to hear that argument spelled out.
I fixed my RSI with Dvorak, after trying split keyboards, gel pads, exercises, whatever.

Cons:
That said, after finally learning it I realized that Cut/Copy/Paste will forever be broken for me on Windows.

I am now a hunt-and-peck typist on Qwerty, which doesn't bother me.

Pros:
It's a good security device, like a manual transmission - at least against non-hacker mortals.

Programming doesn't really benefit from touch typing. But my touch typing speed without concentrating is much higher with Dvorak. I can type far faster without trying.
Games seeking this property of low-cost art through pixelated graphics generally choose not to have a retro virtual screen though - which frees them to have different pixel sizes between different parts of the UI, place things precisely (even sub-actual-pixel positions!). I'd prefer they didn't do those things, but I'd also rather have these games get made than not get made.
I've thought for a decade+ that as soon as computers stopped getting faster there would be a return to people spending the effort to build more efficient software. It absolutely costs companies real money to build slow software quickly now that the common paradigm is buying machine time on AWS.

But I'm beginning to think I might be wrong, things just continue to get more bloated, and people continue to use it. Some of it is the price. A skype update that now burns a whole CPU core and 400MB ram is still acceptable because its _FREE_.

Long term I suspect I might be right, companies that can run their chat app on 30 servers, vs 3000 will have a competitive edge. Whether I will be around in the decades this will take to shake out is another question.
Similar to OpenGrok, I'm assuming?
You don't understand because you haven't looked into it very much :) You'll find that automated theorem proving and proof verification is far from trivial. State of the art tools are still very cumbersome and verbose to use and are infeasible to use in those problems where you need them the most.
Is it true that Unix time is as simple as it seems? Is there exactly one second between adjacent integers? Do all Unix time values occur only once simultaneously around the world?
Yes! This is because of UK legislature. You don't need a gambling permit if the game is skill-based.
I'm not sure it would be awarded more than once a generation if they actually required a significant contribution to creating world peace. I don't necessarily consider that a bad thing. Looking at the list of recent recipients, I would say Mikhail Gorbachev is probably the most recent individual who truly, unequivocally deserves it.
Yikes.

Using this is almost certainly illegal (cheating) in every jurisdiction, and could have significant penalties.

This video and the github repository itself could be a crime... teaching someone how to cheat using a cheating device. Heck even publicizing the video could get one sucked into the potential mess.

Intention may play a part (i.e. was there any criminal intent in making the video/code/etc). Would depend entirely on jurisdiction and the specifics of the legislation.

Sure... it's a fun/cool project with lots of tricky parts to get right/play with. But I think the author should exercise a bit more caution. If you need a lawyer to be sure that your project won't land you in jail... perhaps choosing a different project would be a good idea.
The financial incentives have become stronger for building walled gardens than a semantically open web. The semantic data has been more useful to giants that monetize it, than to millions of small publishers who are supposed to abide by the rules and maintain it. The issue is even bigger if you are listing valuable goods - from products, to jobs, to real estate/rental listings as a part of your marketplace or business. Aggregators like google can scrape and circumvent you, by taking away your users earlier in the acquisition chain, so why bother giving them your product graph.
I'm sure this is true.

Another thing I'm sure of is how little time most people spend thinking about other people. Even the people in my life I don't care for, I rarely spend more than a passing moment thinking about them, even if they're in the same room.

The ones I do think about a lot are the ones I love (wife, children, closest friends).

Despite knowing this, though, I'll admit that I can spend a lot of time thinking about That One Dumb Thing I Said at Dinner Around My Friends - again, though, I'm 99% sure most people don't remember the dumb or embarrassing things others say or do.
Do one thing and do it well.
https://www.ktsm.com/news/local/el-paso-news/child-pornograp...
1) users often use the same username and password on various websites, despite this being dumb (because it's so convenient)

2) if you ask such a stupid question you probably won't be able to properly secure the machine hosting this

3) your users will be totally screwed when you get hacked

And this is why you should never store passwords but only a salted hash, and never trust any service that can email you your password when you click "I forgot my password".
All I have to say is that I misread this headline and experienced both disappointment and relief when I clicked through and read about a 'buttonhole' camera.
That sounds interesting. I think your guide would be extra helpful if it focused on building a distro that has as much of the system loaded into memory as possible to minimize amount of reads from the SD card, and which is configured with a read-only file system and never even tries to write to the SD card. That would be very useful. SD card corruption is a pain!
Dude... did you just confess to a crime?
And yet GCP (e.g., Code Repositories) only supports GitHub and BitBucket integration, not GitLab.
Use Java High Level REST Client with Spring Boot to Talk to AWS Elasticsearch
https://github.com/bollu/dependence-analysis-coq/blob/master...

Put a space before the final ), else it becomes part of the URL. Thanks for the paper, by the way.
As usual, it seems ICO are taking the "target the worst offenders, let them correct before we punish" approach. This should calm a lot of people who were worried about being heavily penalised if they didn't comply with GDPR 100% on day one.
That's why I said "use an API to standardize". I don't see why this is incompatible with having a single field. Unless you actually need the component parts, it's much easier to manage than the schema needed for all the variations.
Why can't textbooks use code-folding style display to hide unwanted detail? Paper books are basically obsolete except as a master copy for archival.
That sounds a lot like modern country line-dancing. There's a simplified step that anyone can learn in just a minute or two. It's repeated. It's usually accompanied by singing from the dancers (in my experience).
React Native only minimally uses native views. Rather than standard controls, they paint generic views, which still requires custom implementations and reinventing the wheel.
Wow this is one of the cooler projects I have seen for that little amount of code.
Well that's sort of the point, isn't it? If you can't make the computer make sense of it, you have no proof.
Would it also be a crime to just remember every question and answer in the game?
Please nobody click on the report button on the GitHub repo.

(The user/submitter look to be anonymous)
It's also a great party trick. I once lent my computer to my daugther and her buddy, it was kind weird for them that no keys matched up, but even weirder when I showed them I could easily switch between the two. They were so sure I wouldn't be able to type with qwerty.
Their faces at that point were priceless :)
Older devices is fine, but you can start to run into trouble with older kernels. For example, newer glibc versions are notorious for requiring newer kernels [0].

So then you're stuck with an old glibc for your kernel. Not all applications (especially newer ones) will successfully link against that, so then you're looking for replacements or older versions that do (if there are any). What about other libc implementations, like musl? There are differences between musl and glibc[1] that will drive you nuts trying to find things that will link in musl that were originally written to link against glibc.

0. https://mirrors.edge.kernel.org/pub/software/libs/glibc/hjl/...

1. https://wiki.musl-libc.org/functional-differences-from-glibc...
I learned to type blindly informally on QWERTY and I use only my index fingers and my pinkies. I actually move my arms a little when typing. I'm reasonably fast, certainly fast enough for anything I do.

I have never had any problem with wrist stain and just from trying out "proper touch typing", I feel like my way of typing is far less straining and "more natural". That could just be confirmation bias of course.

SURVEY:

Who else has learned typing similarly to me and what have been your experiences?
These are typically found in university towns in the UK.
You might not understand all the details of the paper, but you can definitely follow the thrust of the argument and see the elegance in it without advanced math skills.

The really hard part (and main part of Wile's contribution to the proof) was proving something called the Taniyama–Shimura–Weil conjecture. However if you skip that bit and just accept that the conjecture is true the rest of the steps of the proof are both elegant and relatively easy to follow (if you gloss over some of the details) for anybody with a decent grasp of basic math.

The book Fermat's Last Theorem by Simon Singh is a pretty great read and does a good job of outlining the basic structure of the proof for anybody with a decent grasp of high school mat.
You can ctrl+click to select two commits (from different branches) which are then diffed against each other. You cannot select branches in the sidebar directly like this, however.
ULA don't have any heavy lift rockets in the class of SLS in the works, and the only contracts to do so would come from NASA anyway, so there's no competition to SLS coming from that quarter.

Of course Falcon Heavy is squarely in the same class as SLS, but even there payloads being developed for SLS right now probably can't be easily adapted to BFR, so SLS will still have a role to play at least for a while.
Is there anything worse than having to develop with people who can only use Git via a UI? It pretty much by definition means they have zero grasp on the fundamental concepts of Git.
If copyright doesn't die with the author then there is incentive for them to die if you would stand to inherit valuable works
An answer below about denomination (pounds instead of dollars) implies that it's in the UK. Definitely wouldn't expect to see something like this in the states.
Invention Assignment Review Committee for Personal Projects
We are mostly using Git right now though.
> “The abc conjecture is a very elementary statement about multiplication and addition,” said Minhyong Kim of the University of Oxford. It’s the kind of statement, he said, where “you feel like you’re revealing some kind of very fundamental structure about number systems in general that you hadn’t seen before.”

I can kind of see that, but there's something in it that gives me the feeling of arbitrariness.

It's looking at the relationship between prime factors of A, B, C in A + B = C, where no prime factors may be shared between A, B, or C. The specific relationship in question is between the magnitude of C and the unique prime factors of A, B, and C multiplied together.

To take an example from the article, 5 + 16 = 21 meets the basic requirements since the prime decomposition looks like (5) + (2 * 2 * 2 * 2) = (7 * 3) —no factors are shared. But, the quantity we're supposed to relate to C is (5 * 2 * 7 * 3), since it is the product only of the unique primes.

Does that not feel arbitrary, to drop the repetitions? So it ends up being that the sought out smaller products arise because they had large numbers of repetitions, so we removed more when forming the product.

But I suppose there are probably just some deep number theory mysteries behind it which give justification, so it only feels arbitrary to someone like myself who is basically ignorant on the subject :)
> that doesn't mean you can't have consistent philosophies

Social structures and politics are not philosophically or logically consistent! Philosophies are, at best, a useful set of guide, but it isn't hard to find pathological examples for any philosophy.
Reimagining of Schrödinger’s cat breaks quantum mechanics, and stumps physicists
No, because unix times can repeat in the case of leap-seconds (this is necessary to be able to represent future times correctly).
This is why category theory is so important! It allows us to move between axiomatic systems by looking at the structure they have in common. I am convinced that the 'semantic web' will be accomplished via some easy to use version control meets functors gui program.
Thank you. We already moved from Canada to the US precisely because of the support issue. While it could always be better, I should make it clear that Pennsylvania has been wonderful in its support so far.

However, you make a good point, and yes, we have no fear of moving as needed. Whatever it takes.
> web, iOS, Android, and Windows.

So cross platform minus Linux then?
For small IOT devices, the primary benefit would be to charge from a distance (wireless charging) but then the efficiency of the ultrasonic energy transfer will also drop inverse square to the distance. And if the power requirements are low enough, why not live with a lithium batter that will last 5-10 years possibly?
It's not really practical to call the API every time you need a normalized address. Normalize once and ask for user confirmation, then store the clean address with a separate field per component.
But it turned from one brand of toilet paper into another, with indeterminate scratchiness.
Could be browsing and pushing to GitHub on Tor. Biggest danger might be semantic analysis of his comments or code linking it to his real identity.
Great software isn't free, it costs something along the way.

If you think you can beat their price point, well there's clearly a market for it. Go for it.
The end of Copenhagen Interpretation?

> The most common way of understanding this was formulated in the 1920s by quantum-theory pioneers Niels Bohr and Werner Heisenberg, and is called the Copenhagen interpretation, after the city where Bohr lived. It says that the act of observing a quantum system makes the wavefunction ‘collapse’ from a spread-out curve to a single data point

> Now, Frauchiger and Renner are shaking physicists out of this comforting position. Their theoretical reasoning says that the basic Copenhagen picture — as well as other interpretations that share some of its basic assumptions — is not internally consistent.
I use dvorak as my daily driver. I'm still able to use qwerty, and while my typing speed is not as fast, it's still adequately usable.

However, an extended typing session in qwerty just feels...weird. I feel vaguely unbalanced, and I'm more likely to get off by one key left or right (while touch-typing). It also tends to put me in four-finger typing mode, rather than eight-finger.

Can any users of Colemak / other layouts who have also used Dvorak comment on whether the Dvorak->Colemak migration is worth it?
You can set reminders for emails to come back to your inbox both at send and separately when reviewing email. It also has read receipts. And the hotkeys and shortcuts are super powerful. Worth the $ if you have to spend a lot of time in email for the efficiency increase alone.
I'd argue for something stronger: both reusable and useful (outside of the initial application) and novel.

It's possible to write structurally reusable components that are useless, i.e. they do a thing that no one wants or needs.
CEO of MosaMeat (Netherlands) and cell-based meat
Great point, thank you!
I don't think this ever stopped. I still migrate company's access and excel sheets to the cloud, and many of these 'apps' were built in the last decade. But eventually corporations outgrow these technologies when they bump up against the technologies' limits. It's just a lot cheaper to migrate to and maintain a web app than it was in the 80's so they migrate earlier now than they used to.
It doesn't even look like it's rating devices. It looks like it's rating behavior as it relates to past behavior.

Probably right on the usage of the word "trust". Someone probably thought "This is how much I trust that the legitimate owner is doing this" and it ran from there.
I would recommend TypeScript. I was a "pure JS" for years and avoided the GWT, CoffeeScript, and Dart kind of languages. We even avoided Babel as the added value was not there for us).

However, TypeScript is a whole different game, as it is really a superset of JavaScript and let you almost all you can do in JS. The industry support is amazing, most of the major node lib comes with their TypeScript types (from the project itself or from @types/...), and the tooling support in VSCode for example is just amazing.

I looked at Flow a little, and while it seems less intrusive, I am not sure it is as expressive, powerful, and mature as TypeScript typing system.

The trick to realize is that it is not because you have "class", interface, and generics that you have to code JS the Java way. TypeScript does not change your style of writing JS, it just makes it more robust and scalable (with the number of developers & line of code).
I'm not sure why you'd expect the approach for RPi needing to be significantly different from that of any other computer. Bootloader would be the biggest difference I foresee, but that is fairly small part of the whole LFS.
Scholze wrote it right there: https://galoisrepresentations.wordpress.com/2017/12/17/the-a...
Dart has had some null-aware operators for awhile (https://news.dartlang.org/2015/08/dart-112-released-with-nul...) otherwise you'll need to explicitly do null checks. It's certainly not perfect, but it's still "good enough" to make handling null relatively concise. In my experience code review can do a good enough job at promoting good practices around null handling that non-nullable types are really just a "nice to have".
You have an MSc in mathematics but don't consider yourself an expert?
Looks like 1.5W energy transfer in optimistic case if willing to waste a lot of the energy.
Maybe we can somehow refer to each other? I wrote a guide for a custom board I made running Linux, but it's very low level up to tge stage of getting the kernel running with a minimal user land.

I would be happy to refer to you at the end of mine: brainyv2.hak8or.com
As I get older, there are fewer people I actively dislike, but I also have less patience to spend on people I don't actively like.
How to Get Rid of Dandruff – A Comprehensive Guide (Plus Natural Remedies)
This sounds great, especially the fact that v0.2 has much improved throughput over v0.1 in most cases. I must however echo some other posters' sentiments: latency is even more important than throughput, and alacritty's input latency wasn't great last time I tested it (quite a while ago). Maybe it's been improved too, though no mention of it in the post.