skysight-inc/HackerNews huggingface dataset:
> If that's accurate it's mind blowing and really helps me to understand why Brazilians want a political change and somebody (perceived to be) tough on crime.

That's understandable, and I'm certainly in no position to judge the people of Brazil. However it's possible for both of these to be true:

* Brazil is facing a public safety crisis that requires immediate, drastic action.

* Bolsanaro is a proto-fascist opportunist capitalizing on the crisis to rise to power.
As a contractor and consultant I have worked with hundreds of programmers. Very few have CS degrees. The self-taught ones tend to specialise in specific tools and areas. It is very hard to maintain the discipline to be a self taught SE with equivalent knowledge to those doing a SE degree.

A formal course in software engineering is not CS. SE courses focus on theory, principles, design, rather like other fields of engineering, e.g. mechanical or civil. A lot of programming is required for exercises and projects but the courses only cover languages and tools in passing. Of course, there are huge differences in how SE is taught in different universities.
And this is why I read xkcd. I salute you Randall
> The 1976 BART cost $10B in today's dollars to construct. If you were alive in 1976 would you have said it was a boondoggle and the project should have been killed?

And what would BART cost today to build? $50 billion? Would it be worthwhile at that price? The problem is that costs for public infrastructure are ballooning much faster than inflation. That puts more pressure on public infrastructure projects to produce benefits that justify the investment. I fully expect many public infrastructure expenditures today won't ever justify themselves, for example DC's silver line.
Might be cheaper to melt the ice caps and give Bakersfield a beach.
For comparison, AlphaZero used 4 TPUs and the same number of cores. So more computing power but not absurdly so.
Still, we want more things to be boldly and shamelessly borrowed from ML and Haskell

* Universal pattern-matching (everywhere)
* Obvious syntactic sugar for defining and applying curried
functions, partial application.
* Type-classes (as a one single major innovation in PL
since Smalltalk)
* receive (or select) with pattern matching (Erlang, protobuf).
* first class typed channels (Go).
* multimethods (CLOS).

Thank you!
The author mentions that, and says there is a use case there, but suggests that most PWA's don't have any use when offline, so they are useless in lots of cases.
We're really good friends with Google and they already use Repl.it. Thanks for your kind words.
Also, I believe since the batter will have left the plate before being hit by the ball, it would be considered a strike... Or a ball, if no part of the ball makes it through the strike zone.
Graph Coloring: More Parallelism for Incomplete-LU Factorization (2015)
What do you mean by chromium is stagnating?
My big f off keyboard is also my favorite gadget.

Sincerely, A writer that likes MX browns slightly more than MX blues but has both.
FWIW, the proper what to get a random row is actually:

SELECT column FROM table
ORDER BY RANDOM()
LIMIT 1
I kind of like a glossy screen.
I want to know some IT network.
Can you help me?
Thank you!
and emacs of course. https://youtu.be/jNa3axo40qM
That’s actually really cool; the “god rays” effect that visual effects apps like Nuke employ never look quite right because because they’re really just 2D cheats.
Apple Watch Series 4 New Health Features Released
I was providing them as examples of things "perfect for writing quick shell one liners", not good JSON parsers.
Speeding up spread elements
Was a remote programmer but I thought I needed human interaction to keep me sane but I think the horrible traffic is doing the opposite of my goal.

Suddenly, doing remote work and feeling like a shut-in is so much more comfortable.
It’s Africa’s Quiet Killer. This Entrepreneur Says He Has a Low-Cost Fix
Seems interesting. I'll give it a try. Can one user create multiple channels there? E.g. I'd like a main SFW channel to post different stuff and some subject-specific including one to SFW post on particular "innocent" subject of my interests and another NSFW to post what I happen to consider the best of nude girls pictures I stumble upon.
likewise. I just looked over at mine lovingly.
Honest question, what has Edge/IE actually contributed to the web in the past decade? I understand that having one less engine is not preferable, but realistically, it always felt like they were dragging behind struggling to keep up, while Apple, Google and Mozilla kept forging ahead.

By using Blink, maybe they can spend more time actually contributing to the spec and having an independent voice elsewhere?
I love how these bills are always named things that make you feel bad about voting against them if you don’t know anything about them. I would much rather they just call it “The Eye of Sauron act” or something like that
Hook on PG&E Tower Eyed as Cause of Deadly Camp Fire
https://pastebin.com/xPY3AuhM
Yes this is the sad truth unfortunately a huge swathe of the general population support the 'tough on refugees' stance. It can get pretty ugly. About 5 years ago I was pretty heavily involved in refugee activism a friend and I were spat on in a shopping center for circulating a petition and was not uncommon to get verbally abused by people in the street. This was in a safe labor area too so it's not exactly like I was in some conservative heartland.
I agree, its rude and breaking an internet etiquette. It also makes it much more difficult for the search robots to make a mapping between pages.
> Whether these companies have the unit economics to succeed is, remarkably, still an open question.

I don't think there are many people who doubt that ride hailing apps can be done profitably. I think the big question is (a) is it a commodity business (I personally believe it is) and (b) can potential profit margins support their astronomical valuations.

I think the main problem (though MUCH more so for Uber than for Lyft) is that it is valued as a "network effects" business, e.g. something like a Facebook or a Google with substantial pricing power, but I think the reality is that it will turn out to be much more like the airline business - basically a commodity business where raising prices is extremely difficult.
Division by zero isn't necessarily a runtime error. You could define your division operation to only admit divisors that are statically known not to equal zero. You just need a type system that is strong enough to track whether a number has been confirmed not to equal zero.
What do protobufs have to do with select?
Well, I guess i'm going to miss edge, it wasn't a bad browser. it definitely felt faster than firefox...

OTOH, Microsoft did this to themselves. Back when MS actually tried to create a user friendly OS and listened to their users. IE was supported across the entire line of supported OSes. But then under Balmer, they started to use IE and directX (and a few other things) as hammers to force people to upgrade to more recent versions of windows. Combined with a string of moves which pissed of their users and developers has resulted in far more reticence to upgrade windows versions than happened in the win 2.x->windows ME cycle.

Now their applications are suffering because windows 10 is still less than 50% of the windows userbase. So, basically 50+% of windows users can't actually run edge. Similarly with games, A developer that exclusively targets directX 12 cuts out 50% of the windows market share (and a similar share of the game console market).

OTOH, both firefox and chrome work just fine on windows7/8, and somehow so does vulkan, meaning that a brand new game could just target that and gain the entire supported windows ecosystem, much of the mobile, and game machine markets.

Basically there is a layer of management at MS that needs to be fired, because they still think its the 1990's and MS can force any old crap on their user-base and they will suck it up. After all, what are the alternatives (this is sorta still true, both linux and macos are still subpar experiences too)?
You might consider that your question is similarly self-fulfilling. Your basic theory here is you know a black man's experience better than he does. How many black people will be willing to honestly share with you what happens to them when this is a depressingly common reaction? Which of course leads you to believe that this isn't a pervasive problem in the US.

If you're interested in moving beyond that, I'd suggest starting with the recent books from DiAngelo [1] and Oluo [2]. Or for a more personal take, the recent memoir from Julie Lythcott-Haims is good at conveying how pervasive this stuff is, and how much pain that causes.

[1] https://www.amazon.com/dp/B07638ZFN1
[2] https://www.amazon.com/dp/B073P53DVL
[3] https://www.amazon.com/dp/B01MR92UQN
Why have you reduced the cash grant from $5,000?
The United States has been on a long bend toward more direct democracy because it’s self reinforcing. How would you “remove” direct democracy? Put it to a “vote of the people”? Okay. Now you have to convince them that they should give up their “power” to directly inform their governance. Who is going to vote for this? As more and more people become accustomed to voting on more and more issues that were previously the exclusive purview of their elected representatives, of course they’re going to want more of that same structure. You get to a point where you’re putting enormously complex issues to a vote, which is just kind of mind boggling to me.

Not sure if we’re agreeing or disagreeing, but to state my position explicitly direct democracy is the final form of decline for civil republican government. After that you’re headed for authoritarianism, be it left or right.

“Should they wish to” is frankly wishful thinking.
Both the 14" [0] and 13.3" [1] LG Gram models come without a number pad.

I only know this because my Uncle bought the LG Gram 17 specifically because it has a number pad! In his defense, he's a finance person and it makes the kind of work he does easier.

[0] https://www.lg.com/us/laptops/lg-14Z980-AAAS7U1-ultra-slim-l...

[1] https://www.lg.com/us/laptops/lg-13Z980-AAAS7U1-ultra-slim-l...
UK has provided ‘guarantees’ Assange won’t be extradited
Yes it is free speech.

I don't see anything wrong with people making political arguements.
interviews are one of the use cases. But there are so many other use cases, especially in Repl.it. The blog https://repl.it/site/blog/multi covered a lot of the use case that we know about for sure. And I'm confident there will other use cases that we'll learn about soon.
Why Robot Brains Need Symbols
The URL doesn't work. At least, with an IPv4 in Germany.
Note to self, create some express middleware that listens to .well-known GETs and redirects to a map of developer-supplied URLs.
If it's just a website, then I agree that is indeed excessive. If, however, it's 15mb of useful functionality (perhaps an app that lets you edit and encode video), then in my eyes, it's acceptable, and probably a good candidate to be a PWA.

I know a lot of people hate the idea of doing everything in the browser, but seriously, it's the one ubiquitous platform that we have, which even competing entities have agreed to standardise. I personally think it will be the most popular app delivery mechanism in the next few years, even on mobile devices.
As in, there are certain instructions that operate on rax but not r8? Maybe a more complex type system in this case where rax and r8 are specialized quadwords and certain instructions accept more specific arguments?
Have a 2013 MBP and it runs fine for me.
Sure, you could argue that. And you would be wrong.

At least in the United States, political expression is extremely protected.

I can think of nothing more important for free speech to protect than political speech.
It's crazy that cannabis is a schedule 1 drug. It's by far the safe way to manage chronic pain but federally illegal. I'm glad the states have the chutzpah to make it legal. The older I get the more I see how this country is run on money above everything else.
Fair bit at the moment, am grinding marbles on stream.

But it's not the particular use-case that's the problem, it's the drastic difference in performance characteristics which is more of a sliding scale than a one-time issue. Firefox is pound-for-pound slower in general browsing activities for me, and chokes on javascript-heavy pages much quicker than Chrome. It's still an order of magnitude better than IE in that regard, but on a sliding scale, Chrome's out in the lead with FF somewhere in the middle.

I'm hanging on to FF for idealogical reasons, but that's it. If the browsing experience was my only measure, it'd be Chrome all the way.
Big Magic Carpet will shut the whole teleportation industry down before it even gets going
Sure, maybe it is the old-school nature of Vim and Emacs that makes then standout in performance, but why not throw a years-since-graduation variable into the equation to find out with greater certainty?
Useless on an airplane tray table.
For the people reading these postings, I noticed there's some misunderstandings about California HSR ...

1) It's not for transportation. It's a jobs and pension program for appointees. State leaders are willing to spend $100 billion (or more) of taxpayer money for $1 billion of pork.

2) The state cannot even manage Caltrain well, which is only 50 miles long (SF to Gilroy.) There's no way they can manage a route 400 miles long.

3) Domestic airlines do a good job of intra-state travel already.

4) There was never an affordable model for building HSR. It never made any sense financially for California.

5) Residents of Palo Alto and Atherton will sue the state into oblivion if they don't bury the HSR. And the state won't because tunnelling is $2 billion per mile.
There was a plane featured on HN this week with those exact specs.
Apple doesn't do full-size arrow keys so we won't either

– actual quote from design meeting
> They are typed. Weakly/dynamically typed.

Unityped, as in, they have only one type. You can assign any type to any variable, so all values have a single type.

> Also, division by zero is an runtime operation error, it is not really a type error. The division operation doesn't fail because it violated the type system, it fails because you can't mathematically divide by zero.

That is a type error in some type systems. The general notion of a type is a logical proposition. "Non-zero number" is a proposition and so you can represent this with types. The type of division is then `Num -> (Num != 0) -> Num`.

> Dynamic languages are untyped languages like javascript and racket.

This is not true. All languages are typed, either with rich types, or they are unityped (like the lambda calculus or JS).

Machine language is typed, and the fundamental types are (roughly) word and double. These are the registers of machine language, which you can roughly think of as variables in programming languages.
They've released over a 100 new ones here now.

https://deepmind.com/research/alphago/alphazero-resources/
That's starting to cross over into SCIM - http://www.simplecloud.info/

It's a pretty cool spec and we use it in my day job (Okta) but it's not widely implemented. If a few major providers - like Google, Microsoft, Github, Wordpress, etc - implemented it, I think it'd explode.
This version is the last straw which makes clear that I need to move my business (and clients) away from WordPress.

The new block editor doesn't offer anything for our purposes, and in fact breaks most existing sites built as content management systems (custom post types and fields). Sure, they say I can install their "classic editor" plugin on all the sites - but, aside from sites of clients with whom I've lost touch (in which case the sites will just break upon core update), I'm disappointed in how they've rolled out this change seemingly without regard to a significant portion of the community raising concerns. I mean, just look at the reviews in Gutenberg's plugin repo..

For me, it means using a fork of the last "good" version (4.9.8) - possibly ClassicPress - for the near term, and transitioning to other solutions (static sites, React/Preact fullstack) over the long term. During the process, we plan to "encapsulate" WordPress for use as a headless CMS, as a data backend to be swapped out eventually.
I agree, and, knowing little about Brazil, that's what I think is happening. The thought behind my response was that I wanted to stress that the motivation behind electing Bolsonaro may be more serious than making trains run on time.
It is no longer necessary to relocate your body just to communicate with other people. Manufacturing (of material things) is still another story, but pervasive use of remote control, virtual reality, and robotics might change even that.
We aren't. Many on HN will have ridiculous amounts of spare cash once the basics of food and shelter are catered for.

Aaah you wan't to eat there and live in THAT part of town, and go on that holiday, and participate in those rituals, and get to that position in that company. Now you have to work 5 days a week.
(a) didn't take that long

https://www.greentechmedia.com/articles/read/tesla-fulfills-...
I’ll invest in Lyft when it IPOs if the valuation is fair (unlike Snapchat’s IPO lol) Every dollar Lyft raises in the IPO is an extra dollar it can use against Uber. Sometimes, the one with the biggest warchest wins.
Thanks for the reply!

Unfortunately it doesn't fix the problem that I have to add keywords for all of them manually
Values in JS still have different types (as evidenced by their different behavior). Variables could all be argued to have one type in JS, which is the root type (which everything else subtypes).

So no, JS is still not untyped, merely dynamically typed. An example of a language that also has only one data type for value would be something like Tcl, where the only type is a string - and everything else is just an optimized way to store certain kinds of strings, that could be removed without affecting semantics of any program.
I'm curious what a company like Lyft (or any number of companies that have grown rapidly due to funding but still seem like they have some kind of sustainable business model) how they might look as democratically owned companies (basically a giant coop). Technically their is no reason that the entire thing can't be owned directly by the drivers, software developers and legal people with profit sharing and extreme voting. The social scaffolding is still a radical idea and the cultural assumptions are not crystalized like dictatorial businesses , but as a general idea it's hard for me not to "feel" like the democratically owned equivilent to many of these "VC funded" companies is not the the disruption model to the disruption model. I picture companies like lyft getting off the ground due to huge influx of investor money, experimenting, feng shuing out any uneeded clutter and then some leaner, more organic democratically-owned alternative gradually becoming more of a norm after the previous iteration did all the experimental work. I kind of hope that happens - at least as an experiment. If it were successful it would be funny....and neat. I can dream. :/
> Mozilla… pro-customer.

Microsoft arguably isn't, they still like to force the customer to do things beneficial to itself, and collect lots of telemetry.
Turns out this doesn't do the thing I'd expect. I set my homepage to Facebook and it doesn't load the container.

Eh, back to my former opinion - Containers are great, Containers UX needs work.
Information must be stored in a language. Description requires information. All systems require language if they can be described.
If true, $500M of fraud (over only 5 years!) is hard to fathom considering it is a small clinic. I'm wondering how it wasn't discovered before it got to this level. You'd think that even $100M would have set off alarms somewhere.
I think Servo is going to be a massive Good Thing (tm) for Mozilla, but they have messed up a few times with UI anti-patterns and sneaking extensions into updates that users didn't opt for. They have seriously breached our trust like Google and it will take years to earn back that trust.

I switched to Firefox away from Chrome recently. I am happy with this but I wish they had a friendly UI you could bring up to expose cookies to be shared between tabs on an opt-in basis. Cookies should be isolated per-tab by default. Cookies and other persistent data should be forgotten as soon as the tab is closed. I don't like container tabs, I think it gets confusing to manage tab groups by profile. I want to quickly mouse over and say "expose this tab's cookies to this other tab".

I'm still sad I can't get perfect "tree tabs" going. I have a plugin I use to show parent and child tabs in a tree arrangement but nothing looks sexy about it:

https://addons.mozilla.org/en-US/firefox/addon/tree-tabs/?sr...

I want an actual tree of lines shown to each row/tab to quickly visualize how the tabs were created from parent-to-child. How it currently looks is too busy with borders everywhere. It's functional but not what I envisioned. I can't hide the tab bar at the top as far as I know. I'm just frustrated that I remember trying to make this work in like 2002 and it's soon to be 2019. I feel like browsers aren't made for workstations, but casual consumption. They should enable so much productivity.

I also wish they focused on minimizing and isolating references to various Web APIs, so it would be easier to unreference and orphan them - unreachable from advertisers.

(Unrelated rant?)
I'm in Australia and we recently committed to putting solar panels on the roof of our small office building. Pay-off projection in the estimate/quote was all of 2 years!
Eh, what does that say about Mozilla wanting to be the "good guy"? If they want to be good then they have to constantly be held accountable to the high standard they like people to think that they are at. They don't get their cake and eat it too.
It's not the only way, but considering the current trends, it gets harder and harder with time to get a good job without a CS degree.
Interesting. 2.5x revenue though and has exclusive city contracts. I still view this differently than paying $680M pre-revenue for Otto. On the scooter side, at $300/scooter, Uber could buy 100k scooters and stick an UberScoot button on their app and probably can more ridership than any of the year old startups.
That’s a step, but I still find it weird to release some but not all of the games. I’m trying to come up with a logical reason other than they have something they don’t want people to see in the rest of the data, but so far I’m failing.
> I would suggest avoiding this kind of thinking. Set theory and type theory are separate.

There are some languages - notably, Ada - where this (types as sets) is very much explicit in the language.

> Why not just use u32 then?

For u32, 0 is "just another value" - there's nothing special about it. If you pass it to some other code, there's nothing telling them that they must check for zero, and must not treat zero as actual zero value (and if they forget, it will silently give the wrong answer).

Option<NonZeroU32> requires them to pattern-match on None/Some, and if they get Some, it's guaranteed to be non-zero. That None is stored as zero is an implementation detail in that case, and doesn't leak onto the abstraction level on which code operates.
Is there still a demand for larger screened laptops these days? I use a relatively compact machine (13 inch rMBP) which certainly isn't the largest device on the block, but I still struggle to use it on an airplane tray table. What's the appeal of a thin-and-light 17 incher?
A lot of hotel chains actually do this. 4 seasons sells Simmons brand mattresses on their website.

https://m.fourseasons.com/magazine/thrive/hotel-beds/

Ritz Carlton, Westin, and other Marriot properties do the same. I believe some are just bedding but several sell the mattresses.