skysight-inc/HackerNews huggingface dataset:
I'm not even talking about backporting, rather updating to the latest version in NixOS unstable means running nixos-rebuild switch --upgrade... And this often seems to fail due to non-backwards compatible changes. Sure, it happens more on unstable, but the software in stable is often too far out of date or worse, broken (e.g. by the download link expiring).

Updating the package is typically a means to an end—this month I had to upgrade emacs due to a melpa package update, and python due to a work script requiring 3.7.3—the last thing I want to be doing is maintaining my general system. Even writing an override feels a bit ridiculous (it's right there in the channel!).

What I inevitably end up updating my nix-env channels and using nix-env -i to install the new package. This works most of the time, but the insidious thing is that I usually forget that I even have this dynamically installed package, and never update it. That is, until it breaks my system in some subtle way.

So yeah, if something came out with all the benefits of NixOS (and I love the nix package manager, the safety it provides, and the pure functional declaration of all the dependency trees), but with the respect for not breaking backwards compatibility that you see in functional programming communities like Clojure, then I would be in love.
To what extent have you consulted the mechanical keyboard community? There is a tremendous amount of knowledge and experience about keyboard layout, electronics, software, hardware, etc. and it is not obvious to me that a community design would closely resemble what you are using. I recommend posting to https://reddit.com/r/mechanicalkeyboards, https://geekhack.com, and https://deskthority.net, and possibly reaching out directly to some of the most experienced individuals, if you have not already done so. The keyboard has been an important part of the success of at least one major laptop brand.
Yep, the original plan was to have an option with a Plastic Logic display. But the displays are expensive and an extra big project to get to work well for a general purpose computer. But an interesting option for later.
I thought the GOP position is that there is no evidence for climate change and all scientists working in this area are part of a liberal conspiracy that wants to get research money from the government. And even if there is climate change it’s either not man made or actually beneficial. In addition nothing can be done because that would kill the economy. I thought that’s the position.
You cannot compare the speed of the different services without bringing up settlement time, how long it takes for money to become irreversible.

Yes you can send money very quickly with SEPA, but that's not the settlement time. The money can still be reversed (although with more difficulty than credit card payments). With Bitcoin you also get a notification in seconds, but the payment becomes extremely more difficult to reverse in around 10 minutes.

So they're either equally fast or Bitcoin is faster.
I’ve switched when the rumors about Google’s intentions started surfacing, and my only regret is not switching earlier!
There was never any real Tusnami risk from those quakes:

"This earthquake poses no tsunami risk."

Also nothing here: https://ptwc.weather.gov/

A 5.0 in that area in the world is somewhat routine.
Anyone have estimated of how many calories he burned during this run? I wonder how much he ate before starting and when? Are they allowed calorie dense drinks during these runs?

I do not do runs, walking sure, so I am just really curious how much it takes for the human body to do this type of run
Yep I’d like to see an open SOM for Reform. If we are successful enough (re: cashflow/funding), it’s possible to do our own.
Spectacle?
Can you point to any source that indicates that the GOP, broadly, is pro-nuclear and anti-CO2 like your comment suggests? I'm skeptical but genuinely open to the possibility of being corrected.
I have a W530 that I can't stand. The keyboard is so much worse than the previous or current generations. There's also something wrong with it that makes the screen go rainbow when it moves the wrong way, so I can't carry it around. I don't know what it is but I can barely type in that thing. I have P70 now and I love the thinkpad again. My next laptop will be a P5x model. Great keyboard, screen is fine (I don't game or do anything that requires more than a modest display), built like a tank and uoi can stuff it full of memory. (Always running Linux, so I can't speak to anything else.)
A hivemind of spacious boxes on wheels, linked to make a sort of snake. Each fitted with seats and things to hold on to. They run along fixed routes in regular intervals.

They could transport thousands of people per hour safely around a town of any size.

And as ‘snake’ is not an ideal word, I’d suggest the word ‘tram’. Has a nice ring to it.

A variation could be ones that don’t run on tracks but normal wheels. Rest still applies. Shall we call those ‘busses’?

Bike lanes, access for business and residents keep the rest alive.

Bonus points of we plant lots of trees and build little fountains.
With only one job posted, how many developers do you expect to attract? Likewise if I had a job available, seeing only one other company had employed your services I would be hesitant to send work to you.
Or, to look at it another way, the chances of a catastrophic fire starting were increased dramatically by all the poorly-maintained cables.

It's not like the DM pulled a "forest fire" event and rolled "cable spark" as the initiator. Events in our world are linear and causal, not narrative in nature.
Yes but the people who are Climate Change Believers are big fans of slapping -ist labels on those who aren't in 100% lockstep with them.
Non Euclidean 3D Engine
Practicing this once saved my life while scuba diving. I was stuck in a cave and I began to panic and hyperventilate.

Having delt with other high stress situations and remembering this full quote prepared me.

Being able to identify my emotion in a high stress moment and knowing that the fear would pass is what calmed me down and think my way out of my problem.

It's not enough to remember the words. You also need to practice.
How is that not as clear?

The real world money to purchase those token (and anything else) come from people. Those people do not have infinite resources to spend on the game.

Ergo, if you exhaust their real world resources, and then offer them the best item in the game for $1, they wouldn't take it.

At that point, you've got the value of the total in-game economy. Because anything virtual after that would be worthless.

(Subject to demand curve, etc. But in aggregate it boils down to the same point.)

(You might be able to make the case that speculators without interest in the game would come in at that point to buy items, but I'd question how many would take the risk after the playerbase was already financially drained)
Society clearly needs some kind of control over who can own weapons/chemicals/etc capable to kill (a lot of) people. That's simple and almost everyone would agree with that. What people disagree about, is what public institution should be responsible for that. Some people say it's government's job, others are afraid that government being too powerful is too big of a risk. So who is right? Is there an alternative to government for such a job? Is it any better?

That is how discussion about gun control should look like, instead people just scream some nonsense at each other.
I agree there are things both could learn from each other.

I do think established banks have a lot of baggage and entirely the wrong emphasis for a world which runs on software. Some of their old rules still encode useful information, many don't, and it will be hard to disentangle the essential from the moribund.
The main event is somewhat over now, the storm is moving inland and losing intensity and the rain is backing off.

The real concern is what happens to the swollen rivers, damns and of course the potential landslides.

God bless everyone in lower lying areas or near slopes!
> they negotiate longer vacations to travel

Does that work? I've tried to negotiate more vacation days with every job offer I've received, and it's never worked.
Very nice for the depth and quality. This could pass for a very good grad school project. Pg, how much effort did it take to figure out the axiomatic approach for previous formal methods. How long and how much effort did it take to produce this?
It's not about "getting away", it's about the governments being broke. There is no way to repay the 100% of GDP in debt for the Western governments, and the current pension and welfare programs are doomed. They can tax the hell out of companies but that will turn the West into a quaint XVIIth century villageland with horse-carriages while Asia becomes the epicenter of technology, industry and civilization. The climate religion is just the apoptosis of the Western civilization, it will not and cannot save the climate (even if one were to believe that it needs saving). Chinese and Indian coal stations don't care about Greta Thunberg.
Show HN: Cast.sh An adorable instance of your terminal in the browser
Timing is one. Tracks all time on your mac and visualizes it for you. (https://timingapp.com)

2Do is another. Can't live without this app (https://www.2doapp.com)
Every article I read about encryption regulation is like this. "Pedophiles and terrorists", every single time. What's frightening isn't the argument itself but how it instantly shuts down any debate. Politicians have found the perfect weapon to justify any law.
No, WeWork is a certain brand and corporate entity. For example, reputation problems may mean that reducing operations to this smaller scale subleasing strategy would not succeed for WeWork. Or similarly, the profit level may be too smal for the investors to care, given projections of how long it would take to get their money back.

You’re missing the point. WeWork is in a position where it likely cannot cut operations and shrink into a smaller scale version of the same business model.
I don't know enough about the situation to take a definite position.

However, it seems to me that free speech is intended to protect the expression of unpopular viewpoints. In that case, I think that we should protect people's right to advocate that suicide, shoplifting, or advocating watching people die should be legal.

However, as long as those things are not legal then it doesn't necessarily violate free speech to restrict the practices themselves or information on how to engage in the practices.
http://archive.is/Xhoqw
Wow. The ACLU generally stays away from fights over gun rights. But even they don't like this:

The American Civil Liberties Union (ACLU) opposed the bill, saying it "poses a significant threat to civil liberties" because a restraining order can be sought before a gun owner has an opportunity to dispute the request.
The fossil fuel companies purchase politicians on both sides of the isle. Several prominent democrats, including former and current Democrat presidential candidates have ties with fossil fuel companies. Your argument is weakened by focusing on one political party.
I get it, of course.

The problem is that "our way or the highway" only works when your way is actually good. They have a responsibility to their users to never break things, if they intend to provide no means of workaround.

In cases like this, the responsible thing to do is to make potentially-breaking functionality opt-in instead of opt-out. That way, until the app gets updated, the user sees no change and nothing breaks. The clean way to do this is to make the app have a version manifest that says "I am built for iOS version <x>", and then the OS can be smart enough to disable functionality that might break it. That way apps don't have to opt-in to every new feature - they just certify "not broken on iOS <x>".

The wrong way to do it is to break the world, and punish the users for upgrading while expecting thousands of third parties to pick up the pieces.

(I don't know why this versioning technique isn't used more in general - if all programming languages required version declarations then breaking changes needn't be a thing.)
As of Dec 2018, they were reported to begin building ‘high end’ phones in India this year.
https://www.reuters.com/article/us-apple-india-exclusive-idU...

Granted, it’s small production numbers, but have to start somewhere.
I like this a LOT
He uses an unreleased interpreter he wrote for it in arc.
Did u setup your fone to use colemak and how much hassle was it?
Not sure about this specific situation, but the rule of thumb is you burn about 100 calories per mile... 2600 calories for a whole marathon. You'd imagine elite runners would have higher efficiency? So lower caloric consumption per mile?
Suggestion: Add an example video so we can see what this actually does.
I didn't complain about downvotes but welcomed them (as a point about hypocrisy). You and I have personally discussed strange moderation around articles involving China, you can find them in your inbox. Nevertheless I'll refrain from discussing them here, not because I agree with you (I don't) but because you have power here and I don't like having these discussions.
The article _does_ say that the guy is planning on examining the funding on the other side of the movement, so we should get to see the pie chart for the other side eventually.
They weren’t even the tallest for very long because the Sears Tower was completed in 1973.
https://news.gallup.com/poll/248048/years-three-mile-island-...

>Republicans (65%) are more likely than Democrats (42%) to favor the use of nuclear power. Republicans typically have been more supportive of nuclear energy throughout Gallup's trend dating back to 1994.

It's true Republicans aren't as hung up specifically on CO2, but Republicans have been largely in support of nuclear since before you ever heard the phrase "climate change." If we had listened to Republicans back when it was just "clean air" we'd be in a much better position.
Only when I am super addicted to HN and only when I am submitting I am going through the New Tab.

Think the current system is broken and have the feeling that in the early votes is too much bias (either through high karma folks, maybe internal hidden push votes etc from HN internal circles eg. admins, alumina).

Btw very good question and I’d love to see someone from HN giving an official statement plus comment how much HN-internal bias might influence the early votes.
Nice page, but not a fair game. The expected value/return for all bets is always lower than the 1$ bet. Just multiply probability by the outcome.

In the long run, you will always lose.
I think there was some kind of law that every third psytrance record needed to sample a line from Dune.
Sometimes I have a hard time believing that this gender stuff is really happening. That there are really people who want to divorce the words "man" and "woman" from a person's sex, and instead make them about personal identity. That they have enough political power to force changes like this with no discussion and no dissent allowed.

It is not in any way bigoted or transphobic to believe that a person being a man or a woman, and therefore the pronouns used to refer to that person, are determined by that person's sex at birth. This was the accepted belief of the vast majority of the human race up until about 20 minutes ago, when it suddenly became a bannable offense.

StackOverflow going all-in in support of social engineering on behalf of political activists is baffling to me. Where does this end? Is the goal really to force all of society to change to placate a small group of activists? A reasonable compromise would have just been to allow "they" to refer to someone in a neutral way, but I understand that this is actually not allowed if the person being referred to has stated they would like "he" or "she". This is what makes me think it's more about social engineering than actually protecting anyone from harm.
> The New York subway by contrast is literally struggling to hit 70% on time performance.

Because politicians cut its budget while requiring 24/7 operation, not because the subway operator doesn't have ~profit motive~
I wasn't laid off, but I have been fired before. It was the best thing to ever happen to me -- I got time to work on my passion, programming, broke into the industry and got out of a job I knew I hated a month in. It lead me down a path were I got to work for companies on the global 500, and fortune 100 list, as well as a ycombinator startup.

That said, not everyone is so lucky and I definitely struggled during the unemployment phase.
I was surprised not to see a mention of the Lost Cause narrative of the American Civil War.
If Influence were a blog post
Think of the period symbol as the root of a branch in a tree. A true list has all left branches empty. A "dotted list" has to items on both branches at the very tip.
This except the code you put on GitHub was part of a billion dollar contract that specifically required static code analysis to catch bugs because it was going to be used in life or death situations, and then a bunch of people died because you got lazy and didn't do the static code analysis.
Another example is rockets. Most fuel in rockets is used to propell the remaining fuel up the gravity well
Individuals not agreeing with ecofascists also come to the point where they donate.

http://co2coalition.org/2019/10/11/wall-street-journal-corre...
You cannot cURL under pressure
The Road to KDE Frameworks 6
Right now very close to my house there is a gas and oil storage facility and a pipeline connected to it. The city, under pressure from activist groups, has declared a climate emergency. And yet, nobody has connected the dots on the fact that if we get off fossil fuels in a timely manner, that facility is going to close. Nobody is planning for it or expecting it. The company is not facing higher insurance rates and investors are not worried. Nobody has requested or made any plans for how the facility could be closed. And I see the same pattern worldwide: nobody is actually making the kinds of plans they would be making if they thought that some of the oil and gas was going to be made unavailable permanently. You would see that signal in the stock price of Exxon Mobil and the price of oil.

This tells me one thing: the current plan is that we are going to extract and burn every last drop of fossil fuels everywhere in the world. That is, whatever anybody says, the current plan.
Chrome is still one of the best browser for the time being, but if uBlock will ne be available anymore, it’s time to change, Firefox most likely.
again, not a barrier.
I don’t think that Transmit is particularly unknown but i love it dearly anyway. It is the single nicest UI for file transfer that i’ve ever used.
Lack of access to US military assets does not prevent you from being able to make a movie about the modern US military saying whatever you want.
Yes. I heard he ran with a Nike prototype called alphaFly, which is probably superior to the VaporFly.
In my experience: just pick one that you'll be using, e.g. Emacs Lisp or something for scripting, and dive into practice. Most of a lisp is little different from other imperative-functional languages, except for a taste of weirdety from the 60s and more functional freedom.

You could pick something like ClojureScript if you're using JS elsewhere―in the Lumo incarnation to avoid JVM's compilation and startup time. Though ClojureScript does add a level of complication. Other transcompiling variants like Fennel or Hy are also feasible but are probably poor on documentation and tools for a beginner.
Science is not determined by consensus. It's determined by fact. If 100% of scientists paid for by a government declare what the government wants to hear as "fact", it does not become fact. Especially if it's based on arbitrary models that have been shown wrong. In the 1970s the "scientific consensus" was about global cooling, now it's about global warming, and Al Gore promised that Manhattan would be submerged underwater by now. The truth is, there is no model proven to be accurate in predicting the Earth's climate even over a timeframe of 50 years.
https://archive.li/DFdeQ
I like Agenda.
TruffleRuby and RubyMotion prove otherwise.

But yeah, we keep mixing implementations with languages.
I'm having a hard time understanding why it's called "chirp". The basis signals aren't chirps (a signal that if you reproduce as sound, sounds like a bird chirp. Frequency increases in time.)
I am gobsmacked that the state of California is allowing PG&E to downgrade their power infrastructure to near third world status.

Next time there's an Amazon HQ2 type competition between regions look for killer bullet points like "Texas: at least we have electricity!"
Non-profit co-ops are not comparable in scale and challenges to big power providers. Especially because they don’t operate the sort of large scale transmission grids that caused PG&E’s wildfires. (They’re dependent on the big providers for that capital intensive infrastructure.) That’s why I used transit as an example. It’s similarly large scale in terms of capital costs, intensive maintenance of outside equipment, etc.
I paid the other day with metamask and i loved it. the concept made sense and was way too easy
One thing I noticed with Piano is that it relies on the keyboard layout. As a Dvorak typist, I've often wondered if there's some way to do input handling better, such that applications which are more interested in the position of a key than its associated symbol (e.g. FPS games looking for "WASD") can just get the key at that position, instead of looking for a "W". Another gripe I've had with keyboard layout systems is that there's usually no way of indicating to the OS that US Dvorak is the natural layout of a keyboard, so instead of doing nothing when a "US" layout is selected, it translates it from US Dvorak to US, and does nothing when a US Dvorak layout is selected in software.

Added clarification:

There are at least three important things about keyboards in my view of things: the symbol or intent of the key, the "position" of the key in a set of cultural contexts (e.g. typewriter-style keyboards, left hand character movement controls, etc.), and the actual physical position (relative to other keys) and form/scale (relative to the world).
If you let the fires burn out then you’re violating the people’s god given right to build a house in the middle of a forest full of kindling.

In this country we can accept just about anything except for nature to run its course.
Amazing progress! Something I've always wanted to do but lacked the time, so i'll have to live vicariously through your updates.

I like the VB inspired editor, I have yet to find one that matches the ease of ise and power of old VB. Does your networking stack support UDP (and multicast)? Looks like a fun thing to tinker with as a VM :)
Oddly I think it’s you who have fallen pray to propaganda.

(Ps calling her mentally ill when she is clearly not does nothing for your position)
> An email or recorded conversation from the CCP about the actions they would take if Blizzard didn't keep the ban in place?

How about anything concrete that isn't just sheer hearsay and speculation out of the social media sphere?

And yet you consider it outrageous that I take Blizz statement at face value? I already explained my reasons for that: To me this ban is very in line with other previous bans Blizzard issued.

That does not mean that I condone them or that I agree with them, but it gives precedence to the situation, precedent that had absolutely nothing to do with China.

We have precedent for Blizzard having banned players over political statements before, we have no precedent for Blizzard having been pressured by the CCP to do so. So what is the most likely thing that happened here?
Oh yeah, "politely waiting". You mean "denying the very existence of a problem". Meanwhile: is it? How do you know?
Default implementation yes.

But then you have JIT based ones as well, TruffleRuby, RubyMotion, Rubinius.