skysight-inc/HackerNews huggingface dataset:
X220s and x230s come with either TN display, which is terrible or IPS display which is good. Both have the same resolution - 1378x768.

There are mods that allow installation of an FHD display.
Love the irony of how silicon is used.
So few companies realise that working 70-90 hours / week calls for introspection not celebration. Fortunately, I never had a job where I had to put unreasonable hours against my will but I have heard stories of people who went through the ordeal and they share a common element: the capacity to think better solutions dampens which effectively makes 70 hour work-week, a <40 hour one.

It's sad that only a fraction of people in managerial positions
understand this dynamic. It's always people who work 'hard', who are more in the office, get admired and promoted.
I am glad to see a complete edition is now easily available online. Still only 9% transcribed.

http://johnsonsdictionaryonline.com

Only a few years ago, the only trace on free scanned sources was a misleading 'improved' (mangled) edition re-published decades after Dr. Johnson's death.

There was an academic CD-ROM version made, which I recall had aspirations to publish online, but I believe copyright profit-seeking obstructed this then.

The first edition is a massive almost 2x1ft, 22lbs, 2 volumes. And the most extraordinary part, for those unacquainted, are the illustrative quotations accompanying the definitions, which Johnson culled and compiled by his lonesome.

He quoted Macrobius in his interview for prep school as a young child, ensuring him a spot. We learn this from Boswell's Life of Johnson, one of the first sources in English of extensive transcriptions of direct speech.

I had a wonderful, now gone, Modern European History teacher in high school, Mr Kurtz, who wrote and performed a one act play on Johnson's life.
Not sure why we're not in the habit of naming and shaming these organizations.
I meant the opposite of all-encompassing software. What I mean is largely summed up by the linked Wikipedia article, but I'll give a go at explaining it in my own words.

Given a problem, a solution can be found that explicitly composes simple routines in simple ways, or a solution that may do the same thing implicitly, but only exposes an in and an out. The first solution can be said to be following the Unix philosophy; the second follows the monolithic design [0] paradigm. The first solution is superior, in that it is "simple, short, clear, modular, and extensible code that can be easily maintained and repurposed by developers other than its creators" (quote from Wikipedia).

Generally, creating something new in the Unix style goes like this: I have `X`, I want to arrive at `Y`. The process can be summed up as a sequence of these transformations: `f1`, `f2`, `f3`. So the solution can be said to look like this: `Y = X | f1 | f2 | f3`. `f1` and `f3` are already available, possibly created by someone else while solving an entirely different problem, but the same subproblem). That means implementing `f2`. To implement this missing subroutine, the process is the same.

So the benefit of this philosophy is that it leads to pooling of problem solving resources (i.e. people), by allowing multiple problem solvers to arrive at their unique solutions by solving common subproblems (writting common subroutines).

[0] https://en.wikipedia.org/wiki/Monolithic_application
Apparently the author of the project didn't fully implement flexbox properties, making it not work in IE/Firefox.

Reported the issue and suggested a fix: https://github.com/charlestati/amplify/issues/2
I wouldn't be surprised if a lot of the Mac laptops one sees at such events are actually running a Linux desktop. Apart from EFI quirks, Macs (especially older Macs) tend to be Linux friendly which extends their life far beyond Apple's official support lifecycle. You can even keep a PPC Mac alive and useful thanks to Linux support.

I've got a 2006 era Mac mini that is only officially supported to 10.6 Snow Leopard; I've managed to install 10.7 Lion via an installer hack, but it's slow and unstable. Meanwhile the most recent releases of Slackware, Debian, and Ubuntu all run fine and in Slackware's case, blazing fast on that old piece of kit.
Fluid filled windows
A couple of weeks ago someone introduced me to the idea not only asking your kids if everything is ok, but also ask what went wrong or failed.

At first i was a little afraid asking my kids those kind of things, but until now their reaction has been quite positive.
You basically never have to even lift your fingers, the keys stay low. No need to dampen anything.
Ad-hoc interactive analysis of web logs with the Clojure REPL
This job seems to be located in Singapore (can be easily found by googling the quote). On a related note, I recently saw a question on The Workplace SE mentioning it's common for most devs in Sri Lanka to work 12+ hours[1].

In both cases, companies seem to intentionally exploit this by explicitly filtering out candidates not willing to go such lenghts. Pretty pathetic.

[1]: https://workplace.stackexchange.com/questions/97039/how-to-a...
There's probably good reasons why he wasn't running Linux. I'd imagine for things someone in his position would need a Mac would make sense, with better software for making presentations, Office compatibility and video conferencing compatibility, as well as battery life. It's embarrassing, but understandable.

What this really signifies though is how little the Linux desktop means. The Linux desktop does not compete with macOS or Windows - at least not in a business sense. If the Linux desktop suddenly had a dramatic uptick in usage, it's not obvious to me who would suddenly earn more money. Canonical has shifted to focus on servers after bleeding money and AFAIK does not make significant money on the Ubuntu desktop, which is easily the most popular desktop distro. Many developers do not run it on their own desktops, but exclusively use Linux based tech on servers.

As a part time Linux desktop user it has become my impression that the Linux desktop is a community driven (i.e. not profit-driven) project. The only desktops with significant corporate backing (GNOME and KDE) have this backing because their major backers (Red Hat and SUSE) do make some small amount of money selling desktop software, but exclusively in corporate environments (users of RHEL or SLED workstations don't usually have a choice) to companies that also adopt their server products. But it's a small thing for both of them. The Linux Desktop only seems to exist as the result of a gesture of kindness - big companies continuing to put money into a marginal product, and a lot of community effort - and using it also tends to feel that way [1].

Making money with Linux is what the Linux Foundation is about. It's the trade association of people making money with Linux. And that's on infrastructure, not the desktop. The Linux desktop is not part of making money with Linux. The desktop apparently matters so little in this picture, not even the director feels like he should dogfood it.

[1]:
Critically: the amount of end users directly paying for their Linux desktop user experience is close to zero. It's a miracle some desktops are as nice as they are, given that.
Another voice for the higher grade Thinkpad chicklet keyboards. My W530 came with one and as a long long time Thinkpad owner I was wary but I have been hammering on this for a few years now and it really has been great. Just the right amount of key feel for me.
So what was the most popular laptop? The second closest I came across was the Dell XPS 13. I would say around 50% were running with Mac Books.
In the future could you put this in a pastebin and add a link? It makes it easier to traverse the thread.
> Call up an employment lawyer. Firing someone for not working on their vacation is wrongful termination.

In which jurisdiction?
Well, he made it possible to run Windows 2000 in JavaScript: https://bellard.org/jslinux/vm.html?url=https://bellard.org/...

It works by running QEMU inside Linux inside a modified JSLinux, and then running Win2K inside QEMU.

JSLinux was modified to incorporate AMD's hardware-assisted virtualization instructions/extensions, so that QEMU could use KVM. This means that actual x86 emulation gets done in JavaScript layer, and you have (JavaScript (JSLinux(QEMU)) <-> Win2K) instead of (JavaScript(JSLinux(QEMU(Win2K))))), which would be... well I tried running Mini vMac (Mac 128K emulator) inside Basilisk II (PowerPC Mac emulator) one day... it was pretty much unusable, even though Classic Mac OS was designed for a 7.8MHz CPU.

So basically this wouldn't have been possible without implementing virtualization. Despite the fact that said virtualization is actually fake, and it's really emulation.
The SEC has established two precedents in this arena to satisfy the "personal benefit" or quid pro quo requirement:

1. Bribery, or a monetary reward,

2. Friendship and good relations.

In both cases there must be an unbroken chain of confidentiality compromise. If you legitimately come to know non-public material information about a company and you didn't acquire this information through your own or someone else's confidentiality agreement, you're fine to use it.

Information asymmetry couldn't be functionally and profitably exploited if it was literally illegal full stop. You just have to acquire it without breaking a confidentiality duty to your own company and without aiding and abetting someone else in breaking such a duty (e.g. they tell you and you trade).
Is there much benefit in jailbreaking these days besides the ability to run pirated apps?

I know people used to do it to get better notification mechanisms or things like control center but those are now built into the OS so the need isn’t as big.
What French flying water taxis can teach us about startups
> 30kw hall thruster

Note that New Horizons has only 288 W and the Voyager probes had 480 W, so this really isn't a self-consistent scenario. (Solar power is much weaker still at those distances.)
Similar experience, but I blame it on my own never learning how to learn effectively (as it was too easy through high school).

I doubt it was the wording of the praise, but rather the lack of my own effort and application in learning things that were hard for other students.
I'm doing the 1080p mod on my x230 since I love it so much. Such a great design and keyboard. No it's not paper thin but it doesn't have to be.
Ways to Stay Invisible from Society If You Have Money
It's a very rare "get the job done" job that ever lets you finish your work and go home before 40 hours are up.
You're right - journalism has a broken and outdated business model. Amazon has a modern and effective one. To fix the problem, you need to fix this dynamic.

I get a lot the crypto hate you see around here, there are some real problems in the space right now. But facilitating micropayments for online content is extremely low hanging fruit with the tech, especially if the US tax exemption for txs under $600 goes through and browser integration happens.

Brave Browser / Basic Attention Token is one of the few groups in ICO-mania-land that is trying to solve a real problem, and they're focused on this one. It's led by Brendan Eich, former Mozilla CEO and original Netscape dev. Worth checking out if you are in publishing.
Bitcoin does offer privacy, you just don't need to take the offer. I personally choose not to take the offer because I don't do anything illegal and I pay my capital gains dutifully.

But if you ever want to set up a challenge I'll pay for something anonymously to prove my point. It's not impossible, it's just annoying.
I got use to it after I owned one. It doesn't feel that bad.
How about the recent Bluetooth vulnerability BlueBorne that allows remote takeover of devices without any user interaction?

That’s a kernel level issue. A Play Store package update won’t fix it.
At the most basic level "don't bite the hand that feeds you" seems like the main takeaway from this story.

A long time ago I did an internship at a marketing firm that did work for Subway Sandwiches. As such, it was considered a fireable offence to bring any other branded "sub" into the office.
If you are expecting me to work extra hours you will have to pay multiple of my normal rate for overtime. I'm sorry but anything else is some form of exploitation or at the very least unfair.

And the argument with extra hours working on personal projects is ridiculous. As a matter of fact I am a heavy open source contributor and work on numerous projects in my personal time, some of them already have many hundreds of hours invested time in them. I choose to work on them for free because they interest me.

If you want me to spend that extra time working on the company instead then don't expect me to do it for free. You are basically asking to own my free time which is ridiculous.

Overtimes and their compensation should be clearly defined in the contract, otherwise you can't expect to take employees' free unpaid time outside of work hours.
Lenovo and the new Linux desktop experience
If you play your AAA game on a PS4, that's about 120W [1].

Assuming you have three 60W-equivalent light bulbs on in your appartment, using halogen lamps your lights use as much power as the PS4. If you still use incandescent lamps, that's 180W, about as much as much as the PS4 and a 55" LED TV. With 7W LED bulbs you need 5 hours of lighting to match the PS4, or 8 hours to match PS4+TV.

Of course you might have a computer that uses significantly more power. But the best current-get Intel i7 still has a TDP of only 112W (165W for i9). Add to that a GeForce GTX 1080 TI with a TDP of 250W. Even during gameplay both will on average use less power than their TDP. Without going with dual-GPU configurations you can't build a reasonable current-gen computer that matches the 500Wh that our three 7W LED use over 24h. And I suspect you actually have more than three light bulbs.

1: https://en.wikipedia.org/wiki/PlayStation_4_technical_specif...
> This is one of the reasons I really wish there was a decent, widely supported micropayment system for journalism.

I was looking for that also, and have been happy with Blendle[1]. Pretty good selection, recommendations and "return" policy.

[1] https://launch.blendle.com/
And even if you luckily (or maybe skillfully) could, you'd most likely have a relatively small window of access before they no longer needed your capital unless you were a very large investor (on the order of a few years).
When Alan Mulally took the reins at Ford, he famously kept driving his Lexus at first [1]. It delivered a message - maybe not one that Ford employees wanted to hear, but probably one they needed to hear.

Of course Linux devs aren't employees and the director of the Linux Foundation isn't their CEO. Nonetheless, perhaps there is a challenging but important message here that one could reflect upon quietly rather than ranting about.

1. http://www.leftlanenews.com/new-ford-ceo-drives-a-lexus.html
As I understand it, PR-API is a glue for current payment methods. So your browser would simply contain a hash that is connected to a payment method (i.e. a credit card). It's effectively like Stripe built in to your browser. Before you use it you need to put in a payment method.

GNU Taler, however, is a payment method. It federates with other financial institutions to allow you to make online purchases without using credit cards. In the SHA2017 demo, they keep saying "it's like cash" and that's very close to accurate. The one difference is that payment recipients are forced to keep a paper trail of what money they've received (not from whom, but just that it was received). So in that sense it's almost better than cash in that it's more transparent for tax purposes, but maintains the anonymity of cash for the buyer.
I was wondering, because there is an Amplify library already, but I think it goes by AmplifyJS.
If the underlying hypothesis that overworked developers are bad developers is true (and I believe it is), then it should be a competitive advantage to not overwork your developers.
Why is that (it seems to me) whenever the discussion of Google's possible use of manipulating its search results for its own benefit there's a vocal response from all corners but Amazon gets a pass when then manipulate their results to similar ends. To my mind both are equally atrocious.
Indian government is probably still mad abut IPKF and Rajiv Gandhi
Because we need some voice out there standing for people and work life balance amongst a sea of slogans, media, advertising and group-think advocating sacrificing your life for the businesses' bottom line.

Why would using your left-over time and effort for a side project that may improve your life a bad thing? Does your employer have the right to "own" that effort as well?

If so I think the pay scales need some adjusting.
Estonia: India got aided by Europe’s leading cyber-security
This is fantastic. I could not help myself, fixed issue #3.
Pain is real!
Carbon Dioxide in Earth's Climate History
A first attempt at Bitcoin trading algorithms
>Otherwise it'd be easy to boost the economy by forcing people to work less.

Well have we tried it?
Well, if individual people raised a PR to update the time every minute, they would have essentially made a distributed time mechanism.

Need some kind of quorum/consensus algorithm in order to handle duplicate PR's though.
PyPI: Block stdlib names
Agreed. It would be nice too change typing habits but it is very hard.
I think the Intrinsic Motivation is pretty important to solve this, and DeepMind has shown it to work well for games, since it makes the reward far less sparse, in a way that is very similar to our own way of playing games - which IMO is somewhat important since we are the intended consumers.

Maybe making generic novelty metrics will turn out to be harder than anything else anyway, but it has some intuitive appeal.

So I guess we're on the same page, we do need to understand the game output, but IMO understanding it well enough to know when things are novel & interesting vs when things are not is probably enough to get quite far.
Don't worry: there's no requirement for one single cure-all.
This is insane. I've actually been looking to reduce my work hours to about 30, because even 40 seems too much. Having had a couple of burnouts before, I want my life to be more than my job, and I truly believe this would make me better at my job in the long term. After a day of full time work I almost never have the energy to do some of the other things I want to do. I want to be able do more open source, learn a foreign language or a musical instrument, spend time with my partner, study some new cool technology, do some exercise etc. I was very disappointed to see a big name in the industry to promote exploitation like that.
> Why do you bring that up?

Perhaps as a something to learn from? Foer appears to have let his feelings of outrage get the better of him, and went off half-cocked with a pointless and ill-advised gesture that only benefitted his opponents.
Is this not illegal?

I'm working in London right now, and have been looking at jobs in the US, but the workers rights seem incredibly hostile, and downright crazy to me...
Yet while SourceForge improved, Slashdot became a clone of HN's front page and is a cesspool of horrid editing staff, now.

So take that as you will. That tells me that SourceForge is probably bound to degrade some time soon.
The 7 Reasons Most Machine Learning Funds Fail [pdf]
A question about urbit: whenever I read anything concerning it, all I see is a weird programming language and warning signs of esoteric technocratic fascism.

What is it that people find fascinating?
I don't understand how you can say that versioning isn't a hard problem when you've been developing for a long time. Every major release brings a host of changes, and every release, you have to litter your codebase with "if version > x do this else do this". There is utter chaos for the first few days while the development community not only orients around the OS changes, but also how every phone manufacturer has bungled the changes (Samsung, being the worst at this).
See also, when Wikipedia editors make a clock:

http://pageoftext.com/wikiclock

And they're up to >13,000 revisions already...

http://pageoftext.com/PH_page_revisions&nm_page=wikiclock
In most European countries checks are not trusted anymore by common business, given the usual fraud schemes, and in some banks you need to jump through a few hoops to get them (only crossed or pre-validated).

Digital payments have replaced the majority of checks.
WORKSFORME also
Then a lot of news can go away, which is fine. As ad-blocking becomes more popular, this'll happen anyway.
This is absolutely my experience -- even a few positive reinforcements ("Wow, that was a super clever idea! I wouldn't have thought of solving the problem that way!") can change students' mindset, at least in a particular class/subject.

It's amazing how few students are actually as bad as they appear to be on first pass. I basically go into every student/teacher interaction assuming the kid is above average, and I'm very rarely disappointed. That's because "average" is often pulled way down by issues surrounding self-image and study behavior, both of which have no bearing on raw ability.

Basically, "confidence + hard work" is usually enough to take a kid from below average to slightly above average.
Are you daft?
> Whoa whoa whoa, your painting with really broad strokes here! Slow your roll a bit there, Mac laptops are definitely not the number one laptop at all Linux events.

Umm, aren't you arguing precisely over what the "broad strokes" are?
Do you have Terraform chops? I'm looking for part-time remote SysAdmin type right now.
Although I think I would have a decent case against him, I can't afford legal fees right now. And 70% of our clients were law firms who would be more than happy to represent him.

My separation notice said "Unable to perform job duties", which makes no sense, since I worked there for nearly 2 years with positive reviews and multiple successful projects.

But apparently I'm not working because I want to go home at 6pm and take my unpaid lunch.
> Much more I constantly juggle invariants like "this integer is a power of two and that integer is an odd positive one.

You can easily represent exactly these sorts of constraints in a language with something like newtype wrappers (e.g. via a wrapper over integers with an associated injective function from the newtype back to integers).

> These types of invariants are not practical to encode even in advanced type systems;

As I explained, you don't even need an advanced type system if you take the most straightforward approach. You just need a marginally powerful type system like rust's. You could probably even hack it in Go if you wanted, but it would be annoying.

However, these specific examples are also quite easy to represent in either dependent type systems (like Agda's; I'm not sure what your objection is there) or liquid type systems like that of Liquid Haskell.

> a language that is somehow "lesser" than Rust

So you're mad that I think Go is inferior to Rust? Would you like me to expand on why I think that?

> but it's good to admit other viewpoints

Unless you have good reasons for disagreeing with them, which I do. You're not obligated to agree with everyone on everything. I think you're wrong about languages with poor formal systems being acceptable for correctness-oriented programming, so I'm not going to "admit your viewpoint" just because it's polite or something.
It hung at the boot screen for me, which really took me back.
Speaking of pools, Greek government in their efforts to collect more tax, used to search for pools using Google Earth

http://www.spiegel.de/international/europe/finding-swimming-...