skysight-inc/HackerNews huggingface dataset:
With the small detail some of those years were nicely explored by our advanced civilizations, and uproars were quickly put to rest with powder against arrows.
The point is that if you're not enjoying the journey, you skip to the end and take out the "I need to get to the destination" motivation for finishing. I do this all the time: if the book is getting tedious, I prevent myself from compulsively finishing it by "giving away the end" to myself.
I think it really depends what 'working' means. If it means to pick up the phone when it rings, a lot of founders have no problem working 23 hours per day. If it means doing high concentration, high focus work then some founders don't even find the focus to do it 2 hours every day.

I think the main problem is that founders often don't have clear rules when they are 'working'. Especially, it is very hard to quantify the 'readiness' aspect of their work.

Nevertheless, in my opinion there is nothing wrong in trying to achieve the 8 hours per day (mixed focus work) while trying to explicitly define non-working hours to get the required rest.
Shapeshift CEO Defeats Peter Schiff in Bitcoin Debate
More so that they do have legal frameworks to restrict and ban English speech. They could easily force it online, but oddly enough don't.

It seems they are content with raiding the Canadian film board.
Stream NBA Finals on Roku
It _is_ categorized under the title 'Pop Phyisics'...
Naval Ravikant coming on JRE podcast Elon Musk also (separate)
In PHP, the "$a = 1" and "$a == 1" look a lot like each others. In rust, you would use "let a = " which removes the ambiguity.
How CSS works: Creating layers with z-index
I usually have a stack by my bed. Each time I get bored with a book, I put it on the stack and start another one. When I finish, I pop the stack. Maybe now its interesting? It usually works, but it can take 6 months or a year sometimes to get back to bare table top. And the stack can get really tall.
I've used this website on Gregg shorthand: http://gregg.angelfishy.net/index.shtml
So, let's all go there and steal/enslave. /s
That's a pretty accurate description of firmware build environments for a whole lot of products, not just cell phones.
> Unless a new system, that allows individuals more fine grained control over how their data is designed to aggregate with mass numbers of other users’ data

DRM for user data: you have a stock of data about yourself and everytime someone want to access it they have to ask for permission using the DRM you have put in.
Thank you, works as .epub as well: https://docs.google.com/document/d/1ZJZbv4J6FZ8Dnb0JuMhJxTnw...
There are also services that ship poop from the animal of your choice (from their catalog)

He was probably refering to automatize the removal, with crawlers or so.
It's basic cost/benefit analysis. At some point you end up with diminishing returns on your effort that are simply not worth the investment.

Also worth noting that nobody has been able to show that static typing leads to more reliable code in practice https://danluu.com/empirical-pl/

Claiming that to be the case putting the cart before the horse. A scientific way to approach this would be to start by studying real world open source projects written in different languages. If we see empirical evidence that projects written in certain types of languages consistently perform better in a particular area, such as reduction in defects, we can then make a hypothesis as to why that is.

For example, if there was statistical evidence to indicate that using Haskell reduces defects, a hypothesis could be made that the the Haskell type system plays a role here. That hypothesis could then be further tested, and that would tell us whether it's correct or not.

This is pretty much the opposite of what happens in discussions about static typing however. People state that static typing has benefits and then try to fit the evidence to fit that claim.
Touchscreens probably aren't OK, is the point.

But more obviously: the current state of your air con isn't as deeply absorbing and distracting as, say, your Facebook feed. So one is pretty bad to be looking at while drive, the other is lethally dangerous.
I had the interesting experience of returning to two of Iain M Banks's novels, both of which I had read in my late 20s (20 years ago). Feersum Endjinn was fun but not at all profound: I had found it to be very thought-provoking the first time around. In fact, it was the first Banks book I read and it had me hooked. Consider Phlebas I had read and enjoyed, but it seemed flat, uninspired and uninteresting on second reading. I abandoned it after several chapters. I hardly ever abandon books but have done so more often recently - encroaching age does lead to impatience in some things. I'm not sure how I would feel returning to Use of Weapons and The Wasp Factory, both of which I found shocking and profound the first time around.

So the point of this is, your opinion of something might change, or maybe it's just that storytelling is like a magic trick which requires the wholehearted participation of writer and reader to be successful. If you're not interested, you should quit and find something else to do.

I'm the same with television - cannot watch The Wire too many times, cannot watch most other things even once.
I Was Billed for 14k USD on Amazon Web Services
Article 13 of the EU copyright directove considered harmful
In PHP, the "if ($a = 1)" and "if ($a == 1)" look a lot like each others.

In the Python version, the new "(a := 1)" will stand out compare to the canonical "a == 1" as the ':' and '()' are unexpected here, and scream that it's not regular if test.
In the six years I've been doing side projects I've learned that only having one project makes everything a billion times easier.

See one to completion, then move to the next.
thanks! Didn't think arXiv had that type of category
Alternatively

`bar[baz] = bar.get(baz, 0) + 1`

One line and no error checking.

But the OP was probably just illustrating a basic example where you might have some more intense logic
100% agree. 100 years ago, if you didn't have access to a textbook or a teacher, you were largely shit outta luck. Today, with adequately motivated parents / students (and a moderate amount of resources, i.e. access to the internet and/or public library and the knowledge to seek things there), one can bypass these issues. One can even gain knowledge and skill that is far beyond the high-school level.

I actually wonder if the internet will magnify cultural differences over time. So the children who are motivated (whether intrinsic, parents, or culture) will get even further ahead by taking online courses, while the children who are not will fall even further behind.
>My XPS 13 9350's USB-C port died after a few months,

There are very few USB-C port manufacturers that sell on open marker. One big one is notorious for using an alloy with zink (corrosion even in mildly humid climate). My Asus died the same way (short in type-c port caused cascading ldo failure)

>I keep buying them only because there aren't many other options

That's unfortunate... Indeed, the only real option for a professional oriented ~13 incher other than XPS is Panasonic, which can be twice as expensive.

If I can get Chuwi on board with the idea. I might convince their product people to consider making an "XPS killer" for their planned professional market laptop.

As I know, the company's decision making is a non-stop tug of war in between excellent engineering team, and company's "money people." So far, the engineering there was surprisingly good for Chinese at pushing back against "can we save $5 per 100 units if we switch to crap plastic?" proposals from beancounters.
> I'm thankful for their new design, actually.

After having to click "visit old reddit" a few times, I just got sick of it.

> After many years of trying, I have now managed to successfully kick my Reddit habit completely and have gained precious hours in my day.

It stopped being fun. Reddit has turned into the infowars of the left. It's just spiteful and angry leftist politics 24/7. I suppose it was inevitable when reddit sold itself to a news media company, but still sad to see reddit die a slow and painful death. Was once a great site for open ideas, discussions and jokes.
Telegram bots and Elixir
Wasn't the author talking about all the people who work for him with "if people are working less than 8-10 productive hours per day"?

If so I think he was also pretending the whole dev team should have 10hours/day of real productivity
It's skill rather than bravery. Rick Stanton and John Volanthen were the divers who first made contact with the missing boys. They are both hugely experienced cave divers and cave rescue divers; as a team, they have broken multiple records in depth and distance. This was a difficult and complex diving operation, but that's business as usual for divers of this calibre.

Bravery is fundamentally incompatible with cave diving - if you're taking risks in such a hostile environment, you won't survive. What keeps you alive in an underwater cave is training, caution and meticulous attention to detail.

https://youtu.be/qNX5eo2Ja1g
For any Samsung users who want to try and avoid this until a fix is pushed:
1. Open settings widget.
2. Click on Apps.
3. Click on the Messages app.
4. Select Permissions.
5. Toggle 'Storage' off.
At the time it was written, python was already around a decade old. There was some discussion about the "true" way of python and some demands to "fix" python, yada yada. Someone demanded some short description of the python philosophy to counter those discussion, and the Zen was made up for this.

It's a condensed definition of the philosophy and goals which went into python at that point. A guide to define the borders of the road to good python, but also a guard against those who wanna change the direction of this road.
Lot of resources, useful not only to designers. How did you use the AI to categorize?
Facebook Bug Unblocked Blocked Friends for a Week
I assume to counter their appeal to work there at the end of the article.
Give a book 50 pages. When you get to the bottom of Page 50, ask yourself if you're really liking the book.

I can usually tell within 10-20 pages.

I also have the "five minute rule" with TV shows, movies (on streaming services), and other activities. Only so much time left on this planet.
Actually, Chrome does this too:

> Chrome prompts the user if adding the permissions results in different warning messages than the user has already seen and accepted.[1]

[1]: https://developer.chrome.com/extensions/permissions
Machine code.
Do people really like cube farms? Honest question.
Working hard is not working smart
=======================================================================

Location: Toronto ON CA

Remote: Yes

Willing to relocate: No

Technologies: Linux/BSD System Administration, Shell Scripting, Apache, Nginx, MySQL, VMware, Puppet, cfEngine, Cobbler, Foreman, Retail POS Systems, SLEPOS, working on my AWS Arch, some Python, PHP & Javascript, some Network/Firewall Design, Setup, Maintenance & Security, some Windows Server Administration

Résumé/CV: https://ca.linkedin.com/in/jasoneclark

Email: jason.e.clark+jobs@gmail.com

=======================================================================
How does that compare to uBlock Origin?
It depends. I am a night owl and if I wake up too soon I am really useless for almost the whole day. Instead waking up later than usual (like 11-12am) makes me hyper-productive until late night.

I guess each person has a different time of best performance, the problem is when you get a job in a office without flexible hours.
How Elixir manages memory?
Yep, even Go with their bias against modern type systems ended up bolting "//go:generate" for exactly that purpose.
>Java is not a theorem prover, and your comment was about theorem provers.

No, my comment was about formal methods in general. Every type system is a form of a machine assisted proof in practice. It's just that most type systems don't allow you to prove interesting things about your code.

The main problem is that of basic cost/benefit analysis. If it takes significantly more effort to write a full formal proof, and you end up sometimes catching minor errors, the effort is not justified in most scenarios.

>Again, completely orthogonal to your argument. If you have an error in specification tests won't help you because you'll test the wrong thing.

This is completely central to my argument. I'm saying that encoding a meaningful specification using a type system is a lot more difficult than doing that using runtime contracts, or even simply reasoning about the code unassisted.

I can read through the 5 lines of Python code implementing insertion code, and be reasonably sure that it's correct. I would have a much harder time verifying that 300 lines of Idris are specifying what was intended.

> You're saying now "I don't care about correctness in the semantic sense, I care about delivering software that "works" (whatever this means; clearly it doesn't mean software without bugs) in a reasonable amount of time" and that's fine. I do too, but again, nothing to do with your original argument.

I'm saying that you have diminishing returns. What you want to show is semantic correctness, and type systems are a poor tool for doing that. So, while you can use a type system to do that in principle, the effort is not justified vast majority of the time.
How AR instruction manuals change how we interact with technology
No one using iCloud email? I’m giving it a try atm, I think if you’re in the apple ecosystem it can be a good choice, anybody else experimented with it?
They are trying to IPO for once last chance at a cashout for their most recent investor/owner ( advanced publications ).

http://www.businessinsider.com/reddit-is-reportedly-consider...

They aren't interested in user experience. They are interested in drumming up mobile #s in the short term to get the best valuation possible. Reddit, like most things on the internet, have turned away from their idealistic beginnings for the cold hard cash. Not that I blame them really.

I've been through situations like reddit is going through. I can guarantee you that they don't care 1 bit about user complaints at this stage. It's all about getting the metrics they need to the valuation they want. They don't care whether reddit survives or not over the long term. They don't care about user experience. It's all about the short term right now and cashing out as quickly as possible.

Think of it like trying to sell your car. You don't car about its long term prospects. You just want to spend as little money as possible to make it look as good as possible to make as much money off of it in the short term.
The question isn't whether you can do something in principle. It's whether the approach is more effective than alternatives. My experience is that it's not.
Outside of the discussion about the cheapness of open floor plans. I think the heart of the matter is that companies are looking for passive collaboration creators. This is because actively collaborating: reaching out, holding team sessions, scheduling meetings, following up, etc. is hard.

These companies ask themselves, why put energy into a system when we can foster serendipitous collaboration?

There is something to it, and especially with putting people geographically near each other, but I think reliance on this kind of form actually is a detriment to most white-collar type jobs. There needs to be a reason for people to interact in a work context, to find common or linking skills or activities.

I think it would be better served if most companies just had a once a month mixer and the rules were that you had to sit at a table with all strangers, introduce yourselves, your background, what you did and what you were currently working on. In my experience that exchange seems to bring for more promise of future collaboration than any number of passings at the coffee machine or trying to drown out your neighbor 3 cubes over with headphones and loud music.
That's exactly my point; he shouldn't expect 8-9h of productive time from his workers, because there are always administrative tasks and meetings (not to mention more lowly vital necessities), and so that implies they're basically living in the company.
New University Rules Encourage Scientists to Avoid Air Travel
If you are the admin, please know that I have read your FAQs and for cases not covered by the FAQs I am simply doing what I've seen others do. If this is insufficient please provide more guidance.
I would have dropped every Stephen King book by that measure. Actually, maybe I should have.
At https://www.schoolze.com - we are looking at the problems faced by Schools from all these angles. From Attention, to engagement, to fundraising, to measure all the aspects of a successfull K-12 classrooms.

That's why looking at the participant of the education system is very important. Be it Kids, Schools, Teachers or PTAs. All will have to work towards this success.
The China Ship
The whole article reads like victimhood 101, I do not 'bring [my] history with [me]' when I'm arguing with someone. And I'm sorry but I'm not buying the 'workplace must be racist if it is more than 50% white' - No, you can't claim racism unless the % of ethnic minorities in an organisation is less than the historical average of ethnic minorities leaving the university courses that are that role's prerequisite plus the historical average of ethnic minorities who have immigrated with that degree - and even then you'd have to collect stats on who applied for the roles!
Community Podcast: CTO Google Cloud Brian Stevens and Ricardo Jenez on TheCUBE
Consumption != Investment

Imagine a world where everyone put 99% of his income into investments. There would be nothing to invest in, because nobody was consuming.

And by this definition the poor are definitely putting the money to better use because they cause the economy to grow by spending it all.

The rich are currently facing an asset price inflation because there is too much money wanting to be invested and not enough consumption for all those assets to be put to good use.
He might not have gotten away with it then, but it wouldn't be harming him much today. It might well have earned him a cabinet post or "senior adviser to the president" role in the current administration.
In Germany there are laws dictating the minimum size an office work space must have. Is there something similar at your place?
I work in a high pressure, open plan office, and I quite like it. I think stopping a few times a day to have a chat with someone is good for my productivity. You don’t work at full capacity for every minute of the day, and breaking work up with a distraction every so often seems to work for me.

I think the biggest difference between where I am now, and other places I’ve worked is that all my colleagues like and respect each other. I like talking to the people I sit near, because I like them.
So a system of measurement determines whether people are in the "dark ages." I see.
I'm wondering the same thing, and it looks like a lot of other people are too—from the bottom of the article:

> Edit 7/2/18 — since writing this, many readers have asked “why not just use the cloud? Why computing at the Edge?”. We have realized that we did not provide much context about why we’re doing what we’re doing, so we will follow up with an post about that soon.
> However, if you make a mistake in your proof, then the compiler will happily verify the wrong thing.

I don't use theorem provers in my to day to day tasks, but I had the 101 course at University. Back then I wrote basic proof with the tools, and if your problem is correctly stated and entered in the system, you simply CAN'T arrive to an invalid proof. The only way to fool the compiler is to use logical shortcuts, which are clearly defined in term of language keywords, so you know exactly where is the weakness in the proof, and look for them.

Edit : I don't know every theorem provers out there, so to give a bit more context about my experience, it was with the Coq theorem prover
Windows for ARM is clearly pushing you into the UWP ecosystem which means you can say goodbye to any browser that isn't Edge. Software that depends on DRM, anti-cheat or uses shell extensions is likely not going to work. There is a large hole caused by lack of 64bit support. The cherry on top of all of this is that the emulation is slow and completely negates any energy efficiency benefits of using ARM in the first place.
I'm all for it if an employer wants to make it more attractive to stay at the office. I have fun at work, I eat with my coworkers most days, and I'm not out the door at the 8-hour marker. However, as it's worded, there's an implied "problem" with an employee if they're not actively engaged with work for 10 hours a day.

Between meetings, chatty coworkers, meals, coffee breaks, and just periodic mental fatigue, I think 5-6 hours of productivity is a much more feasible goal for an 8-hour work day.
Italy Wikipedia shuts down in protest at proposed EU copyright law
I sometimes feel I am in a minority of one these days.

Just about every car I've owned, I develop a muscle memory of where all the important switches are, and how far to turn to "hot enough" or "cool enough" etc. Same for most things around - I know fairly well how far to turn the oven for 180 +-10, no need to look. I might check if it's something especially sensitive (rare).

Thanks to iPhone (I have one, and like it) touch has become the answer to everything and that muscle memory doesn't work any more.

My current car is a pain in the arse as despite a dozen switches on the steering wheel they've forced simple functionality into the centre touch screen with awful UI where a simple switch would have worked fine.

Only Apple and a handful of others have any idea of usable UI - and even they aren't as hot as they once were. Anyone making appliances or cars is especially bad at UI. Worse if they decide to add helpful beeps. I don't want to be looking at anything in the car except the idiots outside it and the speedo. Nothing. Ever. Give me the damn switches back!

Heck even smart phones are a step back for use as a camera or phone. Old Sony-Ericssons had the ergonomics of a camera as well, including button and lens cover. Every feature phone could be answered (and most of a text written) without looking even once.

I really would like my stuff to move beyond this cargo cult of touch and keep it just for the iPhone.
Don't assume the cost of the infrastructure for privacy-invasive advertising is free, or that it's just automatically easy to do such things once you're offering some other user-facing service. Acquiring, storing, correlating, and sharing all of that user data is very expensive in architectural terms. It will vary by business model, but I would imagine anywhere from 20-80% of operating costs go out the window if you architect your systems to only offer the services users actually wanted.
Data collection by default. They don't even ask to "opt in". Hopefully they will pay enough in EU to learn.
Italian Wikipedia has obscured all pages against the EU Copyright Directive
I needed help with some slightly complex setting up of users and probably something else. Their support was good, as people here say.
Definitely working on the coolest stack! Building the fastest, smoothest, most sustainable and affordable cloud platform out there. What's not to like? :)
Rather than skip to the end, googling plot summaries (for popular books) and or other summaries like Cliff's Notes (for classics) are also really useful.
If you don't care about spoilers (and if you're considering just dropping the book, why would you care?), you can get a good idea of "what happens" and see if you are interested enough in the "journey" to bother with the "destination."