skysight-inc/HackerNews huggingface dataset:
Just imported my bookmarks and writing this message from firefox. I was hesitant to move for a long time because I liked chrome dev tools a lot but it looks like firefox has caught up.
A mistaken include in a build file, most likely.

I've removed all sorts of dumb stuff slowing down the build that was included by accident or unnecessarily on my project at work. Never attribute to malice ...
I worked for 2 years on the crawl infrastructure team of a well-known SEO/analytics company that was pulling in over a 120 billion web pages a month. It was definitely one of the most difficult projects I've ever worked on and we did have a team of 6-7 very incredibly smart people -- not "25 experts in distributed systems" though :P

This is a very lofty goal and I'm not sure how you are going to tackle it with 3 people, however I'm rooting for you and would love to get my invitation soon. Best of luck.
protonmail sells your email for profit. I would better recommend fastmail which charges you, but it is still in unsafe legal regulation. You are not safe from the "lawful" dragnet neither.
Is that just your opinion, or do you genuinely believe most Chrome users see it that way?
FWIW, the non-parallel version yields a profile like:

- 25.69% postgres jitted-24373-18.so [.] evalexpr_3_3
- 96.00% evalexpr_3_3
ExecAgg
+ 2.89% __isnan
- 12.15% postgres jitted-24373-16.so [.] evalexpr_3_0
- 99.38% evalexpr_3_0
ExecSeqScan
ExecAgg
+ 0.56% ExecSeqScan
- 11.74% postgres postgres [.] heap_getnext
99.83% heap_getnext
ExecSeqScan
ExecAgg
+ 9.31% postgres postgres [.] ExecSeqScan
+ 7.66% postgres libc-2.27.so [.] __memmove_avx_unaligned_erms
+ 5.61% postgres postgres [.] heapgetpage
+ 5.36% postgres postgres [.] ExecAgg
+ 5.35% postgres postgres [.] MemoryContextReset
+ 4.11% postgres postgres [.] HeapTupleSatisfiesMVCC
+ 3.53% postgres postgres [.] ExecStoreTuple
+ 2.55% postgres postgres [.] hash_search_with_hash_value
+ 1.63% postgres libc-2.27.so [.] __isnan
+ 1.16% postgres postgres [.] CheckForSerializableConflictOut

so it's pretty clear that there's plenty additional work can be done to improve the generated code (it's pretty crappy right now), and that there's potential around improving things due to batching (mainly for increased cache efficiency).
You don't get to throw those out and say you're not censoring people.

"I'm trying to run a business here," is not an excuse to quash completely acceptable communication between people at work. In fact, if your worker's are incredibly divided on a topic, it may be time to have a good think about it.

Not that you should have to. Citizens United was a farce in dire need of being undone.

Either way. I get where you are coming from, and agree to a point, but enforcing a schizophrenic divide between personal and work lives isn't a very good answer either, and just creates fear amongst people that keeps them from speaking out when something is genuinely wrong.
That it's always there - without taking up a hand.

Temporary dashcam, recording a lecture, ar applications to provide information (e.g. price deltas for food in a supermarket), notifications, etc.
Is there a flag for compiling out integrated login?
What I hate about the algorithm is that I feel it’s constantly nudging me towards “that” youtube. It feels like someone pulling on your sleeve and saying, “You know how you watched five minutes of the Cyberpunk 2077 trailer? Maybe you’d like a dozen recommendations of GG conspiracy material and tweens screaming at FortNite? And hey, remember that time you watched a living historian cook a meal from the 1800’s? Well, here’s some dude trying to eat a dozen hot wings. You like food stuff right? RIGHT?!”

It’s still better than the pure vomit on this fair site, but it could be soooooop much better if it didn’t try to maximize engagement as the primary goal.
Heck, we don't even know everything there is to know about things here on Earth. And not even going as far as unreachable ocean depths or unexplored remote locations, we even still discover new organs in our bodies, or neurons in our guts.
That's co-recursion, rather than strict recursion.

It's plausible that a compiler might catch the tail recursion case but ignore non-recursive and co-recursive tail calls.

Consider:

def even(x, useless, arguments);
return x == 0 or odd(abs(x) - 1)

def odd(x):
return x == 1 or even(abs(x) - 1, 6, 9)

There are two more formal parameters to even(), which means the stack frame when calling even from odd() includes two more actual parameters.

If the compiler follows the usual stack management approach of having the caller allocate and release space for actual parameters, this means the caller has to be aware that the stack space for odd's actual parameters is larger than the size needed for its formal parameters.

If odd() is tail calling odd(), there's no difference in actual parameter space, and so the caller can be ignorant of it.

It's a minor enough difference that any compiler implementing TCO should handle it anyway (just keep track of the maximum parameter size required in a function's tail call tree, and have the caller allocate and free enough space, or have the cleanup of actual parameters performed by callee) but big enough that a toy or experimental compiler, or one in which TCO is being slowly added, might just do the simple case only.
> Also as a word of caution, don't use ungoogled-chromium binaries

Unless you’re reading every line of code yourself before compiling it, I’d say you’re no safer going you’re route than downloading the binaries offered from the same source.
> Network stacks, databases etc. that correctly handle trillions of interactions,

But they have also incorrectly handled a similar order of magnitude of transactions! Routing failures and issues that people troubleshoot around, misconfigurations and bugs, and simple electromechanical glitches exist in the real world and they're not some kind of zebra, you can force them by pining a server.

Our networking systems "mostly work" because they're persistent, and because (interestingly) the difference between a perfectly coordinated networking system and a purely chaotic networking system with random traffic is actually rather small compared to other domains.

> On the other hand useful formal accounts of their behavior (distributed, highly parallel, loosely coupled, asynchronous) seem far, far way.

Generally what makes a difference between a "robust" program and a brittle program that simply falls over is how much of its own failure it attempts to take into account. Even bad models of self-failure (pre-OTP erlang, for example) are better than no model at all.

> Perhaps the house of cards that is revealed is formal methods not software.

Given that almost no one applies formal methods and dependent typing is by no means a part of that discipline, I'm not sure it's fair to draw those comparisons in this conversation.

Dependent Typing is not formal methods, nor is it verifcation. It's code that allows for automated reasoning. It's closer to the machinery of formal methods, like datalog or an SMT solver.
Now, and always. It’s not like bear baiting and midget shows were ever popular because the average person has refined tastes.
> The Standard Model has nothing to say on these, it is fundamentally incomplete. I fear we won't answer these questions within my lifetime, sure, we may get tantalising hints from astronomy, but not direct observation in experiment.

One of my coworkers is a trained particle physicist, and he will be the first to say that the standard model is a mess and nobody in the field actually believes it's correct, just that it's what they currently have to work with. He describes it as basically a switch statement depending on the field in question.

None of this is meant to denigrate the endeavor, it's just that nuclear physics makes electrodynamics look like child's play.
>"IMPORTANT: These binaries are provided by anyone who are willing to build and submit them. Because these binaries are not necessarily reproducible, authenticity cannot be guaranteed."

Safety not guaranteed. Just how I like my browser.
The timestamps on call and message lists don’t update properly either. Switching playback source (earpiece to speaker) often doesn’t work. Screen shuts off even when voicemail is still playing.

All this unfixed for years now.
Could you please provide a citation for your first claim that ProtonMail sells your email for profit? Their entire sales pitch heavily revolves around clientside decryption that should in theory prevent this from being possible; I'd very much like to know if this is not the case.
Virtually everyone that would own one of these already has a smartphone with more computational power, where an app can be made, or already exists, that does all of these functions or more.

Is the only reason for this to exist for use on a standardized test?
I'm the founder of Orchestra (http://orchestrahq.com) and our mission is to "accelerate the world's adoption of machine learning and artificial intelligence".

Most if not all of the machine learning models in the world never see the light of day. They never get productionized and embedded into web and mobile applications. We believe that web and mobile applications can be so much more smarter with machine learning and AI capabilities. By building a platform to make it easy to embed models into web and mobile apps, we hope that this will drive adoption.
Yes, roughly quadratic increase of LOD over the long term, but over short term more like a random walk. Right now the earth's crust is rotating faster than it did a century ago because things have speeded up. For a view over 2 millennia see plots of LOD at https://www.ucolick.org/~sla/leapsecs/dutc.html
Hardly. Go back and read old newspapers. They were all awful. This myth that societal culture is on the decline is just a failure to understand that time is a polarizing filter to remove the glare of bullshit.
In retrospect, I feel like I lucked into an industry where the work is extraordinarily flexible and disproportionately lucrative.

So once I reached a mature point in my career, I emphasized taking control of my own time so that I could blend other things into my life as I wanted to.

Industry stuff pays the bills and I can make decisions about how big I want those bills to be and how much I want to work to support it. The rest of the time can be spent doing almost anything.
If I flipped a light switch and the room caught on fire, I hope that your response won't be:

"I've never seen this happen before and I've been in some pretty insane buildings"

I've never seen anything like it happen on any other website either, but yet here I am. The failure is so stark that I would have no idea where to begin debugging, and would likely need guidance from someone with more knowledge of the system so I wouldn't waste days of my time. I've reported the issue in the past and gotten nowhere so here I am trying in a different avenue.
I wish Firefox was as sleek, fast and no-nonsense as Safari on the Mac, which is my everyday browser. I vastly prefer the idea of an open browser that is not tightly coupled to a particular industry giant. And I wish Firefox actually had a viable Safari competitor on iOS, so that I can sync my state around.

Unfortunately, while Firefox has made significant leaps the last couple of years, it's still not a viable alternative to Safari for me. It doesn't feel particularly native (neither the "chrome" nor form controls etc.), and the UX is still clunky compared to native Mac-first apps.

One particular way in which Safari absolutely beats Firefox is the address bar. Most of the autocompletions that Safari provide are exactly what I want. As an example, if I type "mapq" into Safari, it suggests mapquest.com (a site I've never visited before, so this is not based on anything from my history). For Firefox, it suggests a Googles search for "mapquest", which is just stupid. Aside from suggesting web sites, Safari is superb at showing good results (Wikipedia is often a top hit), and it is awesome at providing autocompletions from my bookmarks and history.

Firefox also seems a bit lost when it comes to innovating, and keeps coming up with weak concepts that don't get any tractions; Personas comes to mind. Container tabs are a similarly interesting idea with a weird implementation that requires you to micromanage your tabs, which I certainly don't want to, and provides a "techie" solution to something that should just be invisible and default (i.e. all web sites should be "contained").
I think I'd want notifications to be an audio signal or vibration, with a display option triggered by touching the glasses.

A watch does notifications as well as glasses, but no better.
We are FreeWill (http://freewill.com/). We may be the most efficient fundraising tool for charity ever made. We provide free wills to people, and make it very easy to donate charitably in that process. We've raised over $190M for charities in just over a year! At the same time, we've made legal services more accessible by providing free estate planning to over 17,000 people.

Just had a feature in the New York Times: https://www.nytimes.com/2018/09/07/your-money/online-wills.h...

hmu with interest and feedback: jenny@freewill.com.
I'm a co-founder at Stitch, and our mission is to inspire and empower data driven people.

I believe that the development of the scientific method and evidence-based decision making is the most important development in human history. It's not universal, and it's a lot of work. We want to motivate more people to come over that way of thinking and make it easier for them to do so.

www.stitchdata.com
Google started going down the path I would describe as an "evil" path years ago. I'm glad people are starting to notice. I used to be a huge Google advocate, up until about 2008. So many things have changed since then.

Adsense was the first breach in trust for me, when they banned my account for no reason and ruined any chance of every monetizing my content...since they are basically a monopoly in that area. Getting off their blacklist, is literally impossible.

Then came Chrome and Android, which grew to collect so much information on people that it was genuinely baffling.

Then my agency work and work with previous Google employees telling me about Google sales tactics to SMBs in Adwords. Intentionally not focusing on ROI because they knew the companies had such high burn out rates. They would, and continue, to milk them for whatever they are worth. They know the company is statistically going to go out of business in a year, so just take them for whatever they are worth! Luckily agencies act as a middle man, if not for that, the abuse would be so much more widespread. But if you deal directly with Google ad sales (and this is something I never knew existed tbh) they will intentionally screw you if you are under a certain spend.

Now they have growing and creeping monopolies in advertising, and their only real competitors are Amazon and Facebook... which to me are both on or near the level of sleaze that Google has crept to.

Now things are accelerating, with Chrome's increasing intrusion, Android's increasing intrusion, deals with Chinese governments to stifle freedom of expression and speech. Google AMP being a closed system that's only goal is to push Google into controlling more of the web.

Add to that, let me preface that I am not a Trump voter and never will be and probably lean more towards the politics of Google leadership, but the video that leaked out (it sucks it leaked to nutty Brietbart and not a real new organization, maybe it would have been taken a lot more seriously) of the Google town hall also baffled me. I think Facebook might even take their moral obligation of objectivity more seriously than Google...and that's a serious problem. Algorithms can determine electoral outcomes, and Google is one of the top tech lobbyists in Washington. Doesn't that bother anyone?

This is no longer a company I can advocate anyone using. Unfortunately because of their monopoly status in advertising I have to deal with them.
The largest species can draw blood and might if they thought your wiggling finger were a flying insect. I don't know of any cases where a mantis did "real damage" to a human.
True. This is because they're attempting to parasite the hashtag, and because Youtube has a perilously bad conflation of conflict as "engagement."

It may also be a warning that folks looking to push social change that teens and young people want so badly should get the hell on youtube and provide worldviews that are not, "The press is bad because it lies and also I hate the 19th amendment."
Generally as a software developer I can assess which projects' source to trust, else I wouldn't be running thousands of transitive dependencies in my machine.

Binaries which are unofficial to even ungoogled-chromium itself surpass my threshold of trust.

But yes, one could take a further step and extract the interesting bits from this project and apply them to the official Chromium trunk.
This is such a pretentious comment, but I can't disagree with it. It's not that YouTube is stupid, it's that most people watch really stupid videos and that trending algorithms are a black mirror. Everything you see in trending is the LCD of what average people are interested in.

Twitter trends are being dominated by sports I couldn't care less about, Reddit's front page is constantly bombarded with FortniteBR posts, and YouTube is being taken over by clickbait, tabloid press and garbage. Evidently, that's what people want.
>Money is the root of all evil.

The love of money is the root of all evil.
It's more of an OS issue here. Google doesn't view Android as a separate line of business. It's merely a moat for the search business. There's no way for an OS to be a moat for another business without abusing the OS.
Story telling has nothing to do with logic. It's just making stuff up. Not really something I would look for in my doctor ... even if it helps him remember.
C for the c convention and how to translates to machine code and how you can use this convention to interact with libs.

Smalltalk because it's pure, simplistic and there isn't many languages that lives in a image, it's truly a a different kind of oop.

Prolog because you try to understand what can you do with the computer if you just ask something to it.

Haskell or some functional to understand lambda calculus and why is it powerful.
Adopted a very loving FIV+ cat that lived way longer than the shelter said he would. Adopting him was one of the best decisions I ever made. He never went outside, but he never showed one hint at ever wanting to go out. He went from feral cat to comfy spoiled house cat.
In spirit I'm with you but somebodies bound to do it and that alone makes it safer to compile from publicly provided source.
They don't learn to fly, they just have that ability after their wings are developed. It's just that they don't fly often (in captivity or the wild).

Also, my experience with the order in which they eat their prey is different from yours. Mine would eat fruit flies ass-first and would tear the wings off moths, both while the prey were alive.
>Just bite the bullet and run the 2h compilation process yourself.

I don't think that's the best use of everyone's time or energy. Not to mention, it may be more error prone, or even insecure depending on what your base system is like. And you'll have to track updates. It seems like chromium is problematic to build in general. Debian hasn't marked it as reproducible. It is also not clear if it is possible to build it for Android using a Foss stack. Various efforts to include chromium or derivatives in Fdroid have failed.
In 1950 astronomers pointed out that there would have to be two kinds of time, one to agree with calendar days and one to be as uniform as possible. Arguments over subsequent decades inexplicably decided that there could only be one kind of time specified by international agreements, and we ended up with a choice of two out of three characteristics in what we now call UTC. https://www.ucolick.org/~sla/leapsecs/picktwo.html
There is a very important difference between the two.

You can access a web site via ubiquitous, open-standards compliant software known as web browers. This means you can use the service from any operating system/computing platform you wish, existing or future, provided it implements said standards.

It's obviously important that we resist transitioning to a world where core life activities like commerce and banking requires running proprietary software on a finite set of supported proprietary systems.

This is fundamentally about our freedom.
Developer Edition is essentially Beta with a few changes (which means additional telemetry by default so probably not up your alley):

https://hacks.mozilla.org/2017/04/simplifying-firefox-releas...
(edit for better link)
They've actually fixed a number of minor issues over the past year or so, but Firefox still doesn't support pinch zoom on Windows[1]. Being able to reorder tabs using the touchscreen would also be nice, but not as critical.

[1] https://bugzilla.mozilla.org/show_bug.cgi?id=688990
Coca-Cola Is Eyeing an Entry into the Cannabis Market
C'mon. People are trying to stand up to Google. It's important to encourage this behavior, or at least not spread FUD with unsubstantiated claims of insecurity.

EDIT: Lol, Google employees swarming HN on a Sunday. I guess people are getting a little nervous that a mass exodus from Chrome might be beginning.

Hey look ma, an unsubstantive complaint about downvotes! Can't wait for my account to be penalized further.
U.S. Preparing ‘Series of Actions’ Against Venezuela in Coming Days
> The key, for me, was also modifying my eating schedule and screen usage (computer, phone, TV).

Well, now you've introduced more variables into your anecdote. Any one of those could have been responsible for your feelings of 'well rested' and 'alert'...
Any problems with Safari?
The Spider's Web: Britain's Second Empire
this kills firefox for me.
It's not GDPR. If anything, GDPR will help undo some of this as test cases in the EU are litigated.

I think the change happened shortly after Ruth Porat was brought on and the Alphabet reorganization was announced (Larry Page wanted to retire without having that be the headline). There was clearly a change in mandate to start monetizing more aggressively and you started seeing the ad load increase across all their properties. That all happened during a lull in Google's stock price. It started trending upwards after Porat signaled to investors that all the money pits would be cut back.
If you think different profiles is comprable to container tabs, you haven't really understood how to use container tabs, or possibly even what container tabs are for.
Show HN: Hacker News Clone Built with AMP HTML
Ask HN: How to fire your Co-founder?
I created an anonymous account to post about this, since it's a very delicate situation.

I've known my co-founder for a while, we've worked together before and overall we've had good outcomes on our businesses.

Now we're working in a new startup that's far away from his comfort zone and he's not being able to catch up and do what the startup needs in this stage. We've talked about it several times, but situation hasn't changed.

Now, I can't waste more time trying to make him change his mind and talking about what we need at this stage, so I know that I need to fire him.

He's very good for areas that the company doesn't need now, but it'll probably will in about 2 years.

Startup situation:
- product launched
- pre revenue
- non of us are vested
- we raised some money (about 120k)

So my questions are:
- How would you approach the issue?
- What'll be a fair deal to give him?
- What if he wants to stay at the company?
- Giving that this is high season for us until the end of the year, should I wait until December?
- Any other recommendations?
Flexport is hiring – help more than 10k companies ship products worldwide