skysight-inc/HackerNews huggingface dataset:
Perhaps the singularity is crushing matter into exotic matter and the effects of the exotic matter are like dark energy.
The risk here is your congressman / boss / etc who doesn't even write their own emails becomes convinced that it's meaningful
Apple's iPhone 11 drops 'X' and 'R'
Great list to start with, but IMHO you need to embed as much information into a variable name as reasonably possible. If that doesn't seem possible, then maybe split the variable into a composite object with clearer properties.

Additionally, another good way to name variables is to compose them from understandable sub-name parts. For instance, I personally prefer boolean variables to have "is" or "has" prefixed.

isAdmin = true;
hasDiscount = false;

To me it's easier to understand, than the simplified:

admin = true;
discount = false;

Code is interpreted by computers, but understood by humans...
It should work for external IP addresses regardless.
I look forward to seeing your OS example.
Pine64 is going for that angle with the PinePhone:
https://www.pine64.org/pinephone/

The specs are far from the Librem 5, and software support is basically DIY, but at $150 it might be worth trying if you want a Linux hobbyist phone.
You're thinking of liquid reactors, probably gen IV. But I'll say that given the track record of nuclear, it is pretty safe. Only one that beats it out for safety per TW (least deaths per TW) is hydro (even wind and solar are more dangerous). The environmental damage isn't really high either, you should check out radiation maps of Japan. They're pretty much livable expect for inside the daiichi reactor. It definitely was bad, but at the same time it was sensationalized.

I can also say that there is a resistance to implementing new reactors and storage methods because they "aren't proven". I'll let you decide the irony to that statement.
Indeed. I'm anxiously waiting Toyota's entry into the EV market. In Japan they have a fair amount of catchup given that the entire fast charging infrastructure is basically being run by Nissan and Mitsubishi... However I'm sure they have something up their sleeves. I'm extremely interested in the fact that Toyota has chosen Panasonic as their battery supplier. Toyota and Panasonic's headquarters are only a little over an hour a way by Shinkansen... If I were Toyota I would be wandering over to Osaka fairly frequently to make sure that my company was getting more than our fair share of the available batteries...
In a rural environment, you could just kick them out of the house and tell them not to be back until dinner time
"The power of accurate observation is commonly called cynicism by those who have not got it."

-- George Bernard Shaw
From the article it seems that Zawgyi rendered various Unicode codepoints (some of them reserved for the Burmese script and others from other scripts) in the order they appeared graphically. Although Burmese usually puts the vowel in the front of a consonant-vowel cluster, Unicode probably has it so that the codepoint corresponding to the vowel is encoded after the codepoint for the consonant. They're migrating by using a font that renders based on the Unicode order and keyboards that type in that order.

That's just what I got from the article and I have no other knowledge of the Burmese script so I may be wrong.
Its easy for me to control my social media usage because I am unpopular.
I'm one of the developers working on Formality and want to add a some links to:

- Our docs (docs.formality-lang.org)

- Our standard library (https://github.com/moonad/Formality-Base)

- Our Telegram channel (https://t.me/formality_lang)

One thing I've been particularly enjoying with Formality is how we can implement structures like `Monoid`, `Profunctor`, `Monad`, etc. directly as types, rather than requiring type class machinery.

Haskell can do this too, of course (as described in Gabriel Gonzalez's classic "Scrap your type classes" post http://www.haskellforall.com/2012/05/scrap-your-type-classes...), but what's really neat about Formality is that we can package propositions inside our "class types", so that only lawful instances can be created.

For example, here's our Semigroup type:

T Semigroup {A : Type}
| Semigroup
{ f : A -> A -> A
, associative : Associative(A,f)
}

Where `Associative` is an abstract property defined in `Algebra.Magma` (https://github.com/moonad/Formality-Base/blob/master/Algebra...)

Associative : {A : Type, f : A -> A -> A} -> Type
{x : A, y : A, z : A} -> f(f(x,y),z) == f(x,f(y,z))

Then if you want to instantiate a particular `Semigroup` you have to do:

and.Semigroup : Semigroup(Bool)
semigroup(~Bool, and, and.associative)

and.associative :
{ case a : Bool
, case b : Bool
, case c : Bool
} -> and(and(a,b),c) == and(a,and(b,c))
| true true true => refl(~true)
| true true false => refl(~false)
| true false true => refl(~false)
| true false false => refl(~false)
| false true true => refl(~false)
| false true false => refl(~false)
| false false true => refl(~false)
| false false false => refl(~false)

Providing proofs all over the place is a lot of work, but it's been a really fun experience that's taught me a lot about different algebraic or category theoretic structures. Julie Moronuki's post on [algebraic structures](https://argumatronic.com/posts/2019-06-21-algebra-cheatsheet...) has been an amazing resource.

Particular files in base that exemplify this are:

- Category.fm (https://github.com/moonad/Formality-Base/blob/master/Categor...)

- Algebra.Lattice.fm (https://github.com/moonad/Formality-Base/blob/master/Algebra...)

- Control.Monad.fm (https://github.com/moonad/Formality-Base/blob/master/Control...)

- Data.Maybe.Control (https://github.com/moonad/Formality-Base/blob/master/Data.Ma...)

Still a ton of work to do, and a lot of these structures need instance proofs, so if anyone feels inspired, please don't hesitate to join our Telegram channel (https://t.me/formality_lang) or even DM me directly! (I'm @johnburnham on TG)

Comment adapted from a post on the Haskell subreddit: https://www.reddit.com/r/haskell/comments/d2gcyw/just_lettin...
An open society, Canada’s best response to immigration
I know the author. Good guy. Level headed and data driven. I found it to be an interesting read.

He says he's been getting lots of interesting emails since this piece.

Edit: A little more context: this was in response to some other right-leaning piece (if you read the comments on the article you can see references to that).
Funny, people in the r/sandiego reddit thread have been complaining about sudden problems with Verizon service
I feel that at least public universities have some responsibility to not peddle garbage like this. I don't know if there are laws about this, but requiring students/staff to use play services and blobs to access university infrastructure (all paid for by taxes and fees) shouldn't be a thing.
One magical thing happened: your site broke. Good problems, etc.
Most of my usage is in a single session or two short sessions. Once I hit the limit I close the app and I usually don’t come back for the day. I have pretty good self control , but more importantly I want to use my time on other things. If I’m killing time I’d much rather read hacker news, work through my 800 article Pocket backlog, listen to an audio book, or flip through some pictures / memories of my kids.

The limit was a choice I made up front to be a reminder not to waste too much time and to stop and do something else. But honestly, I try not to put too much thought into it. If I’m really enjoying what I’m doing in that moment I’ll give myself an extension for a few minutes. But it’s rare I do that more than once.

I don’t think about it as an addiction that I’m trying to break or a habit I’m trying to avoid. I’ve made the conscious that social media is something I enjoy but don’t want to spend too much time on. So I put an arbitrary limit that reminds me to stop and do something else. My general mindset about most things is that doing it to excess isn’t good. Is wasting your day on social media that much worse than binging Netflix all day? Sure, if social media is causing anxiety, depression, or [enter any other issue here] then it’s something that should be managed. But if you are using it responsibly, not in excess, and are healthy about it, it seems fine to use from time to time with it without arbitrary limits.
>> real time expense reporting

Agreed. This is huge if they get it right. Definitely going to sign up for the trial.
It takes 1 person a few percent of their time to manage something like that for internal use only. And you still get the gains of keeping secrets internal and cost savings on licensing costs which might actually pay for a good chunk of the effort in the case of running an existing service.

Compare with a small development team for a significant percentage of their time to build a halfway decent chat tool.

Miles of difference.
Careerism doesn't require a conspiracy
It's not clear what you are even claiming, all ideas and concepts are 'creations' of humans, so you aren't saying anything? I mean 'the moon' is a construction of humans in so far as we identified it as an 'object' distinct from other 'objects', blah blah blah who cares.

You intentionally changed my example of an unprovoked murder of a neighbor with the intent to steal their property to some other, totally different example that has no bearing on the debate. Congratulations, you're a hack.

The question is whether humans have (at least some) consistent views across societies, or whether we are complete tabula rasa. This isn't even a serious debate anymore, clearly there are lots of consistent features that do not vary across any human society, and are even found among primates and other mammals such as dogs and whales and other social sea mammals.
To get 'dangs attention, check the contact button at the bottom of the page: hn@ycombinator.com
Funny how most people from San Diego are from Mexico
Dude fuck off, you've got a new account with -6 points. Go be an asshole elsewhere.
Nobody should be using SMS for MFA anyway, especially not the paranoid hacker type.
Because Uber is heavily funded by investors. Layoffs from Uber, likely point to tightening of investor funds.

That's how.
Highly optimistic.
> We could have hired someone full time and paid quite well to sit on a stool and move post-its around on a wall and it would have been better, faster, and cheaper.

There is no audit log for postit’s. If that is your main use case, use Trello.

On the other hand, hiring a jira expert to configure that monster is great. She should also push back on locking things down to much: Do you really want only managers to reassign tasks...?
I think it is probably closer to safety critcal than it is to the middleground of safety related, where the sloc hits millions so you want boost or a thick stdlib plus posix but its still controlled enough you develop airgapped and worry about number of library contributors, trustedness and mostly futile code inspections of entire libraries. Even for server backends the rust team has expressed concern about the security implications of having such deeply nested dependency trees with so many authors.
>Magnus Soderlund, a behavioral scientist and marketing strategist

I was utterly confused as to how someone could end up quite so disconnected from civilised society's established concepts of morality, that is until I read that the researcher works in marketing. Then it all made perfect sense.
You can't power a laptop from a Lightning cable. Lightning came out 7 years ago to replace the 30-pin connector.

It makes sense for the laptops to replace their proprietary power ports with USB-C but they'd need a time machine to be consistent across product lines and not screw somebody over.
I'm guessing he refused to get involved in official corruption. Nothing is so offensive as an honest man.
Found: A Windfall of Neanderthal Footprints in France
> It take roughly 100 times longer to charge a car than to refill from a fuel pump so chargers need to be WAY more popular than gas stations.

This is very misleading. It takes several minutes to fill a gas tank (depending on tank size, pump speed, and how many times the damn thing gets gaslocked). Charging a modern BEV does not take several hundred minutes. Fast charging exists and functions similarly for BEVs as it does for cell phones - fast charge for the middle bulk of the cycle, charge rate slows to a trickle above 80%.

Chargers generally cost per minute, so you're incentivised to stay plugged in for the bulk fast-charge portion of your charge, not the trickle at the end.
Once you get used to markdown in something like, say, Trello you really feel it when moving to something without like, say, Monday.

A team of engineers may prefer to spend inordinate amounts of time managing an internal docs project just because confluence doesn't do markdown :|
A nuclear plant in Arizona uses treated sewage for cooling. In theory, any nuclear plant near any sufficiently large city would have access to enough water for cooling, unless the city was unusually water efficient.
I'm sure you probably know why Coca-Cola is called Coca-Cola. If you don't - cocaine. It was one of the key ingredients in coke's initial product. A less well known example is Vin Mariani. A French wine that was made with a mixture of 6 milligrams of cocaine per ounce of wine endorsed by numerous historical figures including Thomas Edison and Ulysses S. Grant. Edison claimed it helped him stay awake. Oh indeed Mr. Edison.

The reason this is relevant is because the dates for these things start in the mid 1800s. Vin Mariani was made in the 1860s, Coca-Cola was inspired by Vin Mariani and came a decade or two later. Suffice to say the coke craze spread pretty quickly. And it's not like this was coke-lite or anything like that. It was genuine cocaine, same as we have today. And you had similar mental and physical consequences atop raging addiction.

It wouldn't be banned until 1914 and even that was due more to racism than concern for its effects. The New York Times ran a story in 1914 decrying "negro cocaine fiends" [1] which is what finally started the push to it getting banned. The only reason it took so long is because people were addicted and tried to ignore or set aside the negative consequences of it all, or even deny they existed. And that was pretty easy to do - Edison and Grant don't exactly rank near the top of your list of famous druggies. Nonetheless, the consequences were real and widespread.

The point here is that if you go back to the times before 1914, it'd be easy to imagine a future full of an ever larger chunk of the population degenerating under the influence of an ever increasing number of cocaine driven products. And in fact it would have seemed odd to predict anything else. Because when you're predicting the future you never predict 90 degree turns, because they sound absurd. Yet it's paradoxical because one of the few things you can guarantee about the future is that there will be countless more of these 90 degree turns.

[1 raw text] - http://www.druglibrary.org/schaffer/History/Negro_cocaine_fi...

[1 New York Times paywalled version] - https://www.nytimes.com/1914/02/08/archives/negro-cocaine-fi...
Actually their web mail client is open source and you can see if it is encrypting all your data before sending, yes in theory they can send you malicious js (again you can verify it). They don't get your password so no issue of them logging anything, they just verify that it is userA and send userA's required information (encrypted mailbox + encrypted private RSA key) which your browser decrypts using your password (never send to protonmail) [0].

Again in protonmails case you don't have to trust them, you can just verify the js they send you everytime and be sure that e2ee emails to other protonmail users are always e2e, about email to other non PM servers - you have to trust them to just send it and not store anywhere. Also for emails coming in from other servers - you have to trust them to encrypt it with your public key and not store elsewhere.

Note that I don't use protonmail.

[0] -> https://en.wikipedia.org/wiki/Secure_Remote_Password_protoco...
> "...most hatred of Jira ought to be directed at management for imposing bureaucracy..."

yup, that's probably right, as jira (and atlassian) has explicitly targeted large (bureaucratic) organizations.

scrum/agile/kanban tools should first and foremost be a lightweight process on top of development to keep folks coordinated and informed. jira can be configured that way while also providing a lot of visibility to product managers and other stakeholders, but most orgs seem to misunderstand both the purpose and the implementation.

with that said, clubhouse looks really slick (in the ~5 minutes i've looked at it). i've also been impressed with the advances that both trello and asana have made for the soho/smb project management segment in the past year or two since i've last looked at both.
I ditched Facebook long ago, Twitter has waaayyy to much politics and I’m leaning toward closing down LinkedIn because it has gotten bad lately with too much news and ads... it’d already be closed if I hadn’t gotten my last three or four jobs from it.
> The first AWS service was launched over 15 years after Amazon.com started selling books on the Internet.

Close. It was roughly 11 years. I've been using Amazon AWS since early 2007; I believe it launched to the public in the form we know today in early 2006. They started selling books online to the public in mid 1995.

If you go back to the very first AWS services - 2002 - it's closer to being only seven years.
Keybase
[ my public key: https://keybase.io/yersin; my proof: https://keybase.io/yersin/sigs/5z3EfBHot6yVjYGEoyVRlx0otKEsnTRe19Q6YzfVh_s ]
How is the US in particular built upon the hard-earned lessons of the past. Because it is younger?

This just sounds like more American exceptionalism that most of the world is tired of, and that includes many Americans.
I really want to see a Jira competitor succeed, it's healthy to have some competition. But it's hard to find something that competes on the per-user price of Jira Software On-Premise. (Jira Cloud is a different story...too many reports of slowness, too many UI/UX changes, too many powerful add-ons do not work on Cloud).

Next, you have to be the system of record for a company. To do that, everyone needs a license. Jira has a foot-hold because it is used for developers and for every other facet of a business (basically all company ticketing).

Although Jira sacrificed ease-of-use by offering customization, it's also what allows orgs to skip buying other tools.
At least a year and a half ago, Android notifications weren't at all reliable, even when on wi-fi. You'd have to start the app most of the time to get them. I can't remember if it was Rocket.Chat or Mattermost that also was taking 15% of the CPU while idling on macOS, but I think it was Mattermost.
You're confusing forward-compatibility (ignore markup with tags you don't recognize, which is awesome) with accepting invalid markup (which is stupid).
Piketty's new War and Peace-sized book: Expands on Capital in the 21st Century
Being wrong for 12 years and counting is a bit of a concern, no? Also, if he has no credibility, then the points in the article require more scrutiny, we can't just take him at his word, can we? That's why credibility matters.
good trend
idea_heroin... love the name.

I'll try and approach this objectively (since I also start tonnes of projects with no financial upside).

Consider that there are millions of ideas out there and most will never ever be realised. You CANNOT DO THEM ALL... so you will need to prioritise what ideas are worth working on. The criteria you choose is up to you; financial gain, social gain... just thinking about this is a good way to moderate yourself.

There are a finite number of keystrokes left in your hands before you die. - [1] Scott Hanselman

[1] https://www.hanselman.com/blog/DoTheyDeserveTheGiftOfYourKey...
I live in Albuquerque and work remotely as a SRE. I know a few devs that work at RSI (a consulting firm) and do contract work for the labs.

I know RSI has occasional meetups and try to get involved with the community. I haven't been, but I know they're involved with a ABQ "tech crawl" every year. It might be worth looking in to.
Is there any "chat app" that is really better than github/gitlab and a good IRC or XMPP server? I am constantly disappointed by slack. I wish google waves was still around...
If they just forward the encrypted bytes then I don't see any reason to send your traffic to cloudflare for https connection, makes sense for http connections.

I think its like how they do it for cloudflare's cdn (user -> cloudflare -> server) so mitm'ing b/w user and server, again no need for this. I think they should ignore https traffic and use this for http traffic only (very less?).
The website is strangely sparse. Just trust us. We're a website, we have https. All I could work out is that they're apparently from Georgia according to their generated T&C.
The counterpoint to your second sentence is that most of the world would sacrifice much to migrate to the US.
I tried plugging the Keeper's Diary from Resident Evil:

At night, we played poker with Scott the guard, Alias and Steve the researcher.

Steve was very lucky, but I think he was cheating. What a scumbag.

Today, a high ranking researcher asked me to take care of a new monster. It looks like a gorilla without any skin. They told me to feed them live food. When I threw in a pig, they were playing with it... tearing off the pig's legs and pulling out the guts before they actually ate it.

Around 5 o'clock this morning, Scott came in and woke me up suddenly. He was wearing a protective suit that looks like a space suit. He told me to put one on as well. I heard there was an accident in the basement lab. It's no wonder, those researchers never rest, even at night.

I've been wearing this annoying space suit since yesterday, my skin grows musty and feels very itchy. By way of revenge, I didn't feed those dogs today. Now I feel better.

I went to the medical room because my back is all swollen and feels itchy. They put a big bandage on my back and the doctor told me I did not need to wear the space suit any more. I guess I can sleep well tonight.

When I woke up this morning, I found another blister on my foot. It was annoying and I ended up dragging my foot as I went to the dog's pen. They have been quiet since morning, which is very unusual. I found that some of them had escaped. I'll be in real trouble if the higher-ups find out.

Even though I didn't feel well, I decided to go see Nancy. It's my first day off in a long time but I was stopped by the guard on the way out. They say the company has ordered that no one leave the grounds. I can't even make a phone call. What kind of joke is this?!

I heard a researcher who tried to escape from this mansion was shot last night. My entire body feels burning and itchy at night. When I was scratching the swelling on my arms, a lump of rotten flesh dropped off. What the hell is happening to me?

Fever gone but itchy. Hungry and eat doggy food. Itchy itchy Scott came. Ugly face so killed him. Tasty.

Itchy.

Tasty.

Watson told me:

"You are skeptical, somewhat inconsiderate and can be perceived as compulsive."

"You are reserved: you are a private person and don't let many people in. You are hedonistic: you feel your desires strongly and are easily tempted by them. And you are independent: you have a strong desire to have time to yourself."

"You are motivated to seek out experiences that provide a strong feeling of organization."

"You are relatively unconcerned with both achieving success and independence. You make decisions with little regard for how they show off your talents. And you welcome when others direct your activities for you."

Interesting, to say the least...
To go back further, there's the old classic psDooM which lets you hunt down and kill processes on your server: http://psdoom.sourceforge.net/
Op looks like your server quit in you too. Getting 503 error.
Ok, we've replaced that with a shortened version of the original title. Thanks!