skysight-inc/HackerNews huggingface dataset:
>It should be entirely possible for me to construct an object that fits the definition of a frog without specifying I'm creating a frog.

This is known as structural typing and TypeScript does exactly this. Two objects with the same properties are the same.

This usually works well, but there are a few issues with this. Number one is related to optimization. The type system that results from using structural typing is unsound. This doesn't matter for typescript since it compiled down to JavaScript which has no types anyways, but for a typical VM executed language there's many optimizations the compiler can't do.

The second issue with structural typing is what I like to call the "mixin problem". If you get too flexible with composition it becomes close to having no type system at all.
Don't forget about Google. It's less of a salient problem... but all the data collection is created to be monetized. In a few years, we'll end up seeing really interesting ways that data will be sold (not just for advertisers).
Well if the onus is on the developer it kind of defeats the purpose no? As you likely know seemless-immutable also has a "production" mode that has better performance but doesn't ensure it. That seems like a good compromise to me, so that at least during development you get errors when things are being mutated.

The benchmarks in the Timm readme are interesting though. I would like to see a benchmark of seamless-immutable in production mode added to compare.
The US has no extreme in the mainstream political left - Clinton, Obama, even Sanders are no more extreme than Macron or Blair. You don't even have a Corbyn figure, let alone someone like Maduro.
Leaving SF means that the cultural and societal environment is different. Going to places like these means that the technology, money, hope, and jobs are physically far away and beyond livable reach; places where people wonder why anyone would ever live in SF.
I was watching a twitch livestream where he was coding an RL thing. His code was just wrong (I paused it and looked through it), but it compiled anyways and started outputting stats, so he declared "I'm such a baller! It's learning!" and then quickly concluded the program. It's one thing to find his style annoying, but he is neither a strong thinker nor coder.
THE FOURTH TURNING REMERGES IN CHARLOTTESVILLE
Some personal recommendations from a random Hacker News:

For mail I recommend: inventati.org (And if you use them please donate to them!)

For search I recommend: duckduckgo.com (Spend some time using the bang syntax-- such as !w for wikipedia pages --it makes life about 10x easier!

For maps I recommend: openstreetmaps.org

There are more on https://www.privacytools.io/
So the main reason to be against UBI is that people is not smart enough to manage the income for themselves, but the states and governments can do it better.

That sounds very much like some dictatorial regimes at both right and left extremes.
Right, I'm sorry, I suffer a narrower definition of "works" :)
This is textbook middlebrow dismissal.

Let's turn it around. Why do you think it's so important that we understand how unimpressed and uninterested you are?

This is a simple, accessible project that people think is fun. They upvoted it.
Unlikely, but an interesting argument.
Most philosophers throughout history would laugh at their body of knowledge being measured in terms of utility. And then would become saddened that economics has become the dominant global value system.
"Learn AI the Hard Way". It's actually just reading a bunch of papers and trying to implement them, and anytime you don't understand something spend as much time as needed until you get it.
No, you'd have a bucket devoid of apples, until you put apples into it. Then, you'd have fewer apples than you had before.

You can call it negative apples, if you want. However, it's just an empty bucket. ;-)
https://chinachannel.co/who-really-owns-wechat-wechat-essent...

The company that owns WeChat also owns QQ which is much more popular it seems.
Self hosted gitlab?
> One side of that duopoly has moved to extremes over the last 30+ years and dragged the other side with it.

Actually, I think the tactical move to the center of the Democratic Party (which didn't start with Bill Clinton, but his nomination was a pivotal moment in it) is he real key factor in the sharp rightward shift of the Overton Window that really led to the extremist takeover of the Republican Party, which has been increasingly radicalized.
Worldbuilding
Just more shit to break.
Enough MBA to be a programmer
Visual Studio has a command window that you can use if you want to type commands rather than use the GUI. Plus, the person you replied to was being very descriptive. Just as you start gdb and pass the binary name as a parameter, you can do the same in Windows by double clicking on the solution file.
I agree with you in part, many things in math have little direct relation to reality, or at least daily life for most people.

I just disagree with your example and I dislike it because I've literally had an argument with an engineer (an engineer!!!) about whether negative numbers were real who insisted on sticking to this sort of example. Negative indicates direction, this isn't really abstract. If it's increasing your balance of apples, it's positive. If it's decreasing your balance of apples, it's negative. Many people understand this quite well in the sense of monetary debt. I "possess" negative $xxxx, because that's the amount I owe someone else, in turn the holder of the debt "possesses" positive $xxxx because they expect to receive it at some point in the future.

If this is philosophy it's the barest levels, and it's philosophy that any culture with a concept of ownership and debt would have no difficulty with.
No, she didn't.

If your house is burning you don't want the fireman to talk about how they are going to work to improve building codes. You want them to put water in it right f'ing now.

Her language is that of a building inspector, not a fireman or an EMT. Trump's rhetoric was about specific immediate action to tackle an emergency.

Trump won by making such claims. He didn't mean it and his proposals were pretty shallow but at least he acknowledged the crisis and put forward credible sounding specific measures like terminating TPP and renegotiating NAFTA. This "right f'ing now" rhetoric is why he won. The alt-right, while noisy, is not that big. Trump won by carrying traditionally Democratic Midwestern counties because he said he would do something about the liquidation of the middle class, not by appealing to "fashy" nuts and 4chan shitlords.
Right. It's very much a philosophy.

And it's not really my fault that nobody can bring me negative apples. It's not like I made the rules! Sheesh! ;-)
Microsoft Goes Ethereum
Is it true that all structural type systems are unsound? I was under the impression this is a typescript specific problem.
Story, including a picture of her on the sub. http://ekstrabladet.dk/112/kim-isabel-forsvundet-i-ubaadsdra...
I'm generally liberal, but am a strong believer that much more power needs to be vested locally. There are a number of problems in the US that stem from power concentration in the hands of 1%ers that live far away. With Trump, more liberals are also starting to think in this direction. Concentrated power scares them.

Concentration of power into international corporations that know everything about everyone is dangerous also, not least because of the potential for blackmail against any that oppose some action those corporations wish to take.

That said, while some of your criticisms of the left ring true, you seem quite unaware of similar authoritarian monoculture tendencies in the right wing.
More cores and NVMe ... now this should be a computing upgrade for me. I'm currently on an i5-3570K custom build from 2013. ECC is on my to get list as well. I'll miss the onboard video, however. But not a biggie.

I would really like to be able to test one of these things before buying. I want to know how much faster my workloads will be when doing the following:

* C++ compiles times in VS2015

* Sony Vegas render to an AVI file using Lagarith

* Handbrake render AVI to MP4

* Output Canon Raw files using Canon DPP

* Resize JPG files using FastStone Photo Resizer

* Search NVMe drives using FileSearchEX

* Running VMWare Workstation guests and their applications (Exchange Server, OS installs, etc.)
Agreed. If competition exists, customer service is one of the angles competitors can improve on to try to gain customers. For instance, one of the top reasons I prefer FastMail over Gmail is that real customer service I get.
I'm willing to bet that in their hundreds and hundreds of pages of terms and conditions there is a paragraph saying that by using their services you give up your right to sue Google for war crimes.
Great article about the constrained model of energy expenditure:
https://www.vox.com/2016/4/28/11518804/weight-loss-exercise-...
I think I read before that weight loss is 70% diet and 30% exercise or something like that.
Research backs you up- people are less willing to move than in the past. In the case of this lady though, I can understand moving being a really bad & undesirable option if you're only a few years away from retirement. That's not the best time to buy a new more expensive house in a more happening locale.
I somehow feel like this is written by Terence Tao, based on the quality, style, and length that are similar to what's on his blog. Anyone else shares the feeling or has a different guess?

Edit: In a later part, the answer says "Terence Tao is very eloquent about this here: ..." so likely not (based on factors like typical personality of a mathematician, but I could be wrong since I don't know him personally).
I'm not sure. I feel I am unable to elaborate because there are people on HN who support political correctness over intelligent discourse.
This story reminds me of Ted Kennedy [1], who somehow got off scot free after a similar incident.

[1] https://en.wikipedia.org/wiki/Chappaquiddick_incident
Different languages encourage different OOP styles e.g., Go language encourages composition.

Though people may argue on the meaning of OOP
https://groups.google.com/forum/#!msg/golang-nuts/bSXry29pNo...

Direct link: http://www.purl.org/stefan_ram/pub/doc_kay_oop_en
While I suspect that something more interesting is going on there than either coincidence or secret audio recordings - Baader-Meinhof, or very intelligent guesses from the ad placement AI, or some combination thereof - I strongly urge you to do the experiment you describe.
Regarding cash vs credit card. Google already has your credit card data too.

> Google says it has access to roughly 70% of U.S. credit and debit card transactions through partnerships with companies that track that data. By matching ad clicks with this data, Google says it can automatically inform merchants when their digital ads translate into sales at a physical store.

http://www.latimes.com/business/technology/la-fi-tn-google-a...
>Last Updated Sunday, 13 January 2002
You did! You posed the question!

I just don't see the value in conflating both terms (philos and math) when there's a distinction pointed out above.
That's not really true at all. Almost everyone uses Google-controlled email addresses, so even if I don't, Google still gets our entire conversations. There's no option to avoid that except just refusing to email almost everyone.

You also don't really "choose" to give your data through Google Analytics. You can block it, but that's a lot different than choosing to give it in the first place. Even if you do block it, that's still only client-side and it's possible that the site is sending data through other methods that you can't control.

And like I mentioned in another comment already, what about sites that are hosted on GCP, sites that make requests to other sites that are hosted on GCP, Google network infrastructure, etc.?

You get a choice about some of it, but certainly nowhere near all of it.
This is another example where HN needs tags.

The original humorous comment could have been tagged "humor" and the parent reply could have been tagged "meta", and an HN reader could have their client filter posts based on their preferences: if they want to see humor or meta posts, they could have them -- if they don't they won't and their feed will be leaner and less annoying to them, and there'll be less need to downvote "off-topic" posts.

Then everyone would be happy.
Nothing to do with tech, I'd say it's mostly an mid/upper class trait; at least in Europe.
New Theory Says There's No Gravity, No Dark Matter
YouTube is not a reliable video host, but that's okay. It's a company.
Fortunately these videos don't really rely on people finding them by having them recommended by an algorithm as they are merely evidence.
I don't see a problem and completely understand why YouTube (especially as it's getting as non-offensive as it can) doesn't want to show war crimes.
Our communities are collectively organized to separate the haves from the have-nots. Capital acts as a gravity well so the wealthy tend to cluster together, and people trying to access their capital do everything they can to make the lives of those with capital easier. I can definitely see how it would be easy to become out of touch if you live in a wealthy community where the city and state affords you extra protection, services are organized around your needs, and most people you talk to are either in your employ or want to be. Eventually the wealthy begin to distrust the poor and the system becomes self-perpetuating.

This community organization problem stems from poor urban planning, suburbia, and what Jane Jacobs called the "Radiant Garden City". I'm still trying to tie all the pieces together for my own understanding but I know the solution is in there somewhere. There's an interesting movement called StrongTowns that elucidates this problem much better than I ever could.
I'm fairly well aware, I guess I have personal reasons to be afraid of the left ;)

And the fact that I am also left, is what triggers me off. I'm sure I don't understand all the details but believe me seeing the whole media circus from here, you see it also from a very different angle.
QQ has been around for so long, it isn't going to fade away. But WeChat is the de facto messenger among the many Chinese-speaking users, especially those living in oversea. Obviously not everyone who can speak Chinese use Wechat. In HK, WhatsApp is probably the most popular messenger.
> The shell language’s only data structure is the string.

Bash has arrays.

> The expr program can convert strings to numbers to do arithmetic.

You don't need to execute expr to do arithmetic:

$ echo $((37 * 42))
1554
If you are a rebel in a contested part of the world, submitting videos to youtube takes literally 2 clicks on any cheapest android phone, and then the entire world can watch it. Everything else requires at least a bit of technical expertise which you might not have.
Healthcare to become Amazon's next Billion $ business
Many C programs are OO by this particular definition :) I take the least ambitious definition of OO on purpose, because that definition is often the one that matters the most. I mean message passing yada yada, if you look at most OO software out in the wild, the key feature is the syntactical coupling between nouns and the verbs that operate on those nouns.

Extra bonus though, compared to eg C, is that in OO languages you don't need to spell out the type (plus polymorphism ofc). So String_trim(&myString) becomes myString->trim() and that's shorter and, most of the time, equally clear and less noisy.

I miss this most when coding Elixir.
> XNA was a victim of the usual internal wars between Windows Dev and DevTools R&D units, about which way to build software

the reasoning behind it doesn't change the years of my life I spent learning an obsolete tech stack.

which is fine: tech moves on. Except for the fact that MS told me it was the future.

and I don't blame them, but I'm also not going to take them at face value again.
I know, friend told me about that weirdo stuff back in 2010 and I don't fall for the trap. Never will. Booze, that's what I invest in.
In Germany, we have had a quite extensive network of night trains with proper beds (and the more expensive tickets also have a shower in the carriage); unfortunately the network got massively thinned out in the last years and only the profitable core routes are in service now by Austrian ÖBB.

Shouldn't something like this be possible in America, especially between far-away cities? Could at least be more profitable because you don't need to shunt around carriages every couple hours and if it gets kept between hubs there's no need for inter-route stops either.
Isn't this the same guy who want's to launch private/amateur suborbital flights with human passengers?
That's a stupid idea. What if you ever wanted to start a revocation list, when a domain is added genuinely by mistake? You'd have to use the same priv key for signing those as well, at which point you might as well have a single text file with provenance (aka git)
I am not an expert in international law, but you would still have to prove intent, I believe. It's hard to prove intent on an algorithm that very simply is incapable of understanding the significance of its actions.
> I don't think that keyboard part is really meaningful to anyone who claims to love programming

I'd beg to differ on that front.
I've personally found him to be more of a "showman" and a youtube "star" rather than someone technically adept with data sciences. He is good at what he does - which is building cool things using cool tools/api.

But I wouldn't recommend him as a good resource to learn core ML from or figure out how stuff work internally.
More generic question, apologies if it feels inserted without relevance:

Did you guys talk with the IPFS team? Do both of you have a desire to start bringing both families of protocols and technologies closer together?

I feel in this age we must make de-fragmentation of efforts our topmost priority.
A `Door` is not an agent, so no, it can't open itself (unless it's a game and your doors have agency).

When you say a door can be opened, you are making the assumption that the door is installed in some sort of building. But then, the door is a component of that building, not just a stand-alone door. It can only be opened in that context.

So I would suggest something like this:

class Door(Material, Size)
class Room(List<RoomConnection>, Size)
enum DoorState { Closed, Open, Locked }
class RoomConnection(Room, Room, Optional<(Door, DoorState)>, Size)

To open the door, you don't need a method in any of these "data" classes, you just need to update the door state given there's a door in a room connection you're interested in.

The room connection may or may not have a door, and that could change over time. If it does have a door, then the door must have a state (but not all doors have a state, only the ones that are in a Room Connection, possibly others).

Notice that to update the room connection, you don't need mutable state locally... you just need a way to provide a new RoomConnection to code where opening a door may be possible (normally, you're given a RoomConnection as an input, and you might give a new one, basic FP style but OOP can also operate in that way).

So, I don't think it's that hard if you know what you're doing.

I don't want to even comment on the suggestion to have a `Man.open(Door)` method :) that's really not good.
What are you talking about? They are deleting entire accounts of people who were filming their cities/districts being bombed by Russians, Assad or US/Coalition. (where there may not be any direct violence to any particular persons visible)

Who will prosecute whom? Primary source historical material is being removed wholesale by some shitty "AI". Account of recent history is being erased. Researchers who want to put some account of history together will have harder job. They will not go to subpoena google to release some material they don't even know google has. People whose lives were destroyed by a dictator will see YouTube erasing evidence of what happened, often times leaving propaganda channels for the regime untouched. It's a disgrace.

I actually came here today to try again to post about this issue, after deleting my Google/YouTube account, because I wholeheartedly disagree with this whole fiasco, that's going on for the last month or so. So I'm glad it's finally discussed.
A year with Notmuch mail (2016)
Big Brother's name is actually IoT.
Thanks I fixed it -- there is no real link #1 but I got lazy and didn't renumber all the links.

In that post I promised an elevator pitch, but didn't write it yet. I just wrote it in that comment:

Oil is the language you can automatically convert bash scripts to.

It's exactly what everybody in this thread is debating. I think the debate won't end because both bash and Python have deficiencies for a very common set of tasks. I guess this set of tasks got more important with cloud and containers and whatnot.

Feedback appreciated :)
This is like the night train I used to take from Oslo to Trondheim. It's about 660 km and takes less than an hour by air. But I live a taxi and train ride from the airport and my final destination is a two hour drive north of Trondheim.

To get there before lunch I would have to get up before five in the morning and I would arrive tired or I could leave home at 21:00 the night before catch the night train at 23:30 and arrive in Trondheim at 07:00 catch the train to Steinkjer and be there by 10:30 refreshed after a good night's sleep and a civilized breakfast.
I hate to break it to you but the state police and most toll road authorities have put an entire network of cameras on every major interstate and road system to be able to track cars.
"The drivers intentionally go slowly and take back roads so that the trip, normally six hours, lasts eight."

Why not just get there 2 hours early, park, and sit for 2 hours. This would (1) reduce vehicle motion, so you can sleep better, and (2) allow people who aren't asleep anyway to get out early if they want. It may also save gas, although once buses are electric, this becomes less of a factor.
https://en.wikipedia.org/wiki/Stylometry
However, it is a lot more intuitive compared to gdb:
Click the green arrow. Click the line you want to set a breakpoint on. See where you stopped in the same editor that you wrote the code in. Hover your mouse over variables to see their values, visually explore class and array variables. Dig down into functions that are about to be called, before you actually call them.
That rapping video with three women dancing in the background is cringe worthy. No comment on whether the AI lessons are any good.
>We deal with those issues by education (so people can do better jobs that aren't automated), and social safety nets.

However, there really are no social safety nets and the US continues to decrease investments in education year after year. Additionally, I rarely hear of companies reinvesting that money into educating their employees or the community.

>If a robot can do your job, it's a terrible job.

This is a bit of a stretch. Some people care more about efficiency, which it seems is the case with yourself. Others value service more and robots have yet to match the service quality of a human.
You've clearly articulated an ideal I've felt for over a year but couldn't convey completely. Thank you!
should be required by law

If your videos don't pass the algorithm, post them somewhere else rather than reaching for the government hammer.

Youtube/Google has every right to run their business of posting or denying video content the way they see fit without justifying it to you, free user of their service.

If you think they're making a bad business decision and that there's a need for a video service that gives great explanations when they deny your videos, start such a service.
Games are still 'easy' in comparison to this sort of topic for AI. Bear in mind, every game they've had an AI play still has a firm set of rules.