skysight-inc/HackerNews huggingface dataset:
haha, I looked at twitter for 5 min after it launched, I laughed really hard and closed the page. The thought process was something like "Oh, they've maximized unusability! I should now go and learn how to have a normal conversation.... I think not"

Then my life flashed in front of my eyes (by lack of better words) and I recalled a million lengthy conversations that pretty much made me who I am.

There was a funny video with a professor and a twitter "expert" where the professor argued it bad. The twitter fanboy kept interrupting him half way his first sentence until he got angry and asked if he could say something now. The twitter guy then said: But I already know what you were going to say. I laughed so hard. The conditioning clipped up his mind into 10 sec attention bursts then he had to talk to himself out loud again. Nothing of interest was said in the interview. The twitter guy thanked him and said it was a wonderful conversation. The professor frowned silently and looked at him from the corner of his eye. It was the best "what a fucking moron" face I have ever seen.
I laughed at this typo. I do wonder what music we'll remember in the 30th century...
> Most of the time, when I see a new function, I have no idea what’s the type of its parameters...

For that reason I usually use types for defining utility functions that get re-used in multiple places throughout the app. For everything else I just name the variables according to what the thing is, e.g.:

user_model, user_model_list, user_id_set, user_id_to_user_model_dict, etc. If you have a good style guide, there really should only be one allowable name for any given variable, and it should be immediately clear what type each variable is from the suffix on the name.
I am surprised Dart is not mentioned at all (maybe implied under the OOP languages?). While Flutter and Tensorflow are very different usecases, I am surprised there is nothing in the document on why Dart specifically would be a good choice. I believe if they used Dart for Tensorflow as well, the community would be able to get behind the idea that will not be an abandoned language.
The “holier-than-thou” part of the parent comment was calling Nvidia “anti-FOSS.”

Nvidia is going to do what Nvidia is going to do, for their own reasons. Unless you have some hidden inside information you shouldn’t assume they’re doing it in order to hurt Linux or Open Source.

They’ve probably done some evaluation of what they would get out of putting their drivers into the kernel tree versus keeping them to themselves, and decided that it wasn’t worth the work, expense, risk to their IP, etc.
Undercover spy exposed in NYC was one of many
Cronyism is what you call it from the outside; networking is what you call it from the inside.
> What greater 'tax' could you possibly conceive of than a whopping 38%

I always find it fascinating looking at the number of lines of code which do the same thing in different languages. Foundationdb maintains official bindings in Java, Go, Ruby and Python. The implementations have almost complete feature parity. They're all maintained by the same team, and as far as I can tell they all follow best practices in their respective languages.

The sizes (minus comments and blank lines) are[1]:

Python: 4053

Ruby: 2397

Go: 3968

Java: 10077

38% seems like a lot but language expressiveness dominates that. If ruby and java code were equally difficult to write, you'd be paying a 320% tax moving from ruby to java for an equivalent program.

I'd love to see a "programming language benchmark game" that only allowed idiomatic code and compared languages based on code length.

I have no idea what the equivalent size ratio is for javascript and typescript, but having worked with both, I find typescript projects end up bigger. I write more typescript because the type system and the tooling encourages verbose and explicit over terse and clever. (In typescript I end up with more classes, longer function names and fewer polymorphic higher order functions).

The typescript tax is real. That said, I believe the defect rate increases by 38% too. Depending on what you're doing the tax might be worth it.

[1] Measured from commit 48d84faa3 using tokei "code lines". Includes JNI binding code and makefiles, but not documentation
They say the civilian nuclear power program would produce materials that could be used to make up to 500 bombs. That's a known risk of "civilian" programs, which is why Israel bombed Iraq's reactor and has threatened to do the same to Iran.

In any case, the bomb project was also probably riddled with CIA and KGB agents (at least that used to be the rumor back in the day).
I'm not Mormon and never was but I've seen plenty of anti-Mormon statements and bias. I live on the East Coast and I head plenty of comments about Romney and Mormons during 2012.
Get notified when new tutorials are released
https://docs.google.com/forms/d/e/1FAIpQLSectFtg9jl4zkFZqPnQ...
Brian Kernighan: “DSLs are simpler, building the next C++ not so reasonnable”
No, I'm trusting the ecosystem of people and companies who are able to audit the code.

Again, you have not disputed that Apple is worse.
From what I understand, a structure needs to be quite massive to get meaningful gravity from a rotating hull unless you attempt to approach ludicrously unsafe angular velocity which would make repair / docking a big challenge. In The Expanse, Ceres station was spun up over many, many years and still only achieved about 1/3G. Not to use a fictional universe as a basis for science but afaik they at least tried to do the math correctly.
Could you link to some information about the database switch?
Whenever I hear this type of argument I assume it’s from someone in a stable shop with a clear mandate and low headcount. Hyper growth startups don’t allow for this kind of stability, tooling scales infinitely better than just training everyone to do the right thing, especially when the problems you face are rapidly evolving.
Absolutely. Especially when it comes to Baroque/Classical music on Youtube. I've spent many an evening just firing up a 50 minute symphony and enjoying a night with a free classical performance! Beat that!
I have serious concerns about electronic voting. But: One of the predecessor systems allows me to vote in referenda from abroad, and it significantly increases the likelihood I vote successfully. Having to send back the paper ballot weeks in advance (to be sure it arrives in time) makes it easy to miss the deadlines, and also requires to skip over discussion still happening at that stage.
It's just 250m so... not much.
I think there's a bigger issue with the narrative here. Sure, types (and tests) help avoiding bugs, and they are definitely useful in large projects like Airbnb. However, they also add a cost that is always ignored, and it's even taboo to talk about it. You don't want to be labeled as an "anti-good-practice" person.

But for some cases, this cost is tremendously important IMHO:

- Startups: being X% faster at launching your product might mean the difference between life or death for the company. This includes Airbnb back in the day!

- Early libraries: not being forced to use a specific type makes it easier to change your mind midway and experiment. Later when the library API is more stable, sure, feel free to add types. Thinking too structured is dangerous when trying to innovate.

- Personal projects: where it just doesn't matter if it breaks in some situations and having to build a whole babel tower might discourage you from getting started for fun.

As an example, doing "horrible" things I could launch a fullstack prototype in a couple of days, or a decently working prototype in a week. Granted, I would not want to work with that code after 1 month and there would be some bugs, but the ability to get something quick-and-dirty is also very important and something categorically ignored. As an added benefit, this also allows you to iterate quickly, and throw whole pieces of code altogether because you avoid the "sunk cost fallacy" both from yourself and 3rd parties.

Please use types, and tests, and other good practices in principle. But also learn when it's good to break those! I get the chills when I think on someone who blindly believes on only using X for everything and anything.
12k constraints? Without a major change in formulation, you're almost certainly way better off with convex optimization. As long as the problem is convex, anyway.
Close, but it was actually whatver was played on the radio stations.
Elderblog Sutra: 1
Ah yes, the Petersonian masculinity without muscles.
My 16yo daughter loves Steely Dan, ELO, They Might Be Giants and Jack Stauber. It's pretty fun watching her get into various genres and artists.
Finding music becomes easier the more you practise, but a few things you can do are: 1) Follow the 'if you like this, you might like this' recommendations in your music program of choice. 2) Curate your own playlist/collection to better inform the algorithms. I use Youtube, SoundCloud and BandCamp a lot these days and keep a list of favourites on each site. 3) Go out and see bands if you have access to bars/venues, it's better in cities. See bands you don't know but sound good on paper. There's a ton of good music from bands that aren't signed to major labels 4) Talk to people, what do they like? Check out their recommendations, update your favourites lists, back to 1) and follow your nose. 5) Inform yourself about what labels release music you like. Following labels is often better than following artists, they each curate a sound of sorts and have some variety across that. Discogs.com is a great site for learning about artists, labels, etc and finding specific releases. 5) Listen to community radio. They often have DJs that are really into genre X or sound Y and are a wealth of information and great playlists. Popular radio stations don't exist to play music, they are just advertisement platforms.

What kind of music do you like? I can probably throw a few artists at you.
> If this is offered at a reasonable price point

Hopefully it will, since the voice and vision kits on the same AIY page are sold for $50 at Target.

> There is the Movidius chip itself, but Intel won't sell you one unless you're a volume customer

Single units are listed on this page, e.g. mini-PCIe board with Movidius VPU for $79: https://up-shop.org/25-up-ai-edge
I was looking for a link to add to my post....that I couldn't find it should have set off alarms. My mistake, I mixed up Uber with AirBnB. I updated my post.
He lost me when he began talking about millionaires supporting orphans.

Wealthy people tend to give less as a percent of wealth.

But the general idea is solid.
Curious if you could speed up retraining for the prosthetic using biofeedback.
Strong risk of survivor’s bias in this train of thought.

Consider the marketing efforts and the procedures that financed that, etc, etc. and you come to realize the world is not so simple.
There's a hidden tradeoff. For example, if you have to spend 1000 extra cumulative hours to use types, and you've spent an extra 500 cumulative hours fixing all of the bugs associated with not using types, then, from a business perspective, it would have been worth it to not use types (and vice-versa).
I recommend this video:
https://www.youtube.com/watch?v=WfGMYdalClU
I expect that Java codebase isn't comparatively enormous due to types.

Do they have a Haskell or OCaml client? I'd expect them to be fairly terse and have even better compile-time and run-time guarantees.
We called BS on AI. Here's a thread of what we learned
In some states you can receive credit on your bill for lowering your thermostat during peak usage times. The Ecobee allows you to do this automatically.
My thoughts on this in a short post - https://medium.com/@kashifrazzaqui/a-simple-career-ladder-fo...
That's a good point, and I still hear music I like today it's just that absolutely none of it is on any popular radio station.
Yep! And that spawned “indie music” which to this day was never a style but rather an economic state of survival; a product of capitalism eroding art.

After another decade of precarity and disillusion, the internet gave us music blogs, which did their best to pick up where radio stations left off. The early ones were a blessing from the Gods (for me, anyways) and geographically oriented. But, eventually, monopolized capital and ad sales struck again. The internet morphed from a bazaar to a shopping mall in the same way radio had. Music blog culture struggles on, but is on it’s last legs.

Having seen these ruthless rises and falls of something so important to me, over the course of my young adult life, I am naturally desperate for an explanation.
It seems to me that popular music has stopped changing as rapidly in the past 10-15 years compared to over a similar span a few decades ago. Of course that impression could be wrong, like the difficulty of understanding "history" as you live it versus study it from a book. But if not, maybe it's caused by the consolidation you mention.
https://daedtech.com/how-developers-stop-learning-rise-of-th...

Unfortunately, you may not know until you get around people
who have been developing as long as you have on paper but have learned from other people.

But this is my go to list of books.

https://news.ycombinator.com/item?id=18794561
Meh. Mail voting shares that part, so removing it from the scope of testing for electronic voting makes plenty sense.
It's not a coincidence at all
Java size has nothing to do with types and everything to do with the language.

Look at a file like this:
https://github.com/apple/foundationdb/blob/master/bindings/j...

You have equals, hashCode, toString which are all uncommon in other languages.
A Terminal Emulator Based on UWP and Web Technologies
Sounds like what landing at Hong Kong's old Kai Tak Airport back when it was still in operation. You could see into people's homes from your window when landing there.
Thai people will say "Ow?!" to express confusion/surprise, so I guess it's not quite universal.
The Next Wave of ‘Unicorn’ Startups
" not being forced to use a specific type makes it easier to change your mind midway and experiment."

Is that really true? whether the original declaration is strongly typed or not, its likely that changes to the type will result in code changes needed wherever the value is being used.

The only thing that no typings does is make it impossible for the compiler to help you find where it is being used.
My concern is that having general high amounts of inflammation in your body alone increases your risk for Alzheimer's. As someone with inflammation diseases galore (including gum disease), I hope I'm just making inferences where there's no data to support them. Anyone know if that's the case?
If an update was used to push advertisements, then it would absolutely qualify as a backdoor.
It applies to both, albeit with slightly different practical implications.
Julia compilation time is much improved in 1.1 and they are working on tiered compilation to make it better.
You don’t have to trust the ad blockers. The operating system won’t let ad blockers have access to your browser history. If you want to see how the ad blocking framework on iOS, you are free to go over to WebKit.org.

You really think people are auditing all of the open source software you are using? Where were they the year and a half the HeartBleed bug was out in the wild?
I would argue that the reason for this is radio vs streaming. In that time period, radio was king. Radio stations tended to play a very narrow selection of hits over and over and over until you couldn’t help but remember every word. These songs became ingrained into our culture. If you wanted more, you had to go to the record store, which was still quite limiting. Now, we have streaming, which lowers the barrier between listeners and many thousands of artists. As a result, people are exposed to a much broader variety of music now, meaning it’s less likely that there are hits that everyone knows.
All of Google's market advantage happened before their ML kick, and none of their continued success can be ascribed to it.
The risk with crowd funded chips is support and longevity. The reason that the Raspberry Pi wins every time against technically superior competition is that it's well supported and there are reasonable supply guarantees.

The same goes for big companies of course. Intel has a habit of releasing Iot platforms and then killing them. Let's hope the TPU lasts a bit longer.

As for a comparison, it's impossible to say until Google releases benchmark information on the edge TPU, or some kind of datasheet for the SOM.
I agree they should put the effort into having an easy "apt-get" solution. On the other hand, your original question was whether there is a standard way of installing Swift on Ubuntu. The answer is a very clear YES: download the latest tarball of the binaries from the Download page and unzip.
The Mars Project
This has been around for a while but has been stuck at 'Coming Soon' forever. Does anyone know what the status of this project actually is? I suspect that it has been stalled for some reason or the other.
One of the best things I've see engineers do to get their team the resources it needs is to spend time on modelling the value that they generate for the org. Speaking candidly... this could be any number at all, but most teams try to make it quantify the value generated in some meaningful way at least (even if that may not be admissible from a purely accounting/GAAP perspective).

e.g. it could simply be how much client data is processed by your system everyday, how many clients use it, what is the ultimate value the pipeline generates (even if that may be the cumulative value generated by the entire software pipeline)
Adwalled. Anyone got a non-adwalled link?
Paper based voting also excludes me, a Swiss person living abroad, from reliably voting.

I don't understand why these discussions are done in this black/white manner. There's valid policy discussions to be had, but treating the other side as maliciously dumb isn't helpful.
I can easily speculate that not for the same reasons. F# and Clojure are the most payed languages because today they are the most used FP languages in fintech sector.
It's pretty unreasonable to expect that if you're aware of what AI winter is, and the fact that we're probably upon the cusp of another one: https://en.wikipedia.org/wiki/AI_winter

Once everyone realizes every practical use of their AI technology is more than adequately met by conventional code, and that there's no grand breakthrough into general artificial intelligence coming anytime soon, the hype cycle will end.
I don't think you're wrong, but if you believe (like I do) that tests are a time saver, even in the short term, once you have good tests, typing doesn't save 38% anymore..it saves, maybe 1%.

I'll add that, in my experience, in an untyped language, you don't need more or even different tests. Why? Because your in either world your boundaries are untrusted (and more than likely untyped) and then everything internal you can trust. User data, external systems, possibly internal systems, queues, storage..all that data is going to be varying degrees of unsafe and untyped. Those entry/exit points need to be fuzzed, unit and integration tested.

Again, I don't you're wrong, I just think you want/need the tests anyways (because typing isn't remotely enough).
After reading the article you linked and browsing his website, I am 100% convinced this person is a charlatan.
If you want to keep things simple, then surely it is better to keep silent than to say things that are wrong.
They could become contaminated during production.
A related edge computing AI accelerator: https://www.crowdsupply.com/up/ai-core-x
Haha. We can always hope :)
You can’t pay an opportunity cost on an opportunity you don’t have. Whatever the reason for rejecting the patch in this case, it is not a missed opportunity to work on bugs and tech debt as suggested by the parent.
Perhaps! I personally think it's still a very young field, and there's likely a spectrum of professionals who prefer some strong degree of typechecking.

This is being explored with "Live Checking" in F#[0], which offers a form of static typing over TensorFlow without actually forcing you to express every complex interaction with data in types.

[0]: https://github.com/fsprojects/TensorFlow.FSharp#live-checkin...
My girlfriend is a classical musician and it blew my mind how she only listened to music on YouTube. Nowadays I try to listen to classical music on YouTube to see the sheet music scroll by :)
What I want to know is, what happened in the 60s that makes it the "start" of the modern musical era? Why is listening to music from the 60s still cool, but music from the 50s is rather kitsch and old-fashioned? There was some sort of phase change that happened at that time which is so baked into our consciousness that we rarely challenge it.
A station with a counterweight can be grown into a wheel station. A wheel can be widened until it becomes a tube station.
I think they mean the exact opposite of "coincidental", in the sense of "hmm... is this a coincidence" (no, it isn't)
When I see products developed by Google, I imagine them as Replicants. Developed by an advanced tech company, full of futuristic technology and amazing potential, and destined to die in ~4 years.
I always loved how the show Babylon 5 used a similar design for their space station.
You're setting up several strawmen here.

> People don't have the right to vote, at least not unconditionally.

None of our rights are unconditional. You can give up free speech rights by joining the military, and we've got things like noise ordinances. You can lose your right to bear arms by being a felon. Et cetera, et cetera.

> If you register to vote in Georgia, then move to Ohio and register there, you might have the right to vote in Ohio. You don't have the right to vote in Georgia, nor does anybody else have the right to vote in Georgia with your identity.

No one has argued otherwise.

> If you register with "Hyphenated-Name" after having previously registered with "Hyphenated Name", that doesn't mean you get to vote twice! You don't have that right.

That's not what's being discussed, at all.

People register to vote as "Hyphenated-Name". The state checks their databases and doesn't find a matching name because they got their driver's license years ago as "Hyphenated Name" (or because the DMV doesn't support a hyphen, or any number of other reasons). They get purged off the rolls.

> Mistakes are a big deal. An improper vote is a denial of the rights of the legitimate voters to have their votes properly counted.

Most people improperly on the rolls aren't improperly voting. If they moved to another state, they're almost certainly not coming back to double their vote. If they died, the chances of someone else pretending to be them is vanishingly small given the severe repercussions of getting caught (which has to be balanced against the small chance of a single vote making a big difference).
Possibility of interplanetary travel in next 100 years
> Dense seating in economy, is the sole reason

On the Qantas 787 (which I fly regularly MEL<>SFO) the seats in economy are IMO better than the A380 (which I used to fly MEL<>LAX)

787 economy has 32 inch pitch; 17.2inch width: https://www.seatguru.com/airlines/Qantas_Airways/Qantas_Airw...

A380 economy has 31 inch pitch; 17.5inch width: https://www.seatguru.com/airlines/Qantas_Airways/Qantas_Airw...
Can you provide an example where static typing slows you down compared to dynamic typing?

I've been using static typing for decades and the only problem I can imagine is having to add an object property definition instead of just using it. And I can't imagine this extra operation being a significant drag. Is it for you?
> Do content producers get to choose when ads are shown?

That's my understanding. Also a mostly non-YouTube user though, I find the web interface really unpleasant - if I were going to "use" it on a regular basis I'd probably use youtube-dl.
Studies lend support to 'grandmother hypothesis,' but there are limits