skysight-inc/HackerNews huggingface dataset:
I'm curious who the audience is for this. If it's people who actually care about maths, then this doesn't have any real value, because they already know LaTeX and will most likely appreciate the higher precision that offers (I personally fall in that category). If it's people who normally don't really need to write mathematics, then for the few times they need to, LaTeX might still make more sense due to convenient quickly-googled online LaTeX creators like https://www.codecogs.com/latex/eqneditor.php

If there's a demographic between those two groups, then I might simply have a blind spot, but... whose problem does this solve, and what is that problem? Because just saying "LaTeX is too much effort", the immediate counter-question is "for whom, exactly?" because it won't be people who already use LaTeX, or need reliable maths typesetting on a daily basis, and it probably isn't for people who need to use maths maybe a handful of times a year. So who's left, and what problem do they have where asciimath makes life easier?
Maybe you're underestimating how human culture can change in few years, specially when you consider the rising economical impact of climate change...
Neither Chrome or Firefox support HLS on the desktop despite providing support on mobile (since Android 3.0 I believe). They have categorically refused to add desktop support, if you have any complaints I would take it up with them.
AsciiMath is more readable than Latex for just about everyone except perhaps professional mathematicians. Simplicity versus power.
None of those things are difficult. And don't say 'no slashes or brackets'. Swapping `\sum_{..}` for `sum_(..)` isn't reducing the number of brackets, and in fact I find the top harder to read as it has more of just one type of bracket.
Feedback for the author: this site is currently best viewed at 80% zoom and a browser width of 320 pixels. Originally (at 15.6", full hd screen) I have to keep jumping from center to left with nothing in between, which feels kinda weird on my eyes.
Functional Relational Programming in UI Programming (2016)
It sure gets more hits than my MySpace profile
I used to have a lot of problems with my imac, but that was more a function of have extremely low hard disk space and apps that don't behave well when that happens.

Also many mysterious crashes can be RAM problems.
Note: from 2012.

The original HN discussion can be found here: https://news.ycombinator.com/item?id=3653161
If you want email to have autocomplete, then it does. 'Email' isn't a client. The client you choose to use is. Write your emails in vim -> now you have autocomplete.
How can you trust someone that disable horizontal scroll on smartphones?
I exactly felt this way until spring of last year, when the founder was fired.

After that, there has been really great, killer-app features which make me love my Nest again.

They have human-detection, which is critical for security, and it really useful. I don't look at any alerts that say "Nest has detected a human", etc. And the app has gotten pretty decent. You can scroll through a lot of footage very quickly, or look only at the footage where an alert was generated.

Overall, I think the Nest has gone from frustratingly useless to really great since earlier last year.
I agree with you, there are so many places in religious texts where we would be ridiculous and possibly have some evil agenda to read the text literally. But in other places, we have 'proof' (if you will) from the "Sunnah" (way) of the last Islamic Prophet regarding those exact things, so there's no debate nor room for interpretation. For this particular point, we have too much "proof" (in the same regard), so that's why there's no room for interpretation here and the question of reading things literally is irrelevant.
Then we will sooner or later loose. It is true that this time we might avoid disaster (it will be very rough whatever we do from now on) with the help of technology. But that is just luck that there is a technology available to help us. In a slightly different world, solar would never be cheap enough or good enough to provide energy in a sustainable way. And this is true for many other aspects, tragedy of the commons is hundreds of years old.

The fact is we need regulations and incentives to do the right thing.
It's not that hard once you're used to it. I just glance at the clock several times towards the end of work to know exactly when to wind things down and stand up from my chair at exactly 17:28:15. The optimal time was determined by observing elevator business patterns, crowd thickness downstairs and delay margins of train arriving at my stop.
I don't know anyone that wants to live 25 miles from work. But almost everyone I know cannot afford to live closer and wants to. I'd love to live in the city. Too bad it's completely unaffordable, even at 3x the median income. This particular solution you have provided is also a solution only the upper class can employ, just like the one in the article. Wind turbines and nuclear reactors: now we're finally getting somewhere. And to build those, you need politicians that are willing to propose and fund them. I'm all for wearing sweaters indoors and only buying phones when the planned obsolescence of modern software makes them unusable (3-5 yrs), but that's an insignificant drop in the bucket. You will never get enough people to adopt such actions without legislation.
Yeah, you're right of course. Any solution requiring humans to change at large scales through raw appeals to emotion is itself Dead on Arrival.

This is where I'm really happy that the cult of mustachianism[1] is spreading as virally as it is. More people than anyone could ever have imagined, up and down the economic spectrum and up and down the Cost Of Living spectrum, are banding together to save money, and by extension, reducing their carbon footprint.

It's getting big enough that I get the feeling that the new status signifier is (slowly/glacially) becoming being able to live without excess. This is great because it will slowly shift the goalposts of what people aspire to.

[1]: http://www.mrmoneymustache.com/2012/03/07/frugality-the-new-...
It's complicated but it's been solved already. There are already services that keep the tax tables up to date and issue the funds to the respective districts for a small fee. Amazon will use one of these services like everyone else will.
I don't have a TV so somehow I missed the moment when "monolith" became a dirty word.
My theory is that he was an senior elder of his tribe who was either challenged or challenged the leader. (evidence: the expensive furs)

He lost (contrary to the article), was expelled and was followed by some younger member or members and killed to make sure he didn't come back. (evidence - no good bow and only some headed arrows)

His belongings were left either out of respect or that the killers didn't want it known that they killed such a respected elder.
I love all the speculation in this thread so I thought I'd just chime in and say blood from four different people has reportedly been found on his weapons. I believe both axe and arrow heads.

This was on HN a few weeks back but I couldn't find that particular article, instead I found one on NatGeo[1] from 2003 saying the same thing.

1. http://news.nationalgeographic.com/news/2003/10/1030_031030_...
> They will stop going to your website.

Exactly. Ever since the LA Times started blocking ad blockers, I do not visit it. If I accidentally click on a LAT link, I'm quickly reminded that I don't want to be there and close the tab.
I'm sure it will be productized into a simple Cydia app that can be bought and used instantly.
Or cuts the power / cable line with the same bolt cutters they use to cut locks.
Exactly this. I really like this punctuality and routine, so delays are rather annoying when they occur.
The users/organizations app example sounds like the app is self-contained anyway, I don't see much difference between the app having its own data store and the centralized data store service, it's just which service to call for upstream. What would you gain by moving from the app's own store to the central store service and eliminating the app?
Submitted and discussed extensively a year ago:

https://news.ycombinator.com/item?id=10736584 (52 comments)

... and three years ago:

https://news.ycombinator.com/item?id=7815190 (58 comments)

... as well as a couple of other occasions:

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

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

That doesn't mean it's a bad article, but if you're interested then you might like to read what HN readers have said about it in the past.
One may use \left( and \right) to get automatically-sized brackets.
> The smoke alarm wasn't even a good idea. A smoke alarm is a device you hope to never have to use.

Why does that make a smoke alarm a bad idea as a product?
How kindly would you look at someone who said they didn't have experience looking up documentation?
I would love to have the opposite, get the code from writing maths as it is printed. Has that been made?
I'd argue that showing answers on the search result page is a bigger innovation than "instant" was. It also requires much more new technology.
Hey do you mind sending me a picture? You can reach me at wenqin908@gmail.com
I've had that problem as well and am trying to fix it. For some reason the mobile build is unreponsive at times.
Why would they support a closed, proprietary format when there exist better, open ones?
The fact that you say "I am not ashamed to learn from them" says you are always conscious of the fact about you not knowing more than every one else. I feel this seems to be problem with culture being frosted in your organization.

Team / Dev Lead does not mean you need to know every bit of code being written rather concentrate on bigger picture. You need to lead by providing guidance and make sure you are not trying to micro-manage people which may be landing you to compete with your team members. All projects have leads but there are developers who are very good in their work, the more you give credit to their work, the more you become trusted and lead status otherwise you will only be competing with your team members.
We could practice by colonizing Venus.
The in such situations, engineers often are the managers.

For example I asked an engineer uncle of mine what kind of salary to expect when moving back to Australia. He immediately started talking about middle-manager compensation.
One of the theological cornerstones of Islam, is that the Quran is the perfect, direct and unalterable word of Allah.

If you have faith in Allah, if you truly believe that he is the author of this world, and if you accept Muhammad as its prophet. Then, I genuinely wonder what room is left for compromises. How do you interpret "Kill the apostates"? How can you, in good faith, pretend it is an allegory?

This is what Islam requires from its followers: blind and complete trust. It is not only a sacred book. The Quran is a civil code that aims to regulate every minute of the lives of its adherents. And let's stop kidding ourselves. It is not a peaceful religion either. Islam has conquest and expansion ingrained in its DNA. The Muslim world is extremely orthodoxical. There are peaceful Muslims living in the West. They are peaceful in spite of their holy book, not because of it. Those individuals should be celebrated.

We're asking a violent bedouin who lived in a pre-medieval era to share our hierarchy of values and ethical system. This is anachronistic and cannot end well. Muhammad was not a hippie. He was a warlord.
That just means you rsync to the public www directory instead. :)
Most burglars don't care about alarms or cameras. They wear a mask, go to the back door between 11am and 3pm when most people are gone, kick it in, rummage for anything for 3 mins and then run away. It's very low probability of catching criminals with a simple workflow like this.
You should be a street preacher ;)

CSS Grid and flexbox are a nice improvement over what I had to work with in, say, 2010.
Vim's built-in autocomplete is the only autocomplete I use. Does anyone know why I should use something else?
i dont think i am. humans have mostly changed because technology allowed them to. its those large progresses which gave us new opportunities to change.

Edit: why the down vote? care to qualify rather than going trough all my comments you dont like and downvote them whoever you are?
Stolen documents are a goldmine to identity thieves.
I think it must take into account some level of context because I've noticed that it tends to give me exactly what I want the first time I press it.
I can't find any reference for them supporting it on mobile, and it doesn't work in either on my phone (Android 7.0, for what it's worth). In fact, in Chrome it even fails to display the "not supported" message.

Besides that, I would rather complain that Apple is using an obscure format than complain that Mozilla and Google don't support an obscure format.

EDIT: sorry, it seems mobile Chrome is supposed to work, but it just... doesn't. Still don't see any reference for firefox, though.
$6k covers about 3 days of effort by a single security auditor, which barely scratches the surface for a large application like NextCloud. Sorry, security is expensive :-/.

You can save yourself some headache by using best practices and clearing away all the low hanging fruit before contracting with an expert. For example, but deploying on HHVM, aggressively using static analysis tools and clearing up issues that lead to compiler warnings, and running external application vulnerability scans from things like local Burp Pro or the hosted Tinfoil Security.
That doesn't increase the number of cars a family needs, it just automates a previously manual task.
Google obviously already operates such profiles, at a rate of one profile per user - with AI in the background.

Exposing options is rarely a good idea, as it only reaches a single-digit percentage of users.

And they say profiles are oh-so-relevant, but as far as I can tell, Google's main product (search ads) is still tied almost exclusively to keyword, region, and language.
I switch between two external displays at work then go home and plug the computer into a single external display.

Worst case, sometimes the layout of my windows gets messed up and I have to move them around to get back where I want them to be.

The only major issue I've had is sometimes bluetooth gets confused and it takes me a few minutes to get my track pad connected when I switch between home and work. (by a few I mean almost half an hour :( )
Or it can blink a cursor https://news.ycombinator.com/item?id=13940014

I remember an early Atom extension which faded the cursor in and out. It used 100% of one core to accomplish this.
Love the show. And I DO pay for it....with my Dish Network subscription that includes SyFy channel. Asking people to pay for it twice is a little ridiculous.
Should we allow the individual to have every one of its desires in reach of fulfillment?

Our modern society is founded on the supreme principle of individual rights. If you want to live in a collectivist society with arranged marriages and a general distrust for individual freedoms, you can choose to do so. There are several available to choose from.

Otherwise you're going to have a hard time making the argument here. Too many people enjoy individual rights so much they are willing to leave their lives and livelihoods behind in order to come here. At the very minimum it's encumbant upon us to continue to preserve these rights for everyone.
Because there's not 7.5 billion acres of arable land that's also got good, stable water access.

Also, because someone living in a major city produces dramatically less carbon due to economies of scale, and your idea would result in an incredibly low density, offsetting any gains to food shipping cost.
I switched to Evil mode and after a year I love it. I wrote the book to help me learn more about it!
It's troubling that you believe your genetics are responsible for economic success and education.
United Airlines in Twitter trouble over dress code rules
The really remarkable part about the Parthenon is that it likely would have been almost completely intact, if it hadn't been used as a powder magazine and blown up in the 1800s. It wasn't gradually ruined, it just blew up relatively recently (historically speaking).
I recall using OS/2 as my development platform while at Netscape. Win16, Win32 andOS/2 builds on one platform. Plus it had a much better networking stack.

Continued to run Warp for a few years and recently set up a VM with Ecomstation so I could play the original Galactic Civilizations again.

This should be j retesting to check out.
The page mentions that all C programs were compiled with gcc -O2.
Trustco Bank made me chuckle. I had a mortgage with them as they didn't require PMI or escrow (probably because they couldn't calculate it)

They are a regional bank near me whose former CEO's core objective with respect to technology is to stay as backwards as possible to make it overly costly and difficult to acquire them.

They literally as recently as 2013 had no computers in the branches. Only some amber terminals. They were buying TV ads a year ago announcing mobile banking. Their statements were still printed on impact paper, and transactions took 3 days to post.

I think they got fined by the Feds and were forced to modernize. In any case, a bizarre place and not surprising that they remain OS/2 users.
We've added a couple more storage engines, like SQLite which should also be compatible with Postgres.

However I'm not very satisfied with the performance of them or any of the others. So it seems like ultimately I'll be forced into building my own storage engine, which I plan to do based on a radix. But that is pretty far down the pipeline.

What were you needing it for? Our latest load test handled on low end hardware 1750 table inserts a second second across a federated/distributed system. We're hoping to get that up to 10K on cheap/free hardware. :) Be curious to hear about your needs/use-cases! Let me know.
Which could be hacked. Would you like China driving an F35 w/ a nuke?
My mother introduced me to Google back in the day. She and several of her friends agreed that it was amazing because it was fast, simple, and got out of your way. And back then, that's exactly what it was:

http://royal.pingdom.com/2008/09/05/googles-first-website-fr...

At the time, their main competitors were already expanding into other markets, and Google was refreshing for doing one thing and doing it well, compared to its competition. It didn't clutter, it didn't try to distract with other services that they offered. It simply gave you the results you queried as a plain list of links, and got out of your way so you could browse those links at your leisure.
I'm assuming OP was addressing the difference between religious rules and purely cultural traditions.

Many muslim-majority countries suffer from traditions that have been mixed up with religion (things like female circumcision in Mauritania or Egypt, preferring male children to females in some muslim Asian countries, all type of pagan rituals/"sorcery" in Morocco, etc.). Those things are in direct contradiction with the most common/popular interpretations, and yet people will present them as being linked to Islam (quite hard to find a commonly accepted interpretation of the Quran asking women to be circumsised, or allowing people to adore saints and "cast spells")
Thanks for your opinion. Quite a few intelligent people disagree with you. Please see below.

http://oxfordstudent.com/2013/05/30/debate-this-house-believ...
i am unconvinced regulation will help. i still find it quite telling that the biggest drop in US co2 emission was because of fracking not anything the otherwise very progressive obama adminstartion.

just becuase its luck and we dont lime that doesn't mean regulation will work, thats simply the wrong way to think about this.
Since you seem to have it figured out... I'm a monolith guy* in a microservices world. Friday, I had a question asked of me that in our old system was a simple query and I could answer in 5 minutes. This question, however, was split across three separate microservices in the new system, and the information had never been captured in a convenient way in hadoop. (Running two separate queries in two separate systems and writing a program to collate the results takes significantly more developer time. While not insurmountable, it's no longer a trivial task.)

Did you run into these problems? What did you build to solve them?
None of this concerns me for an application like NextCloud. Deploying TLS properly is table stakes. What does concern me: this app is written in PHP, famous for such a horrific design that it frequently leads developers down dangerous code paths that result in remotely exploitable bugs.

Seriously WTF are the PHP devs smoking? Just look at these tables:
https://secure.php.net/manual/en/types.comparisons.php

Given the size of the codebase and the insecure language and frameworks it's built on, I would consider a NextCloud instance that touches the internet to be at enormous risk of compromise.

If you want to investigate my gut there are a million and one things having to do with its architecture and implementation that you want to look into. None of those things involve what TLS cipher suites it uses.
Finnish the Dishes: Simple Nordic Design Beats Dishwashers and Drying Racks
> Yahoo had a search engine from 1995 to 2009. Yahoo is now a Bing reseller.

If so, why is Yahoo Slurp still showing up in my apache logs?

https://help.yahoo.com/kb/SLN22600.html
I was wondering the same thing. How is this not a bigger deal.
I didn't realize how bad things were until reading this.
I miss DuckDuckGo in your line-up.
"if you accept the premise that the nuclear family is a cornerstone of western civilization"

Individual rights are the cornerstone of modern western civilization, not the nuclear family.
The question was about people running their own webapps. $6k is a reasonable price for a smaller project.
Depends on the house. It's not always so simple as snipping the big yellow "cut me" wire.
I suspect it has to do with not only the availability of Rust compilers for embedded microcontrollers, but also Rust IDEs for them. Embedded IDEs tend to be heavily C-centric and have been for decades. Much infrastructure will have to be redone for this to change.
Just click on the clock, it will pop a window with seconds in it.
Do you mean something like Detexify?
The Why's and How's of E-Commerce Security
Brendan Eich's new crypto coin
I was not trying to argue whether that's the case or not. As you said so well, it is clearly the case. Rather, I am trying to wage whether that's a good thing or not. Is there a balance to strike?

>If you want to live in a collectivist society with arranged marriages and a general distrust for individual freedoms, you can choose to do so. There are several available to choose from.

I think you're putting words in my mouth. Words that you would like me to say perhaps.
"why not just use LaTeX?"

Augment. Why not let the silicon do the grunt work of remembering latex and let the user get on with the job?
Just to add a bit of context, here's a NY Times article from 2005: "Many Women at Elite Colleges Set Career Path to Motherhood."

http://www.nytimes.com/2005/09/20/us/many-women-at-elite-col...

Among the well-heeled, the MRS degree is not quite dead.