skysight-inc/HackerNews huggingface dataset:
Electronic piece of cheese!

Symbian OS was very capable, full of features, but hard for developers to pick up and work with. I remember when the iPhone first came out and Symbian developers couldn't believe how few features it had ("it doesn't even multi-task!") but it did absolutely nail the user interface which is what most people noticed.

As a friend working at Symbian once said to me, "it was like watching a train crash in slow motion"
What's this issue people have with PHP? It might have bad things but it IS powering hugely successful businesses. If you don't like it then don't use it, but if someone do like it - why not let them?
1) Discussion based on rationality, of those topics, is worthless. Elon Musk says he is almost certain we are living in a simulation, because of probabilities.

2) You're the one calling it idol worship. I'm pointing out that most people would not take this idea seriously if it weren't Elon Musk saying it - and I still believe this is true.

3) The high school comment is pretty relevant. An intro philosophy class will usually mention Descartes, who thought about this stuff 4 centuries ago.

4) I only said it's funny that grown adults take the simulation hypothesis seriously. Your statement was the one that extrapolated that to religion and found offense.
> HR should be involved in employee reviews and should provide a way for the employee to give feedback on his own review.

One issue I see here is that HR usually sides with management and tend to label you as a troublemaker whenever you disagree with something or someone. HR should always be neutral and they are usually far from it.
Exactly. Physical access is root access.
I prefer lazy-loading both packages and files, but still having
recently-worked-on files available for quick opening, since I
sometimes do restart Emacs :)

With the below form in my .emacs.d/init.el, I can restart Emacs and
the first time I do C-x b I get to pick from files I had opened in the
previous session:

(use-package ido
:init
(setq ido-use-virtual-buffers t) ; treat closed files as open buffers for C-x b
:config
(ido-mode 1)
(ido-everywhere 1)
(use-package recentf
:init
(setq recentf-auto-cleanup 7200 ; clean list on idle rather than startup
recentf-max-saved-items 2000)
:config
(recentf-mode 1)))

That is, ido-use-virtual-buffers will put closed buffers at the end of
the buffer list, while recentf makes that list of previously closed
buffers persistent across sessions.

Also, after opening vc-tracked files, I want subsequent find-file
calls to match on all non-ignored subdirectories of that repo, not
just the directory of the current file, so I use ffir to add tracked
subdirectories to ido's work directories:

(use-package find-file-in-repository
:ensure t
:config
(setq ffir-avoid-HOME-repository nil)
(defun ffir-repo-subdirectories ()
"Use ffir to put projects into ido-work-directories.
This makes useful files show up even if you haven't been to that
sub-folder yet."
;; TODO: compare emacs25 project-find-file
(interactive)
(let* ((repo-directory (expand-file-name
(ffir-locate-dominating-file
default-directory
(lambda (directory)
(ffir-directory-contains-which-file
ffir-repository-types directory)))))
(file-list (funcall (ffir-directory-contains-which-file
ffir-repository-types repo-directory)
repo-directory))
dir-list)
(mapc (lambda (p)
(add-to-list 'dir-list (file-name-directory (cdr p))))
file-list)
dir-list))
(defadvice ido-merge-work-directories (before advice-merge-repo-subdirs first nil activate)
(mapc (lambda (d) (add-to-list 'ido-work-directory-list d))
(ffir-repo-subdirectories))))

(ffir is a fairly small dependency for a vc-general
"list-non-ignored-files", though perhaps there's something built-in in
Emacs' vc.el I should be using instead)
Walter isn't arguing for a greedy algorithm. He's giving an example of a local inefficiency and a mitigation. Lots of local inefficiencies add up to a global inefficiency. Illustrating a global inefficiency in itself isn't feasible in an anecdote. Thus I think your argument by assertion isn't possible to refute: you can bring up "local inefficiencies don't necessarily mean global inefficiencies" to dismiss all arguments that the current system is less than optimal.

Me, I've been stuck at traffic lights for 5 minutes at 2 in the morning, with no traffic whatsoever around. A very local algorithm would be highly preferable at that time of night, assuming usual (i.e. very little) traffic at that hour. It's an extreme example, yes: but there does exist a range of traffic patterns between the small hours of the morning and rush hour, and the same amount of global optimization effort is not applied to all hours, for obvious reasons. Something that could analyse the traffic using cameras and sensors and optimize wouldn't have to be paid extra to work late at night.
No kidding.

Particularly when major energy consumption patterns, and transport especially, have been studied to death. There's exceedingly good data out there.

Thanks from me as well for turning that up.
Maybe even "Alphabet invested $859M..."
He won't eat the cheap one. His food costs more than the tuna cans I eat.
"NASA loses $25.4B on 'Moonshots'" - New York Times headline from July 29 1973
Actually the reason usually is parity across digital divide. So those without access to digital services are not disadvantaged by being forced to use business hours, while digitally-enabled get access 24 hours.

Free internet at libraries could've been a way to work around this inequality of access, but the libraries have business hours too
haha. same think happened to me. But I took my headphone out and started to listen to this. It turned out to be good one. :)
Kennan's telegram wasn't published. It was written by Kennan to impress his understanding on Truman as he took office. The X article was a separate piece of writing.
How is a primary similar to a general election? No one is elected to anything in a primary. A primary results only in an advisory signal to a party nominating process, which is privately run. We just saw the Democratic one conclude tonight.

What is the state or federal government interest in how a private organization chooses to endorse a slate of candidates? Will we see lawsuits and government regulations over how the Sierra Club or NRA choose to endorse candidates? Will we see state officials stepping in to run or monitor caucuses or conventions if the state party decides to do that instead of a primary?

Just because a party primary has the same mechanics as a general election, that doesn't necessarily mean it has the same legal status--or that it should. In fact it's arguable that spending state resources to help a group of private citizens decide who to endorse is an example of straight-up corruption and waste of taxpayer money.
Well... several possibilities.

Could be that they are lying about revenues being small and just trying to squeeze you. That would be a bad thing.

Or, could be they're telling the truth and revenues are struggling. That is a bad sign in terms of financial health.

Seeking to cut costs when times are hard can be a sign of responsible discipline or a sign of desperation.

It's usually a bad sign that a company offers "great pay" and then has to dial it back. Generally seems like a lack of discipline and financial forecasting savvy and controls.

It's hard to say what is going on here specifically. For most startups, you're dealing with inexperienced leadership and most often these measures are a very bad sign. But this may be an exception.

How much experience do the founders have running companies? What % of pay did they ask you to cut? Can you ask if any layoffs are happening? Can you ask how much cash the company has, what monthly cash burn is and/or how much runway is left?

You should ask for something in exchange for the reduction, if you take it. If you believe in the company, you could ask for equity. You could ask for an agreement that they give you at least, say, 8 weeks severance if they let you go (since accepting the pay cut will eat into your ability to save and leave you in a bad position if they need to lay you off).

I'd brush up the ol' resume and start putting feelers out there, just to be safe! Try to ask some of the questions above and also think of what you'd like to receive in exchange for taking less cash pay.

Good luck!
So did they prefer the Vive to the HTC?
I second _The Wise Men_. I found it to be both a pervasive and highly entertaining read.
Search has stagnated. Google has gotten scarily good at anticipating what I want to know, but conspicuously bad at answering hard questions. There's tons of room for improvement.

Similarly, Google Maps has added features that make it a better map, and it's a great place to find what time a store closes and what their phone number is. But it's been essentially the same service, with iterative improvements, for years. There's a world of possible uses for that data beyond what we imagine when we think of a map.
That's not how math statements work.

You think mathematicians are minifying/uglifying their 'code' in the same way that one might use switch/case or ternary expressions instead of if/else if/else statements: in the name of concision/premature optimisation.

However, what the mathematical language is really doing is more akin to what jQuery is doing for JavaScript: it wraps low-level, complex and at times verbose mathematical statements into simpler representations.

Minification !== abstraction/syntactic sugar.
Russia says it can collect encryption keys to decode information from WhatsApp
I can tell from experience that the Linux implementation of ASLR however is completely worthless. Why? Because the executable you launch itself isn't randomized. The executable must be completely trivial for there to not be enough usable gadgets to defeat ASLR.

The Windows implementation is actually better in this regard since executables are randomized as well as libraries. However the randomization is the same for all processes and only changed on boot (because libraries on Windows usually uses relocations rather than PIC so the pages wouldn't be shareable if they were randomized per process), so an infoleak in one process can be used to attack another.
indeed: inspect element -> style='display: none' should not be mandatory to read a page. Grease monkey is an option, but still.
It's not "perfect", it's just "mastered"
> The money that Google spent on areas that have little to do with internet search and advertising used to frustrate investors who wanted to see bigger profits.

"Dear Hen, the process of laying eggs is too expensive and should be eliminated. Furthermore, we're expecting a 5% increase in golden eggs by the end of the year."
the best part of this was it created illusion of moving forward. Nice one. Adding a sound to this can help more.
Since when do libraries used in your code classify as 'bloat'?
>It doesn't depend on ImageMagick (a bonus in my book)

Why is it a bonus besides lowering the number of dependencies?
Self-driving cars look poised to pay off in a big way in the next 5-10 years.
Booting from a CD is outside the OS permissions system. The parent poster is talking about making the CD image.
https://xkcd.com/277/
Yes, you should accept. If you don't, you're not a "team player", and that's the kiss of death at any company.

Then, if the pay cut was significant, start thinking about other employment. If you have no benefits and no equity, it should make your decision easier.

is this a bad sign for the company?

Not necessarily. Many startups go thru uneven growth.
IoT Platform Design Doc: Distributed OurCI
That last part feel really like dirty schedulers. Which have an experimental implementation in the BEAM recently.
Dupe: https://news.ycombinator.com/item?id=12168576
They do have a note in at least their most recent video that the video is filmed through their tech with no post-processing, so I think it's a bit more than a concept video even if it's still hard to judge how far along the tech is.
Tackling quality control and superfluous/irrelevant/out-dated reviews are hard problems to tackle. That last if is a big if.
Just shows how important user interface is..
x86_64 is more work to get bootstrapped than 32 bit mode, it might still make sense to do hobby hacking projects in 32 bit mode.

Although I've not worked with EFI (only multiboot) so I'm not sure how different it would be.
Unless you only draw to part of the display. Given that it is AR, maybe they rely on most of the display being blank.

Still, I agree that sounds infeasible.
The N95 hardware felt cheap and plasticky. Performance wasn't that great either, nor was the screen.
That's what's need to be done on windows. The other dumpers can do better by just dumping the segments and loader commands, by taking special care of base address adjustments and restoring the old malloc'd heap structures, not be mixed up with the new heap.
A normal linker will still need to reload the shared libs, and then adjust the external symbols there.

Your solution needs several seconds, unexec just a few milliseconds.
I understand it all except how they supposedly cancel background light to make black. It would only be theoretically possible if ambient light were coherent - which it isn't - and even then it would only be possible if everything were perfectly still.
The starter edition seems available only for German customers.

As a French customer they quote me north of 3000€ for RAD studio ... they're crazy.
Google seems to be actively attempting to avoid the trap that Apple, Microsoft, Facebook, etc have fallen into. When you completely dominate a market, it can be tempting to optimize and be the best at serving that market. But the nature of tech is such that markets have a short lifespan. New innovations are constantly overturning old monopolies--just ask Microsoft. By investing heavily in high-risk, high-reward prospects, Google is insulating itself against future disruption.

If the display ad market collapsed 5 years from now, Google's investment in AI, self-driving cars, AR, robotics, etc. might be the difference between continued dominance and irrelevance. Tech companies rest on their laurels at their own peril.
Customer Care and Delight Tactics to Deploy in Your EShop
So if I want to develop let's say, python applications, I would have to download the python runtime from Windows Store? This seems unbelievable and would make a lot of people leave the OS simply because it's getting too locked down.

I like windows today but I have no real loyalty. I would have no issues with leaving it for Linux the day it's too locked down.
The first iphone didn't even have 3g
Like I said, implementations vary and I don't mean to defend them all, just the core idea. And I'm not even necessarily a supporter of alimony at all; a system where such spouses got actual unemployment and other state benefits instead is probably preferable.
Tint 2Pcs Different Style Waterproof Lengthening Mascara Group Reviews
Well, people have found success embedding Lua or JavaScript, since they're easier to sandbox than Python.

Now, Python extensions can be a bit hard to get right. Especially since Python has a specific threading model and if you are trying to wrap an existing C++ code base that is multithreaded in Python... it can be challenging.

Anyways, best of luck with your quest.
Ops, i of course meant Rift and Vive.
IMHO you should only accept the cut if you answer absolutely yes to the following questions:

* are you 100% sure that, if revenue had been higher than expected, they would have given you a substantial raise? Or are you supposed to share the losses but not the gains?

* can you take the cut without blinking?

* is working for this startup really better than working for a comparative startup that doesn't try to pay less than agreed upon?
Great news! Keep it up!
Sounds like a conflict of interest. Why is a son allowed to be a lawyer where their dad is also a judge in the same jurisdiction? There should be another judge stepping in when so closely related to be fair.

Just like how the president can't be from any other country in case they had to attack their own country.
So many submissions, so little discussion, and yet with so many submissions, clearly lots of people think it's interesting and relevant. Will this be the first submission that gets a substantial discussion?

https://news.ycombinator.com/item?id=12127803 (5 comments)

https://news.ycombinator.com/item?id=12064083 (4 comments)

https://news.ycombinator.com/item?id=12150661

https://news.ycombinator.com/item?id=12110238

https://news.ycombinator.com/item?id=12100267

https://news.ycombinator.com/item?id=12072310

https://news.ycombinator.com/item?id=12066079

https://news.ycombinator.com/item?id=12065530

https://news.ycombinator.com/item?id=12064984
Those businesses are using the courts, one branch of government, to suppress free speech.
> Only thing close to Google's F0 RDBMS

Did you mean F1 (instead of F0)?
> Moonshots are called that way because they bear both immense risk of failure as well as a potential to bring in billions.

Which is kind of funny because the original moonshot was a rather predictable thing (build bigger rockets until one is big enough) and success only meant that you could stop spending billions.
This is very good, thanks and congrats.
Linux: Controlling access to the memory cache
Single-strand renaissance prortraits
> Here's another: be honest and open about what you committed to.

That is my point. If you want openness from people the original phrasing might not be the best. Nailing them with questions won't help either.

If a manager is not able to take into account human nature and it's quirks, they certainly can't improve anybody's productivity long term.
Long-running malvertising campaign infected thousands of computers per day
> So if you eat a vegetarian meal at a restaurant at $40, that is worse for the environment than eating $10 worth of meat at home.

This is just so completely false and what you are really doing is trying to simplify it too much.

Sure if the vegetarian meal was grown where there used to be a rain forest, flown across the world and driven in trucks then maybe it would be worse for the environment than a small local farm that don't have a lot of animals would.

But that is _never_ the case and to get that $10 meat the meat have to eat a lot more than my vegetarian meal. Everything is of course depending on the conditions, but there is no need for any denial on how bad meat production is for the environment. It is unsustainable for the humans to eat as much meat as we do today.
> Interesting. I'd be curious to see how the hours spent at work impact that number.

I'de more interested in comparing these percent changes with the sample's margin of error.

Extrapolating conclusions based on a deviation of 0.8% sounds an awful lot like grasping at straws.
Samsung has the Galaxy Camera Series with an Optical Zoom. A Similar Cameraphone is available from Panasonic.
>I had an iPhone 4 at one point and the existing Nokia devices were still able to compete, thanks to Opera also on the browser side.

Thanks to Opera? Mobile Safari on the first iPhone was the first browser that actually made sense and showed the web as you should.
Number (3) is specially painful. The fact that their documentation makes it very explicit that the host is bridged by default and containers are "pingable" aggravates it a little bit further as it seems as a very basic pre-requisite for the tool to be usable.
Google operating costs are more than $5 billion a quarter.
$859M is not that big.
re: 2, and please forgive the slight necroposting.

That men and women might be biologically predisposed to find certain pursuits more attractive than others should not be controversial.

But even if we cast biology aside, and assume (against all evidence) that differences in preferences are due solely to socialization, is that bad? Is it bad that women feel more drawn to caregiving careers and men to analytical ones? Even if, which I do not for a moment believe, these differences in behaviour and preference were due solely to socialization, so what? As long as people are happy and fulfilled, why would that socialization be a wrong that needs righting?
In context:

> Nonetheless, almost any interesting certified programming project will benefit from some activity that deserves to be called proving, and many interesting projects absolutely require semi-automated proving, to protect the sanity of the programmer. Informally, proving is unavoidable when any correctness proof for a program has a structure that does not mirror the structure of the program itself. An example is a compiler correctness proof, which probably proceeds by induction on program execution traces, which have no simple relationship with the structure of the compiler or the structure of the programs it compiles. In building such proofs, a mature system for scripted proof automation is invaluable.

What this means is that the proof of the compiler's correctness will often look different from the implementation of the compiler, and the proof language can and should have different structure and produce different output. Isomorphic doesn't mean identical.

But, this section also doesn't refer to program extraction. That's introduced later. In the program extraction world, rather than having a program, and a proof of that program, you start with the proof, encode the program behavior into the proof, and extract the program mechanically from the proof. Keep reading and you'll see how :-)

Edit: Even more context, for those unfamiliar with coq:

> In comparisons with its competitors, Coq is often derided for promoting unreadable proofs. It is very easy to write proof scripts that manipulate proof goals imperatively, with no structure to aid readers. Such developments are nightmares to maintain, and they certainly do not manage to convey "why the theorem is true" to anyone but the original author. One additional (and not insignificant) purpose of this book is to show why it is unfair and unproductive to dismiss Coq based on the existence of such developments.

Coq has a proof language that's very powerful, and very rich, but can also be very obtuse at times. Because a single proof statement might discharge a number of proof goals without really making it clear how, and because you can write your own proof "tactics" (functions/macros, essentially), you can write a proof that looks totally different from the program you could extract from it. Nevertheless, the fact that you can extract the program proves that the information required to construct the one gives you the other -- they're isomorphic. (We currently lack the tools to go from a correct program to the proof of the same, but this is a statement about ourselves, not about the correct program, modulo incompleteness.)
Why working the night shift can pose a cancer risk
It'd be cool if they added a checkbox to see only verified reviews in your searches and product pages.
Extremely small data set, just 24 ppl were outside of low-orbit.

There are tons of other correlations that can add to it. E.g. astronauts are hand picked group that often gone through years of specialized training.

Edit: There are different subgroups in the article, all of them are small. I mentioned "Deep space refers to the frontier beyond Earth’s protective magnetosphere and atmosphere where only 24 humans in history—all Apollo astronauts, have ever travelled."
BTW, one might notice how a language with type-tagged data (a value has a type, not a variable, there are no box-like variables, but bindings) is much more suitable for data exploration and analysis (python + pandas is a good example).

Also homogeneous lists and especially conditionals is kind of awkward - tuples aren't as flexible as lists. Defining a type for each possible row and then pattern-match on will result in a lot of useless boilerplate, almost as bad as Java.

Common Lisp, it seems, is a better choice for such problems.
You absolutely should – the music made this a lot more awesome :).
yes, absolutely. they do have 75B$ in cash and another 60B$ in short-term investments. So they have 135B$ to spend. judged by that number Google is too conservative.