skysight-inc/HackerNews huggingface dataset:
Ah, a typical ad hominem. It's not outdated. The numbers are still in favor of almost half of Indian's population not having access to a toilet. A simple Google search will learn that the program introduced by the government has mixed results and even though they are throwing massive amounts of money into the construction of said toilets, there is barely any reform going on in education or in the typical household where defecating in public is still considered normal. It will take a few generations to get to the roots of the cultural problem. I have been to India recently, New Delhi even, and more than once I was greeted with people defecating in public. Even outside the perimeters of the designated defecation streets.
You say "potato," he says, "spud."
A colonist and a settler aren't the same thing? Like it or not, what you'll get is a colony, and if it thrives and grows, there will be competition that results in the exact results we already know and love when it comes to colonization here on this planet.
Liquidation preferences aren't so much "legal manipulation" as they are an absolutely bog standard component of venture financing.
Marketing Is Not a Battle of Products, It’s a Battle of Perceptions
Very interesting news both regarding KDE perf and XFCE team shrink. I hope they can get some workforce.
We're currently having issues hiring in Bangalore. We've been looking for a ML Infra person to help during non-US hours.
Unfortunately hiring for such a position is bimodal in that market, you've got people with substantial experience really know their stuff, most of whom are getting snapped up by startups who pay much better, and then you've got the people who just threw ML on their LinkedIn to get into your search and can't tell you what a linear regression is.
I think I am misunderstanding. Is liquidation rate basically interest?
That article has actively harmful advise for people who have my type of color blindness (red deficient and green at the wrong wavelength). Their advice for red-green color blindness is basically to only use greens and yellows which are pretty much impossible for me to tell apart.

The best is when people make sure there is something other than just color to tell something apart. If you are making a game, the best is to have a color wheel to pick the colors for things (UI elements, friendlies/enemies, etc) as most forms of baked-in colorblindness support tend to just make things worse for me.
> I don't really understand what's wrong with a full-screen modal menu, or how that means "this is for mobile." It's true that it looks a bit stark on their homepage where there are only 2 links, but it's probably a fairly sensible extensible design that works well when there are many more links or things to see.

You never used a computer? There is a thing called a mouse which you have to move to the bottom of the screen to select the bloody thing. I'm shocked that Alan Kay did had the glorious idea of the full screen menu.

> It's fair to criticize specific visual and UX design details, but it's a bit much to take this as any indication that Dropbox doesn't care about desktop users (especially Dropbox) or that everything is being "mobilified."

How to say it without resorting to medical condition: to throw away years of working things in GUI and to come with an "UX" which has the functionality of windows 1.0 shows some mental development problems to say the least.
Borges is the master of the short story, but I think that he may need to share that title with Guy de Maupassant. I'm currently reading both of their collected works of fiction, alternating between them with each story and enjoying the experience.
Can we just get public utilities back? At least if a public utility is run poorly, we can attempt to fix it via legislation.

PG&E sucks, doesn't care, and probably the people responsible are still making bank.
Source Reading Log: Hack Emacs Speed-Type
I have had this conversation with so many people now. If your (private) company has taken VC money, options are toilet paper. Treat them as valueless scraps. Now, maybe you'll get lucky, and make something off of them, but that should be a pleasant surprise, not an expectation. Cash is king. If you're in it for the money, go work at MegaCorp, and take a sizeable, steady paycheck.
Yup it's nearly 4 years old. Newest kit I have (along with my 2014 desktop, 2013 mac and 2010 thinkpad)

Sometimes individual consumers change things, most of the time it needs regulation to help them. The 'invisible hand' may well steer the ship, but it's an oiltanker, not a speedboat.
And how can we found out if the machine we running has been infected or not ? Or more bad if is infecting others ?
What UI framework would be used with Lisp?
I must admit, I've read this comment with impersonated Indian accent... am I bad?

Nevertheless, I've been to India (not the places you've mentioned though :) as these visits were business trips), and it's OK, coming from Europe.
PG&E Warns of Biggest California Blackout Ever Before Windstorm
While I wish everyone in an office job at PG&E would lose their job, I don't think a public takeover is the right move.

Briefly take control, then sell it to a utility that knows how to run and maintain a large-scale power system.

I'd rather not imaging a power company the size of PG&E overseen by the same bureaucrats who oversee the DMV.
You're reading it wrong. Most of the denser urban areas are excluded, including SF and most of urbanized Silicon Valley; the reporter tweeting this sensationalized it.

Here's the actual map:

https://www.arcgis.com/apps/View/index.html?appid=64ec74b4d4...
2 years and $25,000 down the drain
Thanks for posting this, I never thought to check if scrollbars could always be on. This is a big improvement.
sounds like he was chasing too many buzzwords and Masa wasn't interested in bailing him out
Dank je wel voor de verklaaring! (gosh my dutch is rusty!)
> It would be nice if you could name the country and bureaucracy of the success story. I know of one such move; the experts made it known they'd rather resign and find new jobs than move to the periphery with their families. The move was cancelled as it was pointless without the experts.

It would be nice if you could name the failure you cite, too.

Government experts will live in a lot of places. NASA has major operations in a metro area in Alabama with only ~500k people, for instance: https://en.wikipedia.org/wiki/Marshall_Space_Flight_Center. That's more periphery than center, in my mind.
> Somehow, the contract was that billions would be disbursed to IBM/Oracle whether their system worked or not (it didn't).

Pretty sure it was simply a time and materials contract, as is standard. No competent software company will accept a fixed price contract without tightly specified and unchanging requirements, which is something very few customers are able to provide (especially not government agencies).
> Well, if you are allergic to soy, nuts, wheat, legumes, peas, etc.

I have celiac disease, so am allergic to gliadin. I don't know why you presumed that this encompasses soy, legumes, peas, etc. But given the severe undereducation about these disabilities I can see why you might not have known about it or recognized it at first glance.

Osmosis has a good video on it describing the pathology and full scope of the disease if you care to educate yourself: https://www.youtube.com/watch?v=nXzBApAx5lY
this question is equivalent to asking a physicist about a machine, ‘but can it reliably do more work than you put in to it?’

The equivalent of the law of thermodynamics in this case is the pigeonhole principle.
> And hydrogen has enough similarities with the existing fuel (unlike electricity)

Electricity already has a regional and local distribution network. It is an "existing fuel" by definition.
https://en.wikipedia.org/wiki/Participating_preferred_stock
The state law is particularly nasty to PGE: utilities are liable for damages even if they aren't negligent.
The 25 minute value is only the time to verify a single Coq proof. I'm measuring the time to verify ALL proofs of an entire system.

The Metamath Rust verifier normally verifies 23,000+ proofs at a time. The actual verification time is just less than 1 second for the entire set. When you include the time for container creation, fetching dependencies, and so on, it typically takes ~48 seconds for it to verify the entirety of set.mm (which includes thousands of proofs). Here's an example: https://travis-ci.org/metamath/set.mm/builds/602369640

You could run 23,000 Coq jobs in parallel. I wouldn't want to pay for it :-). And it would complete verification of all the proofs in 25 minutes, vs. the 200msec of Metamath Zero or the ~1 second of the Metamath Rust implementation.

That's not to say that Coq is a terrible system. Coq is really interesting! But verification time is not something it's prioritized.
Nope. On average it takes much more information to represent the index than the data itself. "Compress" is definitely a misnomer here.
No, I wanted to know why it's used less often.
Utilities are heavily regulated. Each year, budget has to be approved by Sacramento.
That's an interesting point of view. If some hypothetical "bad guys" are trying to set off a series of tactical nuclear weapons, false negatives are actually pretty bad.

(Yes, I actually am a small-l libertarian and have a strong aversion to overbearing and stupidly-designed government programs, which this one certainly seems to be.)
I have a 90% success rate with my totally different approach-

put four fingers in the center of the trackpad- not touching each other, but very close. then naturally spread them apart.
What exactly should they do differently? How should you run a power company in a tinderbox?
People are starting to flee virtue signalling, so thats scary.
That's not very charitable.
I've also been puzzled for a long time about the seeming shortage of computer languages that don't use English/ASCII keywords, though probably there are more of them than I am familiar with.

Lisp has some strange keywords (CAR, CDR) that are ASCII but not exactly English. APL relies more on non-ASCII symbols.

AppleScript is one programming language that at one point had at least 3 customized dialects (English, French, Japanese.) For example:

"the first character of every word whose style is bold"
"le premier caractère de tous les mots dont style est gras"[1]

Sadly modern macOS AppleScript seems to omit the non-English dialects (although the "professional" computer language-like syntax is now available via OSA, JavaScript, etc..)

[1] Cook et al., Applescript, HOPL III, 2006
> Again, let me emphasize, this is not inherently unfair.

I guess our definitions of what is "unfair" are quite different. I think a better term here would be "illegal". It's most certainly not illegal - but I definitely would not consider it fair.

Companies throw options at employees - or potential employees - like candy. They imply, explicitly or not, that when the company gets big and successful, these options are going to be worth tons of money.

Most of us here know they're probably worthless. But executives/entrepreneurs/whoever most definitely suggest otherwise. So it's more like false advertising.

Now is that "fair"? I don't personally think so. I think it's pretty dishonest. I think when sale time comes around, they most certainly realize that these employees think they're finally going to cash in, and they are more than happy to let them think, even though they know otherwise.

Obviously there are exceptions. There are occasions where they actually do end up being worth something. Or where the seniors folks are very clear about how worthless these things actually are. But, in my opinion at least, those are most definitely the exception to the rule. I'm also pretty cynical for the most part, too. So there's that.
He who has the money sets the rules(tm) :shrug:
Good source of fiber
Sounds dystopian. Somehow we seem to have moved to a parallel universe. I thought Europe is the last safe place on earth.
SF is not at risk for grass fires and forest fires. It's a big city.
Interest rate is something that gets regularly paid out on an investment.

Liquidation preference is something that typically pays out once when an illiquid investment (private company stock) becomes liquid (IPO or sells).

They both share aspects in that you are investing money up front but they have different rules to how you get a return on that investment.
So many people flock to startups because they didn't want to go work for a large soulless corporation (often taking a pay cut in lieu of equity) -- only to discover that startups can also be soulless corporations that focus on greed more than anything else.

Edited to add:

It would be nice if there was an equity dashboard inside each and every startup that basically said, "If the company is sold today at $100M, you get $X." Not only would it serve as motivation, but it would also show every effect every VCO demand on the corporation to your equity.

Ideally it would be a graph over time so you can see if your equity stake is going down or up in value, and you can make an informed decision about leaving. Also many of the VCO shenanigans might stop if people know ahead of time what it means.
Hilarious story. I repaired both for a living at the time for Cafka (when they were still small), an Amsterdam computer store that did great business until one day the owner went to his accountant and upon returning shot himself. He never factored in paying taxes.

The C64 had pretty good hardware, but absolutely terrible software. The BASIC it shipped with was just good enough to load machine language from disk to run it, compared to let's say BBC Micro basic it didn't stand a chance, so it isn't all that surprising that the Spectrum ran rings around it when it came to basic (pun intended) functionality.

Both the Spectrum and the C64 were left in the dust by the BBC by the way, but it cost a large amount of money so that shouldn't be a surprise. It was also built like a tank and came with a ton of expansion options. Pity it wasn't a three way match :)
Nice! I was just wondering the other day with water having so many weird ice forms and what not what do we know about other common chemicals and their states of matter
This is an interesting case because it is the city that benefits from having the sewer (through sales tax revenue of attracting big stores), and the individuals who'd be served by the cooperative already have septic systems. I guess the individuals would indirectly benefit via the improved city services.
> I've just seen the new Microsoft Office. On the desktop. With a big screen. But just pressing the File menu makes the document you work on completely disappear behind something useless.

Stupidity is contagious. And Microsoft's idea of innovation is copying what the others do and brake it beyond all repair.

> I've tried Word and Excel, both behaved so.

> Insane!

I'm shocked you used such a © "word". The new way to have fun is to be in a meeting and see the presenter trying for 5 minutes to find something in the ribbon menu.
Super-Kamiokande neutrino detector helps scientists find dying stars
This has been beaten to death in other threads related to this over the past several weeks, but the short answer to your question is "by putting money toward infrastructure upgrades instead of toward paying out dividends".
Wow, yeah. I've been an iOS user since version 3, and consider myself a power user. But the parent comment explains a lot why I couldn't select words like before. WTF is Apple doing these days?!
What does the google search tell you about mass american shootings and what government is doing about them?
I'm kind of astounded that you're framing the question in this manner, honestly. Perhaps you're simply unaware of the situation at hand.

>Six of the 10 most destructive fires in California history were started by electrical equipment. PG&E’s equipment has sparked 19 major fires in 2017 and 2018. The utility was blamed for last year’s Camp Fire that destroyed the town of Paradise and killed 86 people. SoCal Edison is under mounting scrutiny over potential links to the start of the Saddleridge fire in Sylmar. Edison’s power lines also started the 2017 Thomas fire in Ventura and Santa Barbara counties that killed two people.

Maybe they can start by replacing old, faulty equipment that is causing literally millions in damage and fatalities?
+1 I initially learned this lesson on the other side of, when was part of a startup during college. I was putting in long hours alongside my co-founder, but my staff were doing merely an adequate job.

For a while I was confused and unsure why they weren't also pulling long hours, but I eventually learned the lesson. I was working hard to protect my baby, while my staff were just seeking to gain some experience in a cool niche. I would either have to realign incentives for them to also feel compelled to pull long hours, or I'd have to recalibrate my expectations.

In retrospect, I'm not sure what took me so long to realize this, but I'm glad it happened relatively early on in my life. The first job I took out of college, I made sure to keep my effort in line with my compensation and investment in the company.
It's an opinion article, it's in the URL.
> Easy. Disclose the preference of the terms you got from investors to your early employees.

I think you're missing the parent's point. The behavior of the "bad apples" makes people turn away from startups entirely, myself included.
I'm just curious, not intending to be challenging: Why is it a problem that you can't find dairy-free foods that aren't vegan? You didn't mention another dietary restriction; is it that you don't like the taste of vegan food?
Man gets legally drunk on beer fermented in his own gut
One of his great talks at Stanford: “Target Big Markets” https://youtu.be/nKN-abRJMEw
For being so critical of those full of themselves this article is taking a pretty big unfounded victory lap. Just because someone else is wrong that doesn't make you right...

Just because Krugman thought globalization would turn out better does not mean isolationist policy would have improved things.
> Often it is crazy well engineered, but decisions set in stone decades ago still linger on.

YMMV
In general this isn't tenable for two reasons:

1) Older workers have naturally benefited from annual pay increases over the course of decades, so that even if they're in a non-senior role, they would take a sizable pay cut if forced into a new career entirely.

2) Older workers often need higher salaries because they have families to support (along with the many costs associated) which young workers do not. It's a naturally unbalanced situation.

I don't think there is a solution that doesn't screw over a double-digit percentage of the workforce in at least some way. UBI might be a mitigation strategy, but as long as there's an endless supply of young people, older workers who lost the career game for whatever reason will get screwed.
Many startups lose money when they are first started; and a new product may very well be losing money until it reaches a certain scale. That's not the problem. The question is what's the motivation. If the motivation is to predatory pricing, where you are deliberately holding the price below the marginal cost per unit in order to drive the competition out of business, you'll find that the FTC frowns on such behavior.

This is why it's so bad to say anthing like, "I want to drive the competition out of business", or "I want to dominate the market". Even if you don't send it in e-mail, suppose you say it at a department meeting, and someone takes a video of it? Now if they ever get disgruntled, they can take that video to the FTC, and now you're in a heap of trouble.

There are plenty of other ways of motivating a team than trash-talking the competition. If you have a team where the only way to really motivate them is to curse and use that kind of war-like language, I'd argue that such a company has a massive culture problem, and it's certainly not a company I would ever want to work at. Not because I think the stock is at risk of pluging after the FTC announces a anti-trust investigation (although that would be a real risk), but because I'd find such an atmosphere positively toxic. It's something I'd expect of the Uber "bro" culture, and no, I'd never want to work there.
https://www.independent.co.uk/environment/california-wildfir...
Much easier to become a senior programmer at a 3-person startup than a VP at a sizable company.
that map is a lot more damning from a visual perspective, even if it doesnt capture that many people
Brilliant.

This should be an opt-in feature in all programmers fonts.
I can't tell if this is sarcasm or serious.
We use this in our API when a third party backing service makes data about a user unavailable for privacy reasons (usually relating to GDPR.)

It should be recognized though that this interpretation of the book burning in Fahrenheit 451 is perhaps a misinterpretation of the intended meaning in the book.
I encourage you to try Metamath. When starting a new axiom system from scratch, I found that I was not capable of writing anything that would cause lag; I wasn't able to make Metamath the slow part of my workflow. No matter how I approached it, the slowest parts of my work were my typing (with my fingers) and my typing (with my mind and whiteboard).

No other formal proof assistant has been this fast for me. The next closest one is Idris, which is type-theory-driven (fancy phrase for "slow") and it takes a few moments to round-trip between the REPL and the text editor.
> 80% is propulsive efficiency from the shaft to useful thrust, there's a lot more energy lost between the fuel input and shaft output (thermodynamic efficiency). The thermodynamic efficiency is where most energy is wasted. For small turboprop engines, this is only 25-30%.

Ah, I see, so "propellant" in propulsive energy refers to the ignited fuel/air mixture, not accounting for thermal losses caused by fuel ignition. Given that, the efficiency case for H2 fuel-cell flight is even better than I expected (and it was already pretty good). I'm guessing they also don't lose efficiency to noise and vibration.
I mean, I guess that's an issue sometimes, but this comment quite nicely summarized what the article explained at length.
I assure you, the decision is entirely economic on the production side. CO2 is fungible, no? (in regards to sequestration subsidies)
> If the term 'gender' conflates several ideas

It doesn't. It, when used in the old sense for which sex was equivalently used, refers to one idea which does not recognize the physical, psychological, and social elements as distinct. It does not conflate different ideas, it predates the idea of a distinction; the idea of the distinction is concurrent with the terminology which incorporates it.

“Biological gender” is neither the new common usage (which labels the biological element “sex") nor the old usage (which refers to an indivisible trait.)
I know what you mean. Not about Tesla though...
Very early on (pre series A) this isn't so hard. Be completely transparent with your early hires about the cap table, give them a percent or two (even 3-5 for a key hire) to buffer against dilution. Do it in stock, not options, with reverse vest [this is very jurisdiction dependent]. Use the same class as founders.

People in this position can get screwed on exit of course but it's harder (and usually they are the ones you'll want retention terms for anyway).

Doesn't' work at all past the first small handful of core people.

Sound too expensive? Not early enough? Pay something close to market rates and be doing something interesting.
I just love reading this on the day I signed my options package.
Going to start a company in May 2020. What should I build?
Please comment below with ideas or problems you need solved.