skysight-inc/HackerNews huggingface dataset:
Insurance companies engage in a co-operative relationship with the people who take out insurance products with them.

When you insure your house against fire neither you nor the insurance company want your house to burn down.

In a gambling scenario the layer wishes the bet to lose and the backer wants it to succeed.
Good thing I didn't say or imply either of those then.

I said don't abuse language features. That is a far cry from writing perfect code.

Non perfect code is expected early in a startup, I'm just saying don't confuse your non perfect code with a language failure.

I'd also like to say if you've never seen "hire perfect developers" scale passed one you've been optimising for the wrong thing.

I've seen a team go from technical debt hell and dread to a powerhouse team where everyone commits daily.

It doesn't take much, and it doesn't take perfect developers, and it certainly doesn't have anything to do with the language.

It had everything to do with honest and healthy code review. It had everything to do with people feeling comfortable enough to say, your solution is a hack, why are you taking this shortcut.

That isn't write perfect code, or hire the right people. That is hire pretty much whoever will take the job. That is prioritising and optimising for quality.

We still had a legacy code base, it still made us money, and it gave us the time opportunity to do things right, but you still need to take the time.
Not the black death so much(though that may have facilitated some positive social changes... I'm not that familiar with the time period), but the trade that was facilitated by the mongol empire definitely facilitated Europeans desire to explore the world.
What security concerns?
Gender based harassment by IT? Is that the default accusation now? Something like counterrevolutionary?

It seems more that the Dean, who is female, harassed the student.
If it's "just logging" then of course just use the provided solution.

A custom domain for a business would be something more than logging though. For example, perhaps you want your logging to include some regulatory compliance hooks. Or maybe you want to do logging that also serves as a persistence layer for undo/redo and you need that to be tied deeply into your presentation layer.

In those cases it's much more than just "log this" that's being abstracted, it's all of the business needs around logging.

And next developer can't get away from learning all that code. Either it's tied up as a nice internal company logging framework, or it's spread out as a bunch of concerns through the app. But either way, the newbie has to figure it out.
It could easily be replaced by an electron app running a QEMU in JavaScript emulating an virtual machine running Windows 3.11 on an Rasperry PI terminal connected to a cloud server located at the edge for maximum performance paid for by real-time Bitcoin micropayments.
See also Amazon. I’ve heard too many stories and seen it first hand (it didn’t work on me, but they sure tried).

I’m pretty worried about the future of software in Seattle. So many new grads learning bad habits and then moving on to other companies. It’s a lot to unlearn.
An even simpler way to put it:

I have $1,000,000 in the bank. I have 10 engineers. If we don't make at least a break-even income in 6 months I have to fire 10 engineers. So you have 2 months to build something so I can spend 4 months hyping people up to buy a bunch of it or we close down. And I know your engineer asses ain't gonna write bug-free code.
If you or others you know of are involved in any of these kangaroo court type situations, it does help to hire an attorney to try to get these kinds of proceedings taken out of the kangaroo court system whenever possible and as soon as possible. This goes for both companies with internal kangaroo courts and universities with internal kangaroo courts.

If you allow yourself to be placed at the mercy of these kinds of systems, you are going to get clowned on because they are designed to achieve that goal and to prevent you from pressing whatever actual legal rights you may have. If you are on "trial" in a kangaroo court system you have to recognize that the court trappings are there to disarm you, convince you to do things against your interest, and to railroad an outcome that benefits the institution and not you.
> Forgotten knowledge is worthless

Not really, you pick up something you forget much faster than something you've never seen before. It's all in there somewhere.
This is an important point. There's nothing to stop Harvard or Stanford from commercializing their research directly. They have massive endowments of financial and human capital.

The flip critique of the drug industry is to suggest they're basically taking miracle cures developed in toto in publicly-funded labs and taking pure profits.

If that were the case, shouldn't one of the dozens of well-capitalized research institutions just go to market?

The reality is the drug companies take on a tremendous burden turning high-level research into a product that works, including:

+ Formulating a product that will work at scale,

+ In widely diverse populations,

+ While eliminating potential side effects,
+ Adapting for human UX limitations,

+ Exhaustively guarding against adverse reactions,

+ At the same time, building production capacity,

+ Creates marketing materials for patients, but also to educate doctors who don't have scads of time to study new treatments,

+ Physically distributing the product

+ Monitoring the product fastidiously once it's on the market for negative reactions,

+ Sending humans to almost every doctor's office to answer any questions about the product,

+ While staffing a 24/7 customer service number to sort out any problems

It's not as easy as it's made out to be!
Nope. I got it through Express Entry under the Federal Skilled Worker stream. You get points based on Education, Experience, Age, English/French proficiency etc.

The first day I landed in Canada, I became a Permanent Resident.

The requirements may be there for other streams / work permits / students (I'm not aware of those paths).
> - No type inference, since that's not decidable for dependent types.

You can still have type inference, it just won't be able to infer the type of all valid terms, in which case you just have to add a manual annotation. This is not a strange concept, this is what haskell does for example with higher ranked types.

> getting the specifications is a big problem

You do not need to specify what the whole program will do (in fact you can use a language with dependent types without having to specify anything at all) - that being said, people usually specify the behavior of specific functions in the program.

> - Relatedly, dependent types don't solve the oracle problem in software engineering: i.e. where do you get the specs from and how do you know that your specs (in this case types) are correct rather than false?

I thought that the point of erlang having dependent types would be to make data-dependent code easier, not to specify the behavior of functions. But yes, this is correct, and this holds true with every proof assistant that I am aware, not only with the ones that use dependent types.

> because you now also have to rewrite / refactor the specifications

This is a great thing actually - I would consider it a bug if my function after a refactoring did something that went against its specification, with dependent types I can have the compiler warn me about it.

But again, you are not forced to write a specification. Dependent types only add possibilities without removing anything.

> So it's not like programming language designers don't know about them.

I would argue that most programming language designers are not familiar with type theory. There are thousands of languages, one does not need to be a genius to make one. Heck, two of the most popular languages (C and Go) do not even have parametric polymorphism, not to mention that generics were added in Java only in 2004. In addition to that pretty much no popular language has proper support for higher order types either.

> industrial code, 20k LoCs, at least 3 programmers involved, specification changed over time. Specification was not fully available at the start of the project.

In that case, none. Though I would argue that your standards are too high, after all just the fact that I have not worked in the software industry excludes anything that I have made.

As for LoC, I would not use it to measure the scale of a project. With Java for example even the most trivial program can easily reach thousands of lines.
‘Raising kids is not hard’: <<<that’s a pretty unverifiable claim.

After reading some of the comments here, I have changed my mind. I now feel like it’s not just counseling, but prospective parents should be given a written and oral test and must obtain a child license before they can have children who will have to be supported by public monies.

(Change My Mind)
Wow a free speech soapbox. Guy got what he deserved, nothing else to it. Pretty funny you think that a physicist is somehow more qualified to explain deeply entrenched socioeconomic, cultural, and biological issues by being better at statistics?? Your position is just naive, wake up to reality. There are consequences to unethical behavior in the science community. Trying to disguise his motivations behind some thin veneer of research while having a record of misogyny should be clear to any unbiased reader.
Having been through a long and very ugly divorce myself, my advice is to just rip the band-aid off and crash out as soon as possible. Yeah, it's going to be terrible, but nothing can stop that now. And the anticipation is worse than the actual new normal.
The Future in 10 GitHub Projects ⭐⭐⭐⭐⭐
Every job I've ever worked I felt I produced more cash value for the owners than I took. I'm actually quite proud of that fact. It's important to me, and it's one of the things I think about all the time as I'm making decisions on how to work.
> Back when I worked on building software for clients, I used to tell people "we run all software on the Java Virtual Machine" instead of "it's written in Clojure", because I was afraid they would get scared.

That seems... dishonest? What happens when the client wants to hire someone else in the future, only to find out it's not Java, it's actually this language which is not mainstream at all?
Yes, I've seen the slides. They are offensive and the cartoons in them are offensive in the context of the slides. There is no question that they would harm CERN's repuation and that people at CERN would be livid at Strumio's talk as a result.
And who’s to say she didn’t share the Scott Shaw account with others? She’s claiming that some of the times it was used she couldn’t have done it, not all of he times.
If you're a pirate video streaming website and basically banned from every ad network, it could be worth the bandwidth.
> express facts

Lol what “facts” are you referring to?
Recursion is the way to go in Erlang / Elixir: https://learnyousomeerlang.com/recursion
When one writes a bit if Erlang for a while, one gets a completely different view on any software to be written in the future. Erlang is life changing. But there are things where other technologies are better fit.
The initial ruleset requires unanimous agreement for each rule change. This ensures that anyone who loses has, at some point, allowed it to happen (unlike, say, a majority vote, which could victimise a minority of players)

From https://en.wikipedia.org/wiki/Nomic

"While the victory condition in Suber's initial ruleset is the accumulation of 100 points by the roll of dice, he once said that "this rule is deliberately boring so that players will quickly amend it to please themselves".[1] Players can change the rules to such a degree that points can become irrelevant in favor of a true currency, or make victory an unimportant concern. Any rule in the game, including the rules specifying the criteria for winning and even the rule that rules must be obeyed, can be changed. Any loophole in the ruleset, however, may allow the first player to discover it the chance to pull a "scam" and modify the rules to win the game. Complicating this process is the fact that Suber's initial ruleset allows for the appointment of judges to preside over issues of rule interpretation."

So not only would 'give me infinity points' presumably not win a unanimous vote; but the whole idea of "getting points" is designed to be gotten rid of in favour of something more interesting.
Isn't that the argument the Trump administration is using? that it's possible for terrorists to sneak in along with the caravan?
> I am European, however this comment makes me laugh. USA can literally crash EU in a couple of weeks, if they want to. It doesn't mean I need to live with fear, for God's sake, but just saying.

That's maybe what the US believes (or some of the "America is special" hardliners) and if you believe it too I would say their propaganda did a good job. They can neither militarily nor economically do this, even if they wish they could.
https://en.wikipedia.org/wiki/Indentation_style#Allman_style
Good idea. I refer to Apache Groovy as "Bash for the JVM". The static typing features in Groovy were bolted on for version 2, whereas Scala and Kotlin were designed from the ground up for building actual systems on the JVM, so they're a far better choice for that.
Not sure what you mean, but from my experience, you can do all that in Emacs. They're not one feature, but a couple distinct one.

That’s why I said “easily switch between”. As in, a single piece of UI. If you’ve used any modern editor or IDE I’m sure you’ve seen this.

I can't think of an outside-Emacs innovation that couldn't - and wouldn't - get ported over

The person I was talking to uses fairly stock Emacs, so that’s not a useful point.
It's obvious you have chosen not to inform yourself about this particular situation before commenting. You didn't even read the BBC article which had a big bold,

"The decision follows an investigation into comments, first reported by BBC News, made by Prof Strumia at a Cern workshop on gender equality."

The trigger for all this was his presentation at a workshop dedicated to having CERN physicists making statements about gender. Weather you agree with the controversial statements by Alessandro Strumia or not is not relevant to the parent comment being wrong.
It's not :).
Thanks ! That mascot is super cool.
How to Read 80ish Books a Year (and Remember Them)
It's not pushed to the producer, it's pushed to the consumer, just as charging more for trash does (which may be ideal depending on who you ask). Regardless, all this does is keeps those who have less from obtaining more, others will eat the costs. Seems everything that is disliked these days always has government taking money as the suggested solution. Even if it was the only way, plenty is already taken to rationally use it to help without using the tool punitively.
Well put. 100.
This should get quite interesting for NASA, given that multiple US Gov Agencies are using the WorldWind platform, primarily the Web and Java versions, with some Android.

Someone did not have their thinking cap on when making such a short-sighted decision. They are even already second-guessing themselves by changing the 'suspension' date from March 22 to April 5 on the very day it was first posted. NASA seems to need a wake-up call, given their motto 'For the benefit of all.'

https://www.reddit.com/r/programming/comments/ayzv9d/nasa_wo...

https://www.reddit.com/r/DataHoarder/comments/az3r5l/nasa_wo...
We follow Google's as good as we can. I think they have a stronger stance on some best practices which I personally don't agree with, but I also can't think of a better forcing function for less experienced C++ devs to write dangerous code and shoot themselves in the foot anyway.
Benefits from Eating Chicken Eggs
Yeah, I'm talking about people being upset that I had to look up the syntax for ActiveRecord associations because I haven't written any in a while.
People are unwilling, to the point of delusion, to accept the possibility that this higher variance really does explain differences in representation among sexes across various top talent industries.

Academic society is in a weird place where this kind of bias is acceptable. Which is antithetical to science and I therefore understand Strumia's frustration.
Mainly that DAP was designed as such from the get go, with multiple implementations for many very different languages being one of the driving assumptions behind its design.

MI, on the other hand, was originally just an API to use gdb programmatically, and was later repurposed by others simply because it was already implemented by other tooling, dealing with its gdb-specific idiosyncrasies being the path of least resistance.

https://kichwacoders.com/2017/08/02/gdbs-mi-is-not-a-debug-p...

As a consequence, DAP is much easier to work with from the IDE side, and it's easier to implement an adapter, as well. Looking at this table - even ignoring all the Microsoft-made ones - how many of the languages listed have a MI debugger implementation?

https://microsoft.github.io/debug-adapter-protocol/implement...

On the tooling side, Emacs and Eclipse are both covered:

https://microsoft.github.io/debug-adapter-protocol/implement...

Still, for native debugging specifically, it's a good point that on the IDE side, MI is currently better supported. So implementing that first would make more sense in terms of lighting up more IDEs, at the price of a somewhat more complex implementation. DAP can be implemented on top of MI - this is exactly what the VSCode C++ debug adapter does.
I think this is the best kind of site to use archive.is on:
http://archive.is/6gbeU
> Einstein and many other prominent scientists I'm sure that they could find plenty of issues with their moral character as well.

The question has been raised as to whether Einstein's wife Mileva Marić made an uncredited contribution to his work.
"Hospice nurses often list five emotional tasks for the end of life: thank you, I love you, please forgive me, I forgive you, and goodbye."

That's a pretty good list. Some of us might also add, "See you in Hell", but that's just me.
I don’t get it it’s telling me to F off. Maybe HN is sending too much traffic, but this seems rude.
I'd also be curious about the criteria for "abuse" and "bullying". I imagine there are technical definitions but I did not see any in the abstract.

I've found there is massive deviation between what co-workers I've worked with define those personally as. To the level where one might consider a behavior helpful and uplifting and another would consider that identical behavior abusive and emotionally crushing.
My latest iteration:

1) a16z

2) Conversations with Tyler (the recent one with sama was really good!)

3) Venture Stories by Village Global

4) Econtalk
Oh, come on, static typing does not prevent all type errors. Everything what arrives on the wire can blow your program up.

> Also if you control the client and the server, do not just blindly follow Postel's law and except crappy data.

But in real world, we do not livd in a bubble. Very often, we do not have the comfort of controlling the server and the client. We have keep edge cases in mind. Unexpected errors / cases happen.
Well, when I said free, I of course meant paid through taxes that are adjusted to your income level. Here in Spain your public healthcare quality won't change depending on if you make €1000 or €4000. You won't be put on top of a medical waiting list because you contribute more taxes wise to the system.

Dentistry is another thing altogether.

Also opting out of "public health insurance" is impossible here in Spain, because it's a right. You can however choose to get private insurance/get treated by a private healthcare company.
Curious in terms of unique users, what % lose/make money over time? How long do the losers stay on platform before exiting?
Cool.

Some of those old bottles are outright beautiful. Frosted where the rub together in crates.
Seven digital disruptions you might not see coming
I meant that, even if you wipe your computer, there may be evidence generated automatically elsewhere such as routers, backup/sync accounts, etc.
I do!

https://onlinelibrary.wiley.com/doi/epdf/10.1111/evo.12224

This is observed not only in birds vs mammals but also in insects (some have heterogametic males like mammals and others (butterflies) have heterogamic females, like birds).

Key figure: https://i.imgur.com/4E6FUXN.png
>and that historial data or past injustices is not a good starting point for policymaking that will affect the bright minds of young uni students.

given that one of Strumia's data points to bolster his argument was the citation rate of women vs the citation rate of men, this isn't an historical data point. There are significantly more senior physicists, with higher citation rates than women, simply because women until fairly recently had a low foothold in academia.
You don't need those things until after you hit scale, so I wouldn't include them in an initial quote.
This was certainly why no teenage boy wanted to be seen playing a 3/4 size guitar! But one would hope that adults could behave better.
Yeah, Kotlin has some "enhanced switch" type stuff, but nothing that compares to Scala's matching with unapply, list extraction, etc.
> Easy answer: the plague was much, much, much more devastating in Ethiopia than in Europe, leaving no one behind to recover from anything, or to tell the harrowing story.

I disagree. There must have been some people left behind (assuming such a plague happened) because there are still people in Ethiopia and at least some of the culture from then still exists (I’m thinking of the Ethiopian church but I expect there is plenty more). If there were no people left then such things would have died out. Therefore I think we should conclude that either some people were able to recover (or the plague was localised to some regions which were completely destroyed whereas others survived). I think in either case one would still expect this plague to be known about and I would certainly expect such a large event to leave at least some clues behind in eg oral traditions or written records.

Secondly this answer is assuming that the question is reasonable (ie that Ethiopia recovered more slowly than Europe). I’m not sure that there is much evidence either way about it. There are two parts to this: one is recovering back to a similar state as before the plague, and another is recovering to the same level as each other. It is slightly unclear to me which the question means but I suppose I would guess the first.

In my opinion, any difference in recovery is going to be much more related to the differences of geography (and maybe politics) than differences of devastation. One caveat would be that maybe social structures could cause the plague to be more devastating in one place than another but I’m not sure I buy it. I expect most medieval social structures would soon be reacting quite similarly to a plague of such proportions.
This isn't exactly crank science. This is a valid challenge to an equality assumption which permeates modern academia and industry, with potential negative consequences, which has never actually been proven.

And the same correlative "evidence" for sexism (which really is just a conflation of equality of outcome and equality of opportunity) could just as readily be taken as a manifestation of functional inequality.

But social stigma and an imepenetrable bias in academia keeps any meaningful research in this area from occurring, probably because people are afraid of the potential implications. That's bad science and ultimately is probably bad for society if it turns out these unproven assumptions for equal competence are untrue.