skysight-inc/HackerNews huggingface dataset:
Defense contractors don't pay FAANG salaries. They can't, in general, because they're bound by labor categories and salaries set by the government, and the government isn't paying software engineers above what their GS software engineers get (max of about 128k in the DC area in general, if you're curious). There are a few jobs that can go a bit higher, but even they are capped around 150k as I recall.

I don't know what LM is going to pay for the skillset they ask for in that job announcement, I would bet that it's 150k or less, but the person w/ the skillset to answer it may be able to command a bit more as there aren't very many of us left.
Tell that to the state when they collect their sales tax.
Currency is about trust. Do you trust these companies? Idk if you've been living under a rock, but a bunch of them are getting slammed for privacy and security breaches.
This. My 12 year old son was never very interested in school coding (Scratch mainly), but when shown how to manipulate existing web pages using Inspect in Chrome that really caught is imagination.
I don't have substantial data to support my claim...but my feeling lately is that innovation to help humankind (and not only "corporate entities") seems to be happening more in Europe (and not U.S.) period. I feel like U.S. is this playground for companies to do stuff to us because they CAN, and not whether they SHOULD/SHOULD NOT. <sigh>
Automatic Login in a Django Application Using External Authentication
> Indeed, that’s why Calibra, the wallet software that will hold Libra Coins, was made a subsidiary of Facebook

The big question for me is whether or not wallets and therefore transactions can be created without needing an 'account' somewhere, just like all other cryptocurrencies. Can I participate in the economy anonymously or do all wallets need to be registered like a traditional bank account.
As a fellow not native speaker I don’t think this should matter the moment you choose to use English. Also, personally, it wasn’t just the grammar that put me off but also all the aggressive colloquialism used.
While it lacks the level of comments and docstrings that I typically use (a ton), it seems at first glance like reasonably structured imperative style CL.
> The same survey claims that Go is more popular than C

None of the two surveys claim that. Feel free to point out where it does.
I honestly don't even remember traffic when I was in Dublin, it is one of the most walkable cities I have ever been to; so when you say "gridlock" it makes me wonder what you've experienced because in my mind the city isn't even capable of what I would consider traffic coming from Atlanta.
Libra, a new global currency... with an old name!

"Libra" is the latin name of what is now known as the "pound" and used in many Latin-rooted languages (Spanish, Portuguese, French and Italian come to mind) to refer to pound related currencies, including the British pound sterling ("libra esterlina") and similar currencies from Egypt to Lebanon to Gibraltar pound. It was also behind many discontinued currencies from the past, ie. the Italian Lira or the French Livre.

IMHO a bad choice in naming for something you want to call "new".
We tried to capture the feeling of the good old point & click adventures such as King’s Quest, Simon the Sorcerer, The Legend of Kyrandia and more :)

Escape Lala 2 is going to be released on July and it would mean a lot for us if you could add it to you wishlist:
https://duckbearlab.com/escape-lala-2/

Feel free to play the first Escape Lala for free:
https://duckbearlab.com/escape-lala/

We'd love hearing your feedback <3
> 500,000 words … about whether to use en dash, em dash, or minus

Pfft, amateurs. 500,000 words and no mention of the distinction between a true hyphen (‐), a true minus sign (−), and the vulgar ASCII hyphen‐minus (-).
Why is choosing a specific programming language, Rust, "beautiful engineering"?
I learned to code on GW Basic in the 1990s. My first programs were simple games like: try to guess which random number the computer picked, you'd input a guess, and the computer would respond with higher, lower, or correct (IF-THEN-ELSE). You'd get to keep guessing until you win (LOOP).

Those might be mundane coding examples for teenagers, but it taught me the basics of logic.

Functions is one thing I wish I had learned about a lot earlier than I did. Also how to commenting out lines of code, rather than deleting them. And how to use the debugger. These are no-brainier concepts now, but I was 10-years-old and self learning from books with some guidance from my dad and brother.
Facebook started simple, and then started prioritising engagement(thus conflict/noise).

I wonder what would be the analog for coin. Start as a medium of exchange, then start usurping national currencies. Nations would not be able to legislate them away, as business and citizens would be conducting cross and intra border commerce using libra.
They're moving rapidly away from ADA, as the mandate to use it has been rescinded. C++ 11 is the new standard.
Simon Helberg Impersonates Nic Cage and Al Pacino (Deepfake)
Please please please please don't perpetuate this idea that all stored timezones must be UTC. Timezones are always necessary, and while they can often just be UTC, they can't always be [1].

[1] https://technicalsourcery.net/posts/time/
A community of collaboration requires open honest communication especially when it is difficult. The writer seems to recognise this with 38, but their other points are more concerned with shutting down conversation like number 6.

You can't expect other people to communicate honestly and openly if you won't.

You can't create a community by behaving like a tyrant.
It’s targeted at countries that don’t have such wide adoption of credit/debit cards.
Exactly. I'm gonna get my hair done so once they start with social points I can look nice on camera.
Genetic mutations found in healthy human tissue
> while 2018 was the fourth hottest year on record in the past 140 years since the world began to keep a track on temperatures, NASA expects 2019 to be still hotter.

In this context, here's an interesting map on what the world will look like 4 degrees warmer: https://bigthink.com/strange-maps/what-the-world-will-look-l... - apparently, much of the Indian subcontinent will be uninhabitable...
There are plans for doing spectrography on the atmospheres of these planets. This would allow us to get a pretty good picture of the chemical composition. Biological life as we know it should leave a different footprint than a lifeless planet but in the end we can only extrapolate what we already know about life.
For me it was the first 3 months. Still a handful and i got more than i bargained for, but one of the better decisions ive made in life.
I doubt it. We already see that whenever somebody posts something stupid and controversial and is a public figure, they will claim they have been hacked and somebody else wrote the tweet.
I would definitely say stay in the web development area of programming. It's really expanding at an incredible rate. HTML, JavaScript (All the frameworks), CSS, PHP, etc.
"Arable" is a misleading word. It is not a quality of land so much as a quality of the people who live there. India's very problem is that so much wild land has been converted to intensive agricultural use. There is no slack. In Argentina cattle live on the pampas. In India there are no grasslands left so they live in the street.

https://en.wikipedia.org/wiki/Land_use_statistics_by_country
Investment: I personally think about that. The area I live in is popular due to a good nearby university so I think population will grow at least for the next decade.

But in a time frame of 30-60 years... I'm not counting on getting the money back for my house.
When I was quite young, I started 'programming' by copying code out of magazines. I would run home from school, open up a magazine, write code until dinner, run downstairs after and write code until I had to go to bed. If I repeated that often enough, I would eventually (if I was lucky) be able to compile my code, fix the 14,000 missing pieces of punctuation and then have a (very primitive) game to play and share with my friends.

I don't recall learning much, but I was at an age where I was more concerned with getting Nario to jump over a bucket than with actually learning. I likely did learn something, maybe even just a passion for sitting in front of a computer and making it do cool things. I'm sure I also learned that if you really want something, just put in the hours and jfgid. For me though, the operative part was games. I wanted to play games and at some level, I wanted to learn how other people built amazing games for my Tandy.

The point of all that (other than 7:30am nostalgia) is that, for me at least, I had to be motivated. I had to want the end result enough to push through the grueling bullshit of it all. To this day, I believe that the only way to learn to code is to fall in love with a project to such an extent that you can't stop yourself. Whether that's a good lesson for teenagers will have to wait...my kid is only three, so I have a decade of self doubt to interfere. :)
My office building has recently adopted water harvesting (which is an ancient practice in many parts of India).

Mumbai receives a LOT of rain, and I’m glad that we’re able to divert some of it to the ground water table.

Seeing this succeed, I’m pushing the same for my building too, I’m surprised to see a lot of my neighbours have problems with the same (cause of wastage of a common terrace), I should send them this article.
No single person can compile a comprehensive encyclopedia, nor should one. Rather it has to be a network of loosely interconnected websites where anyone can add their opinion to others' to the extent that the opinion can grow into an independent website but shouldn't be able to misrepresent existing opinions by the full accountability. The comprehensiveness would then be achieved with a search engine, as much as the older web did (and that's why Shii claimed that the personal wiki is a way to go).
State Machine Replication in the Libra Blockchain [pdf]
What's the hardest part in the job searching process in the tech industry?
Assuming equal total rainfall, larger storms reduce the total usable water. Storm water mostly just runs away and flows into the ocean without doing anything useful.

Of course in reality it's much more complicated since rainfall doesn't stay constant, and the changes in wind patterns and ocean currents have hard to predict consequences. But I think it's safe to say that rainfall will change, and at least for some regions it will make things worse.
Climate change and the huge imbalance of men to women in india makes it seem like water wars are inevitable in the region in the next 20-30 years.
‘There’s Just No Doubt That It Will Change the World’: David Chalmers on A.I
Okay, but he's also clearly absorbed Zuckerberg's savior complex. Politeness may help a conversation but it doesn't qualify him to make world-shaking ethical decisions.
Isn't most of the thing if not anything start from one person, even Facebook itself ?
Are you implying that its hard ? hard != impossible.
But the question wasn't gauging creativity. It was an academic question.
You're admitting to speaking in vagaries and then also calling your posts straight-forward, and then basically accusing me of trolling you.

Sorry I can't read your mind.
Two Perspectives on the End-to-End Principle
We are heading to a world where the US Federal Reserve is preparing people for the idea of negative interest rates in the next recession (see https://www.frbsf.org/economic-research/publications/economi...)

The "vig" for supporters of Libra seems to be that they capture the interest on money used to purchase Libra. In a negative interest rate world that breaks down. Moreover if the Fed wants to have meaningful negative interest rates you need to impose a haircut on non-bank deposits (i.e., cash or crypto) to avoid hoarding.

I am curious how this platform incorporates the possibility of a negative interest rate environment.
Nope. I don't have much, but my first language was FORTRAN 77 on a PDP 11/70.
How unique is the browser fingerprint?
But, liberal parties have been loosing an awfull lot of elections lately, clearly this is no "hack" to win elections because it is not working as you state.

It's their ideology and it is up to the democratic process to judge it (favorably or unfavorably). And - although personally I favor controlled immigration only - it is perfectly healthy for a democracy to have parties that defend and present other perspectives.
VMS had some really nice features - mostly forgotten now that it's all 'nix, all the time.
Does this mean we can have a TypeScript binding to Coq?
Makes me why we don’t count NASA under DoD similar to DARPA to help with their funding.
https://science.sciencemag.org/content/352/6290/1228
Did I use DEC and VAX stations? Yes I did.
Would I want to relive that period of time? No I would not.

Is that muscle on my face twitching due to PTSD? Yes, Yes it is.
> Are there any real world success stories of Austrian economics? It's like the libertarian version of communism's "works perfectly in theory".

It is exactly that. There is no example of pure austrian economics just as there has never been a 'true' communist state since human nature will never allow the extremes they need to work.

> How do civilians escape a depression with no money in an Austrian economy?

The entire point of 'sound money' is not actually to help the general population survive or prosper, it is specifically to limit the power of government. From the link above "It is impossible to grasp the meaning of the idea of sound money if one does not realize that it was devised as an instrument for the protection of civil liberties against despotic inroads on the part of governments."

Of course you might have a depression, but that should be cleared up quickly since the free market allows the fit businesses to buy up weak competitors (since there is no anti-trust in austrian land). If you are unemployed during this time you can always find some labor job to do so will never be truly unemployed (since there is no minimum wage or restrictions to work).
From the jetbrains link you posted. 18% used Go last year, 17% used C.
[poster here]: Interesting find - my phone showed the title as 'Why Do Dogs Look So Sad?', where the actual article's title is different. Looking at the page's source code under the <title> tag shows these are different. I chose the shorter version (nevermind dropping the 'so' in 'so sad' cause that's really click-bait-y). My assumption was that readers would know that the source (the Atlantic) is a reputable publication and assume the article is of substance. It's interesting that even the Atlantic needs to resort to changing the title to get those coveted clicks. In the future, i'll strictly post the _actual title_ over to HN submission.
This is bad advice. If you convert the timezone you're now taking on the risk that your conversion was incorrect. You also lose the valuable information of the source time zone. UTC isn't perfect and is _far_ from the only viable timezone for a given domain.
Indeed. Libra, solarii, denarii == pounds, shillings, pennies in the old pre 1970 British system. Sometimes referred to as LSD.
Go west -- Jersey City closed off a few blocks of Newark Ave., just west of the Grove Street PATH station about a decade ago, and now that area is thriving. Hotels, new housing towers, restaurants, and shops have all opened up in the surrounding blocks, and during nice weather the PATH station plaza and pedestrian street are usually busy.
Stay young longer is near-future and clearly-approaching tech. It won't be one magical longevity treatment, it will be a number of closely linked medical breakthroughs and resulting therapies in stem cell replenishment, senescent cell clearing, amyloid clearing, etc. Many of which are in the pipeline, not clinical yet, but active research.

Google: the SENS research foundation.
No. A hobo will not use a crypto coin. A crypto coin will not work during a natural disaster. It will not let you live out of the grid.

A crypto currency is a great complement to cash, not a replacement.
Times Square itself was mostly pedestrianized about a decade ago and a smattering of other cities have done similar things.

The problem is that the way postwar cities were built in North America has meant that the overwhelming number of people still need a car to get to the pedestrianized areas, so over the years most of them have failed.
They can't use the transaction data to target ads and measure conversions without this. Wallet data is invaluable.

https://www.theverge.com/2018/8/30/17801880/google-mastercar...
Hard disks use a run-length limited encoding, so the number of magnetic 1s and 0s remains roughly constant no matter what logical 1s and 0s you store.

https://en.wikipedia.org/wiki/Run-length_limited
It seems like Facebook is simply following through on the Web 1.0 vision that Thiel and Musk chased. The first Facebook product I might use in a long time. This seems inevitable on reflection. Skepticism is valid, at the same time consider carefully if this is worse than The Fed.
Don't you think that by trading off complexity of the models you use general usefulness? For example, the 80-20 principle is not about the numbers 80 and 20, but it is just an x-y principle where 80 and 20 are areas of a (particular) curve. If you teach it as "the 80-20 principle" then maybe at best it's a mnemonic for some people in productivity.

I'm sorry, but I'm not a fan of productivity tools based on improperly formulated "rules" or "hints".

HNs anti-procrastinator is more precise and useful to me.
The Consequences of Intensity
agreed, see my comment above to the initial and justified complaint.
I live right beside the St Antoni market and I'm loving it. Not that I use it that much myself, but others do and they are already doing it. Yesterday I walked around and it was filled with people enjoying it, and some streets just opened a few days ago. Although it looks very strange, different, kind of "industrial-like" (for the lack of better description) with all the yellow triangles, I'm liking it very much :)

Let's hope it works out, there are many people rallying against this initiative (Dey Turk Er Ckers!!1) I think it will prove to be for the best (of course this is my opinion).
Maybe I'm just too dumb to see the genius of it.

You're very welcome to add me to the dumb club too.

In addition I'm a smidgeon confused about how the bitcoin exchange rate is determined. It seems to be whatever exchanges say it is. There must be some metrics to determine that, but overall the market seems so illiquid and some of those exchanges seem a bit like easily hacked two bit shysters with some PHP scripts and a snazzy whitepaper.

But again, that's maybe just us in the dumb club.
Dogs' eyes evolve to appeal to humans
UTC is a timezone. So his advice still stands. He probably meant that you should not use time without knowing the timezone, and UTC is the easiest way to attach timezone to a time instance.
"Firefox detected a potential security threat and did not continue to motionicons.com. If you visit this site, attackers could try to steal information like your passwords, emails, or credit card details."
I kinda doubt cryptocurrency/blockchain tech will be anything but an implementation detail in this project.

Assuming this catches on, the idea that Facebook and it's other partners would let this get out of their control seems very unlikely -- and if it did get out of their control, I think they'd simply abandon, disavow, and/or fork it.

The appeal of this to users is going to be integration with the social networks these companies run, so they are holding effective veto power since they can change its relevance to low at any time.

Meanwhile, the partners will be tracking every transaction and monetizing that information. Apparently, you can use a pseudonym when using this currency, but I'm sure they will connect any pseudonyms you use to your profile the second you first use them. Wonderful.
Exactly, if you really want to work on the engineering bits you'll get hired by one of Lockheed's sub contractors.
The Freddo Index
If the promises you are making are not appealing, even if they are clear and you deliver on them, you can't count that as a reason to use a language in new code.
Android List Headers Using Decorators
Nearly all companies are blatantly authoritarian by design. This is not new.
yeah, but that's the issue: hs and ps are both coded to the same size which happens to be 1rem

i.e. 1rem hs would be ok if you'd had 0.8rem ps, and conversely you'd have the same issue if both were coded to be 2rem
I guess it is Silicon Valley.
Selective breeding is still evolution.
I hear you. I'll have to consider some kind of demo/free tier since several people have had similar feedback. I'm a bit hesitant to create tiers by arbitrarily turning off features, since people tend to not like that either. Or do you think that would be ok? Just to be clear though, you don't have to pay up front or enter any payment information for the trial period.

Thank you for the feedback!
TIL. I only came across fexprs briefly on LtU once and never looked more into it. Thank you.
I've not used Coq for some time but previously toyed around with ProofWeb [0] which is a web interface to server side Coq. This seems like a much better approach and highly active.

[0]: http://proofweb.cs.ru.nl/
A journalist’s effort to retrace, on foot, the path blazed by Homo sapiens
The liberal parties that are suffering across the globe with the rise of "surprise" popularist right parties and politicians (and to a lesser extent increasing environmental awareness)?
In either case, there is a final fudge factor applied to the bottom line number that upper management applies to arrive at a cost that is acceptable to them.
It's an anonymous public site. Loads of spam gets posted. You can flag it to help make it disappear.
Side effect of living in Australia when every neighbour is netflixing. I discovered my network was dropping out very frequently.
The better question is "Why does Facebook think that being based in Switzerland will protect them?

It's been a while since Swiss banks were last immune to U.S. government pressure. Or even pressure from other countries. I can't bother to find the links now, but there were a couple of stories during Obama's time, about the US government arresting people based on their financial transactions in Switzerland.
Basically the problem of ageing is a gradual accumulation of "damage" of assorted kinds. An ideal regimen of exercise and diet and non-stressful life and so forth can reduce the rate but not to zero. Thus, even healthy people get old and die.

Actual therapies would go in and undo the damage, not stop it accumulating, but clean the existing damage down to a level where ageing symptoms would be reset back by decades. And could be repeated, leading to indefinite lifespans.
Facebook Unveils Libra, Cryptocurrency Rival to Bitcoin
From the article:

In India, a 22 per cent deficit has been recorded in pre-monsoon showers in the months of March, April and May — the second lowest in the past 65 years — and with monsoons delayed by a fortnight or so, daily temperatures have been sizzling.

In other words the once reliable monsoons are no longer that reliable.

From what I have read one of the reasons for this is the warming of the Indian Ocean, with that warming then resulting in changes to the Indian Ocean Dipole (IOD).

That dipole has a big influence on climate, not only in India but across the whole region and as it changes so does the climate.