skysight-inc/HackerNews huggingface dataset:
Isn't reporting them as spam, or just blocking them, a lot more time efficient?
It can still feel that way. Take C++ for instance:

Foo f = fooFromElsewhere; // explicit typing (old)
auto f = fooFromElsewhere; // type inference (new)

Now what happens if we change the type of `fooFromElsewhere` from `Foo` to `Bar`? With the old way, we need to change the code to:

Bar f = fooFromElsewhere;

With type inference however, you won't need to change that line at all. And if the new type has enough in common with the old type, you may not change the code at all. It's just as strict as explicit typing, but it's arguably more flexible, and thus feels looser.
> Please don't post insinuations about astroturfing, shilling, brigading, foreign agents and the like. It degrades discussion and is usually mistaken. If you're worried about abuse, email hn@ycombinator.com and we'll look at the data.

- https://news.ycombinator.com/newsguidelines.html
I’ve read somewhere that Facebook even embeds tracking pixels in the HTML of the data export, so keep this in mind if you ever actually look at the exported data.
How is this distinct from solipsism?

> It’s easy to see how matter could simply be simulated in consciousness (we feel that every day)

And we are incorrect or imprecise in these simulations all day, every day. For the physical world to depend on our consciousness (and not the other way around), it would have to be a lot more chaotic. The earth orbited the sun when humans believed otherwise, even when there were no humans to think one way or the other.
Many (most?) of us business-founders/owners do worry about inequalities, please don't label us all as a heartless one-track automatons. There are many entrepreneurs/CEOs who would like universal healthcare, justice system reform, and some form of UBI.
Because it ensures a page is useable on a mobile phone, even if the author didn’t take mobile into account: the screen can accommodate for about as much information as a regular 320px computer screen. If you try to use every pixel as you would on a regular screen it would be illegible for most users.
I personally just started applying to roles just beyond what I thought I'd be able to get easily. I generally keep LinkedIn and it job profile sites always in "actively looking" or "open to opportunities" because I like getting free notifications about what roles are opening out there.

If you aim your job search high and come up with some quick templates to speed up cover letters and the like, you can easily apply to all the most interesting, high paying jobs in your field pretty quickly, and then just keep up a steady stream of applications until you start getting contacted for interviews.

Don't be afraid to be scheduling multiple interviews with different companies, just be sure to give yourself adequate time to prepare for each. I've definitely flubbed a few by packing my schedule too tight.

I'm not sure where you're looking for jobs right now, I personally use a combination of LinkedIn, angel.co, stackoverflow jobs, and indeed. I prefer sites that let me filter on salary, but LinkedIn gets some bonus points for their easy apply feature and being able to filter by how many people already applied. Indeed gets me the most contacts from recruiters, but honestly the matches are lower quality since they tend to be based on me appearing in a search result based on my tertiary skills.
> Plus, dynamically typed languages had these rich features that just weren't really accessible in mainstream statically typed languages, and so they kind of became associated with each other in my brain even if that wasn't specifically true.

This resonates a lot with me (though as you say, isn't really a typing thing). I work on ML systems for autonomous vehicles, so I switch between Python and C++, and I definitely occasionally start writing some C++ logic in an elegant functional way and realize that C++'s boilerplate makes it less readable than the usually-less-readable naive construct like a loop (eg I'm surprised at how often std::transform comes out looking terrible).

Do you mind if I ask about the size of the systems/teams you've worked on throughout this process? My experience with C++ has been in large systems worked on asynchronously by lots of engineers (with strong code review policies in place), and my experience with Python has been everything from moderately-sized systems down to smaller ones down to scripting. The Python case also included work with an inexperienced (and frankly, partially unintelligent) team of engineers, which made the discipline imposed by typing all the more valuable, but I have found the documentation and structure that typing imposes on code to be invaluable in communicating

As I said in my other comment, I'm still concerned this is a little facile, but having started my career on C++ systems at Google, I wonder whether I've just set a standard so high for the health of a system that many of those who dismiss typing's value don't understand that those benefits are possible (I'm certainly an order of magnitude better at reading code than anyone my current team, but this is confounded by the fact that everyone else has a weaker engineering background and stronger robotics or ML domain expertise).

To be clear, I don't think this applies to you necessarily; your approach of trading off the benefits of ergonomics vs structure resonates strongly with me, and I'd imagine it's even more the case on pre-modern statically-typed languages. What I'm really curious about is the perspective expressed in the OP, which, in the 2010s, doesn't even see _value_ in types beyond perhaps negligible benefit from some compiler checks.

Thank you very much for the perspective!
could be phished fb employee's account like it was in twitter bitcoin case?
I'm working on a system where the users supply equations as rules and in a roundabout way we came across static vs dynamic typing.

having users have to define each equation and its type (boolean, numerical, etc) would make it simple and foolproof, but add extra work and requires defining each equation separately when a lot of them are just partitioning the space (imagine 30 combinations of x, y and z) so we ended up deriving the type from how its result is being used, but that puts the work of getting it right on the user
If true, this is despicable and deserves a lot of attention and (maybe) some regulatory response. However, is there a more detailed description instead of a few twits.

It seems from the posted pictures that the account was stolen, but why does the author think that a Facebook employee or a Facebook company is behind it? An honest question.
Rewriting our app from Node to Go reduced cloud spend by 20x, did not increase dev time, made it much easier to read and grow the project past 5k lines. Literally no downside.

If your database is typed on the bottom, and your documentation is typed on the top, you have a type sandwich in every non-script application. Might as well be consistent.
If that was the case why would FB be marking the issue as resolved?
A somewhat off topic question, but every time liberte, egalite, fraternite is discussed I want to ask a question: what do we do with stupid and lazy people?

And then for extra credit: what do we do with the children if stupid and lazy people?
I'm a libertarian Bitcoiner myself, and I hope it's not Szabo.

You can be right libertarian without being a xenophobe or an outright racist.
Because I think you are on the wrong scent, I recommend
looking at Startup School https://www.startupschool.org/ and also reading some of Graham's essays to get a better sense about building a startup. http://paulgraham.com/articles.html
What you wrote does nothing to contradict the ordinal claim that “So much of what is toxic about cars and car culture could be fixed by downsizing and slowing them. Primarily, less injuries and deaths - but also lower overall energy consumption”.

It also does not really deal with you being one change of enforcement policy from having a problem: if you go 10 mph over the limit continually for 3 hours, is that one speeding offence total, one offence per road you are on, one offence per state (city?) you pass through, or something else?

What you have is the capacity and the habit of doing something. That’s different from it being good that we live in a world where it is normal for most people. I have the capacity to take ten international flights in one year, and I visited the UK from Germany 8 times last year to make sure I didn’t lose contact with any friends when Brexit happened, but everyone doing that every year would be bad for the environment, and I have no internetion of repeating that year of travel.

> Let me know when you have to drive from London to the northern tip of Scotland for an event

I don’t own a car; I’d either fly or take the train. That trip would be CO2 intensive no matter what option I take, but the rest of the year I still don’t have a car.

(Right now I’m spending an hour each way walking to the office rather than taking public transport on the few occasions I can’t work from home, but normally I prefer trains. That said, I have done a 1080 km cycle holiday once).
Would you be kind enough to post more information about this?
The tweet author is believing the words of the guy who stole the account.

Which... I mean, reliable sources, right?
Have you written code in an ML flavored statically typed language? If not then I highly recommend experiencing it. Your post (especially that second reasoning) reminds me of my pre-ML days when I used to be rabidly anti-static typing.

In theory what you say is equivalent, but in practice, thinking about these things at the design phase is far more easier than to handle them with testing (which is pretty forgiving if you miss things).

https://i.redd.it/2uxj8u6yx9121.png
Is it scientifically possible that present conditions on Venus were caused by a civilization that triggered a runaway greenhouse effect artificially?
> they don’t want it to be true. They prefer being noble doomsayers before the “ignorant sheep.”

This is obviously false. Please take this nonense elsewhere.

I agree with the rest of your comment more than with the person you replied to, like, of course we can have a major effect on the climate if we see the need to (if we indeed see 8°C warming and traditional food supplies failing, suddenly the powers of this world will see ways to do something about it that they aren't doing today) and it doesn't automatically mean an imminent end to history like GP claimed. I just don't get why you had to add the cited part. We're all on the same team.
As Powerful as Possible
Did you ever wondered where all those strange name in Lisp comes from? What is car and cdr, why they are called so, what makes Lisp so special, or why are so many parenthesis in Lisp code?

A Croatian professor, Kazimir Majorinc, decided to research the subject and the result is a beautiful and easy to digest book, Moćan koliko je god moguće, about early Lisp history and major ideas and concepts in early Lisp.

An English translation in working is now available on GitHub; you are free to read it and share it unmodified under the CC Attribute-No Derivatives license.

Language corrections are welcome, please read the Readme.org to see how to contribute.
I switched my Javascript code base to Typescript a few months ago. There is a productivity cost that is declining over time as I get more used to Typescript. But the conversion also flushed out some significant bugs in the JavaScript base.

And I only get to work on this code once a week. So when I come back to it I’ve found it’s much clearer how it works and I get productive much faster.

I will bet any coworkers who have to work on your code wish it was in Typescript.
This is why you want Mastodon :)
Basically. "A guy who stole my account claims someone at Facebook helped them" would be more accurate
Or depression and anxiety, oddly enough
Well, that'd probably explain South Africa - the end of apartheid there has done wonders for the number of black South Africans in better-off jobs, even if it hasn't done all that much good for overall inequality or the economy as a whole, and I suspect this one-off event has messed with however they're measuring social mobility.
> Any building using concrete for a structure should be aiming to last at least 100 years.

I don't know which country you have in mind but in Europe the construction industry by law is obligated to design concrete structures for residential buildings that ensures a useful life of at least 50 years, and by definition that means that the building structure shall not require maintenance for at least 50 years.

Moreover, concrete as a widespread structural material is relatively new, and city centers are still packed with contrete buildings that were built when the technology started popping up.

In fact, in general a building with concrete structure is only demolished when it's not possible to retrofit or renovate it effectively, due to unrelated reasons such as increasing occupation density that would not be cost-effective by reinforcing the concrete structure.

My point is that concrete structures are not demolished with enough frequency to be of any concern. The main reason is that concrete structures are simply too expensive to be demolished, moreso in urban centers. Thus your concern simply isn't relevant in the real world because economics already impose the same restrictions that are expressed in your environmental concerns.
You can also make your own Nasopure by mixing 9 g NaCl and 6 g NaHCO₃ into 1 l of water.
Well said. There should be really good laws for these companies. Sadly no same bad PR yet received to google/amazon like facebook. The amound of data both collect is enormous.
Also the power needed to grind clinker down to powder is huge, overall comminution (grinding) industrial processes are among the biggest electricity consumer in the world.

Cement ball mills are less than 1% efficiency.

https://en.wikipedia.org/wiki/Cement_mill

Having done two postdocs in the field i can tell its not progressing very fast...
We all have to thank China for that. We no longer have entry-level jobs paying $75k. But we have cheap bulbs.

Good deal, heh?
> The thing was 50 lines, and I was lost.

The key to writing type-less code is making it so simple that you could cry. Avoid being clever at all costs. However, it's almost the exact opposite when you have a nice compiler checking everything, you can be mighty clever and know that it will work.

I'm lucky in that we can solve a problem in a myriad of languages, depending on if it needs to be "realtime", or can be precomputed. There are some types of problems I'd rather solve in Scala, and others, Python or PHP. It just depends.
This is why interfaces exist.
My Instagram account has suddenly started asking for a phone number and won’t let me log in without one.
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe
Not ridiculous at all. Size of island doesn’t matter. The court is on mainland. Police station where resort filed complaint is where the guy has to go to hear the charges and to make his own statement. All ok so far.

The ridiculous part is your comment about the proceeding and size of island. The charges for violations of laws don’t get smaller the smaller the island is.
That’s the interesting thing. It probably won’t even be a paragraph. Or even a sentence.

Look at the Spanish flu, it gets a cursory mention in this history of the early 20th century. WW1 and the Great Depression dominate that narrative.
> democracies are inherently unstable. Athenian lasted 200 years and got swallowed up by Macedonian autocracy. Roman lasted 500 years and got overthrown by the army.

The Roman Republic learned from Athens’ democracy. Even late Republicans like Sulla and Cicero and Caesar recognised the Republic’s overuse of checks and balances, as well as its lack of a state army. Caesar almost uniquely recognised Rome’s broken voting system. Unfortunately, they were too late.

America’s founders were not. The lessons of the Republic gave us our strong executive and state-funded armed forces. Our Constitutional amendment process is sclerotic, but there is nothing to suggest our Republic is inherently flawed in the way Athens or Rome were.
If saying "now" is "terribly misleading" - the Federal Reserve says black unemployment was higher from 2010 to 2012 then it is now.
> Most of the time when I review code my remarks is: it should be a 10 lines function, why did you write 10 classes with 10 getters and setters each?

This is the fault of the language or programmer itself instead of its type system.

I am programming in Dart and sometimes I feel that I am writing some code just to workaround some limitations in the language (the language itself is nice 90% of time, just to make it clear).

Now, I also program in Python using mypy, and I never needed to write "10 getters and setters" to make the compiler happy. Sometimes I do need to write additional code to make mypy happy, but generally it is in overly clever code that mypy doesn't understand. So generally fixing the issues makes the code better.
Audio Branch – Podcasts with Branches
Well what he should conclude if support doesn't work at all.
So that's the new replacement for pointless uptime boasting.... Except even less provable.
While they do have power over users on their platform, they're voluntary applications that people choose to give control to for convenience and publicity. Unlike credit bureaus who actually ruin peoples' lives with their carelessness and you can't even opt out, social media apps are purely opt-in, and you don't get your wages garnished or bank accounts emptied or lose your ability to drive because of them.

And while I hope danny gets his username back, and it's ridiculous what happened, the value of the user account handle that danny had was created by Instagram's efforts. You don't have property rights to it the same way you own actual property or a domain name registered under your name.
All of that integration can be done by a battery supplier like SVolt. There is no need for vertical integration with a car company to get that savings.
This kills me about python. So many times I cannot figure out what exactly a functions expects and what it returns, sometimes even from reading the documentation! Matplotlib is especially bad.
I had an HP-48SX when I was in high school. I later upgraded to a 48G. Its RPL language was quite extensive and I was able to write a few small games in my spare time.
These companies care lot to scale their stack. But nobody gives shit to scale support and handling these kind of issues.
Why not say boxing or "fight" ?
OCaml has a REPL. I use it all the time to check that a new function I just wrote is correct. Yet I still get huge benefits from the static typing: many of my errors are stupid type errors, and having the type checker tell me about them, rather than a runtime error (or worse, a wrong result), makes early prototyping much faster.

Even if I already have a REPL. I believe the main reason is because the type checker is much closer to the source of my errors than runtime checks or tests are.
Even if the fb employee bit is untrue (I'm also skeptical), it indicates that someone can take over your account like this with no recourse.
It's believable though. The culture around "OG" accounts really is that weird.

It's easy enough for a Facebook policy team to confirm this one way or the other by looking at the logs. If this gets enough visibility I assume that will happen.
I don't carry my old HP calculator with me, it lives at my desk where it's been very useful over the years (less recently, but that's a change in job responsibilities than the utility of the calculator). And if I did have to carry it, it'd be in the shoulder bag where I have my notebooks, books, laptop and/or tablet. I mean, it's rare that I'd think to grab a calculator to bring with me but not also have the other things I'd want record/communicate with.
Imagine having such a minimal understanding of Bitcoin yet feeling entitled to post your inconsequential opinion online.
Also, as clearly over-simplified, janky, and non-indicative as every programmer knows they are, I do every "skills test" those sites throw at me. I wouldn't trust them if I was hiring, but completing then usually gets you features in more search results and can get you advanced notification on new jobs that match your tested skills.

Also, paying for premium on LinkedIn is generally worth it for as long as you're searching.

It's a great opening line in your cover letter if you can say, "I saw that you were looking at my LinkedIn profile and when I saw that you had an opening I'd be a great fit for..."
I’ve never been in the military. But looking from the outside and having interacted with a lot of military veterans, it seems like all of the issues with the current US military is because of the corrupt, idealogical civilian leadership. This isn’t meant to be partisan. I think Bush I executed the first Iraq war well.
Because there's no proof of any malicious activity. It could very well be that the guy Tweeting is trying to take over the account.
Samsung crippled TVs with Tizen bug
I use lol@lol.com

Or if I need to see the email sent to me, I’d use something like tempmail
Don't conflate the inability to measure productivity with the conclusion that for this one issue the differences can't be that large. That's like saying, "just because we can't measure distance or velocity, rockets and cars probably are similar speeds, or it depends on the driver's personality." It's empirically unsolved how productive an engineer even is, therefore all other discussions are 100% subjective.

We don't know if there's an effect, because we have no way at all to measure it without costs so staggeringly large no one will ever try. We'd need similar engineers, doing all the same practices, with the same stories, and just one difference. But then the engineers would need to have been selected to be similar skill and speed previously, which would require doing other projects with all fixed practices and languages to measure developer skill relative to peers. This also doesn't take into account team cooperation and morale, creative thinking around problem solving, etc. It's a bummer, but without some breakthrough in AI research allowing developers to be measured based on the code they write, it's seeming more and more like an unsolvable problem.
Yes. Instagram’s explanation was they thought the account was an impersonator of Andrés Iniesta and disabled it/gave it away.

Usually if Instagram wants your account they add underscores to the original handle like they did with @sussexroyal.
> "no, it's your server doing this"

at that point i expected the story to go "and then they sued me for stealing their documents"
>Karl Marx not to be socialist

He was not a socialist, he was a Marxist. It's like expecting that Windows and Linux are Operating-systems and by that completely the same.
I learned Clojure by reading Clojure for the Brave and True and can recommend it as a good intro. It helps that the language itself is simple and consistent. You can get remarkably dangerous with only a few hours of study.

https://www.braveclojure.com/
Another important advantage of RISC-V is academia. RISC-V has much more mindshare/backing from the university researchers, being started in UC Berkeley with big names like David Patterson. OpenPower...not so much. And I strongly believe university research being on top of RISC-V is the biggest advantage in the long term - what that means is that masters and PhD students will be fully trained on RISC-V ISA, and many new architectural research will be already based on the ISA.

OpenPower never had, and likely never will have academic backing. Why would a university research choose OpenPower ? The only scenario I can imagine is if they are pursuing a funding from OpenPower companies, but OpenPower is already a small minority in ISA mind-share and market share, and I don't see any chance of them catching up.