skysight-inc/HackerNews huggingface dataset:
The key thing people are misunderstanding about this issue is that not all points of view/ideologies/worldviews are morally neutral. The reasoning goes: Since no one could rationally choose to harm another person, there must be some pathological reason he chose to harm someone. But it's basically and simply true that people do things in their right minds all the time that lead to suffering. OP's point is that pathologizing behavior you don't like cuts off all reasoning about it.

John Brown killed people, but was he mentally ill? What about US soldiers in Afghanistan? Put another way, there are plenty of smart white supremacists. They're not all toothless knuckle dragging illiterates. Some are highly educated. It's possible to do bad things not due to a defect in education or mental illness, but through moral deficiency. People in their right minds do evil things.
I've mentioned this a few times, but the issue isn't with auto-renewals existing, it's with how these auto-renewals are applied and the policy around them.
Talk to me about principles of the universe when you are being burnt alive because of some rogue psycho.

Of course violence and mental illness aren't mutually inclusive - but serene individuals don't set fire to buildings full of people. So why bring up this edgy bullshit in this context?
On top of that, it's impossible to shop around for some of the biggest purchases.

Broke your leg, now what? Start calling local hospitals to see who offers the best price?

It's impossible to be an educated consumer with healthcare. Impossible.
Show HN: News Box from Owwly – list of early products and that’s just beginning
It's interesting to see how many focus on the nested, recursive representations of expression and statement syntax.

It's understandable for teaching the concepts of syntax to people learning programming for the first time, but I don't think it tackles any of the essential complexity, or what makes programming hard.

It keeps getting reinvented in different guises, often with an air of democratizing coding, taking it out of the hands of the high priests (IT) and into the hands of the people. But what's hard about programming isn't if-statements, loops and assignments. It's incorrect assumptions and broken invariants, usually in runtime data, generated by code which is often distant.

Relatively few interfaces seem to deal with manipulating data rather than code. I think working with data is more likely to be useful and successful. Look at things like Visual Basic - a form designer is effectively manipulating a stored data structure which defines how a runtime data structure is going to get constructed.
Hello to Everyone
hello to everyone
i do app for download music and play music and movies what you think about the app
http://dust-fall.com/mediatomp3.html
Oh, you usually specify in multiple levels of detail in TLA+ and relate them and only informally relate them to code, but if you want a formal relation to code you could compile your program to TLA+ (e.g. http://tla2014.loria.fr/slides/methni.pdf).

... But you probably don't really want to do that. Code-level verification using any "deep specification" tool (TLA+, Coq, Isabelle, Lean, F* etc.) is extremely limited in scale compared to specifying in TLA+ at a higher level. Because there is no known way to directly verify programs larger than several thousand lines affordably, and because that's precisely the kinds of programs that most engineers need to verify most of the time, it's far more common to use TLA+ at a higher-than-code level.
>technically unfeasible to guarantee "pipe size" bandwidth to all routes on the internet to all your clients

Yes I agree. But if I pay an ISP for a 10mbps link, I should be able to get 10mbps to their NOC at all times, and then each ISP would be able to vary prices based on peer connectivity. This is where competition would strengthen the internet backbone.
I'd also like to add that not only do people have too much confidence in their "ownership" of an idea, but people severely underestimate the extent to which their idea was influenced by the cultural zeitgeist (which frequently accounts for collisions and false charges of plagiarism).
Of course it cant be 'happy for all', the rent seeking wealth extraction industry will not be happy about lowering prices at all.
This pattern of exploding healthcare costs didn’t begin with the passage of the ACA (though the ACA is also obviously not the solution). The ACA did increase costs as insurance companies couldn’t suddenly refuse service because they are actually sick (preexisting conditions), but what is our healthcare system doing if it’s NOT treating sick people?
Is "arson" generally not considered a targeted attack?
From what I can tell, yes.

According to their about page [0], they're a licensing/localization company for Japanese animation. Looking at their catalog [1], they've localized various Kyoto Animation productions.

As other comments on this thread have pointed out, the company also shared the campaign on their Twitter account.

[0] - http://www.sentaifilmworks.com/about

[1] - http://www.sentaifilmworks.com/catalog
Should mention for Access-Control-Allow-Origin that the default value is the safe default and setting this header weakens site security.
I had experience somewhat counter to this. I learned C and C++ first, and when I first started working with Java things like CamelCase did seem a bit strange and off-putting to me, but I got used to the less keystrokes surprisingly quickly, and it's one of the things which bothers me most about working with Rust.

I think there is such a thing as liking what's familiar, but there are also design decisions which are simply easier to read or easier to parse. Another one would be semicolons: I have never missed semicolons one bit in a language where they're not required.
Pattern Matching versus Elixir's Access Behavior
This idea could never work. Never.

It's impossible to be an educated consumer with healthcare.

Slip, fall and break your leg. Who do you call first, 911 or your local hospitals to price shop?
While I completely agree with the point that evolutionists should not expect a sharp divide between the capabilities of humans and other animals, I think it is worth noting that it took something over half of the interval, in which complex life will be possible on Earth, for complex language to emerge. Of course, if humans disappear before we have eliminated all other large animals, its re-emergence could be quicker...
That sucks, but not nearly as much as not being able to get coverage for a pre-existing condition, at any price.
USA needs an NHS
Hello community,

I would like to introduce a new page on Owwly - News Box
You can find here early startups and interesting tips on how to build successful products. We realized it’s really hard for young startups to introduce to the tech world. Our mission is to help people promote their solutions at the very beginning, even when a tool has only landing page to gather email list.

And that’s just beginning…

We would like to give an option to users to log in and participate in community growing.

The Goal - motivate startupers to add content which could bring a value (remarks from building a product, takeaways, what they learn, what works/ what’s not, etc.)

Upsides to startupers:
-building community around their product
-knowledge exchange
-free promotion

So keen to hear you’re feedback about this idea. Do you think it could give you a value to use it from time to time? Would you like to share knowledge and be more visible in the tech world?

Piotr.
> Why though?!

There's not a ton of money in the Anime industry. Especially over-seas, since translation is a very labor intensive and largely manual process.

There's also not a guaranteed audience for an anime. They have to rely on fans of the existing works (typically light novels) to view the (often drastically different) animes. I've seen a few of my favorite series get dropped due to being too niche.
Am I missing something here? A $1200 markdown isn't impossibly large.
Hsa's are pretty simple.... Tax free account to pay for health expenses. If we all _exclusively_ had them, I think our insurance rates would drop significantly. Not only would purple be concerned about the price of procedures, but would actively keep a eye on their usage.
As somebody interested in both but having mainly been a programmer all my life. Could you describe in what ways philosophy can help somebody?

My (heavily uninformed) guess would be the ever questioning if our assumptions are actually true or not.
You know this is Multics we are talking about here :-)

I must be one of the few on hn who has actually programmed in Pl/1 on a system (Prime 750's) that used it as its systems programming language.

It is a Dream Language it just F&%ing works
The work patterns would be more interesting.

Does Bellard think the whole project through for days and then simply hacks it down in a few hours?

Does one of them use TLA+?

Do they use iterative approaches, where the first few versions are really buggy?
Introducing Circl: An Advanced Cryptographic Library from Cloudflare
Renowned Hacker Phineas Fisher says organization misled people about their files
I clicked on the link and closed it after 3 lines. No. JUST no. I will not stand for those columns. You have KILOMETERS of virtual space on a webpage. You are not stuck on a physical dead media. Don't pretend to be.
You're right, but they will do it anyway.
> The context is already there. Each article on a newspaper already provides the context.

While that's true, I'd imagine the vast majority of articles aren't all that useful to sell against. What ads do you put next to "Trump racist tweet controversy"? Flights to Canada, perhaps...
Don't be disappointed! The A6000 is a fantastic camera, even for the $500 I purchased it for two years ago.
Three people in here immediately blamed this on mental illness/mental health. That feels like such a strange reaction and oversimplification to this.

If what I read is true: The work of the person who did this did get his work stolen and maybe as a consequence missed out on a lot of money. Then doing something like this might be quite an overreaction, but is at least in the realm of understandable, no? Revenge is in human nature.
Great point! I added a sentence to say that the default is all that's needed.
int main() {return 0;}

I believe this is bug-free, and would love to know, if it isn't?
You're right, you can read about them on the XDE developers environment for Mesa, the experience report about Mesa/Cedar, the three canonical Smalltalk books and some Interlisp-D related papers.
These are buildings put up by migrant workers, so properly prepared is relative. They make a trade off, it works for them.
As one of the world’s largest type foundaries I wouldn’t say that Monotype doesn’t provide value.

They had us bang to rights for using one of their fonts on a site with over 1bn annual pageviews without a licence.
Based on this article it looks like it's possible for MS to truly embrace Rust.

This would be an opportunity for them at the same time to extend the language by offering for example a dialect which is less focused on functional programming idioms and the stranger notations, like lifetimes.

There are many people complaining about the above, and they would probably vote for the MS dialect, which could result in extinguishing current Rust and de facto replacing it with a more beginner-friendly version.
Yes, if the Amazon model doesn't work out and you lose value, that's not immoral. It just happened like your lottery. If the value decreases from people stealing from Amazon then it is the same as going in your wallet and taking the cash.
Maybe maintainers commit "early", merging other people's work that piles up at night, while contributors commit "late", at the end of the workday?
> I was surprised to learn that I really enjoy coding, whereas I rather dislike math. I feel like this article might resonate with some people, but not with me.

I posted about this elsewhere in the thread, but a deeper insight for you may be (was for me) that you have an easier time thinking in terms of steps in a process—algorithms—than identities and proofs.
On the contrary, the GP is a (light) instance of the chinese robber fallacy. https://rationalconspiracy.com/2015/03/08/the-chinese-robber... They're using "a generic problem to attack a specific person or group, even though other groups have the problem just as much (or even more so)" and should be called out on it.
I wish that restic supported asymmetric keys. I'm uncomfortable storing the key alongside the backup tool, even if it just gets injected at runtime. If a nefarious party gets the key all my backups from that key are vulnerable.

I suspect that it's probably hard to add that functionality because you can't do the deduplication without decrypting the prior backups (or at least an index). That would also explain the memory usage JoshTriplett mentions.
> Even if it wasn't, you can also have 1 talking point in common with white supremacists without being a white supremacist..?

There's an old joke.

"You see that pier on the lake out there? I built that pier with my bare hands. Drove the pilings against the tide of the sand, plank by plank. But do they call me MacGregor the pier builder? No. But you fuck one goat..."
Not necessarily - dying in badly ventilated staircases is a very common cause of death during fires in large buildings. During a mandatory fire safety training I was told that often it is better to stay in your room, close the door to the hallway (treat it as a fire barrier) and go to the window where the firefighters can come get you.
Dask doesn’t support shared memory without pickling because Python doesn’t.
"Give employees a statement showing how much the employer paid..."

Box 12, code DD on your W-2 reports "the cost of coverage under an employer-sponsored group health plan" as required by the ACA [1] (includes the premiums you paid, but you can subtract those out).

[1] https://www.irs.gov/affordable-care-act/form-w-2-reporting-o...
This looks really awesome! I can't tell from the video or website, but where are you sharing your journeys to?

What are the social features of the app?
I completely agree with you.

My point in including the link to the help article is to point out that AirBnB is on the side of disclosure -- so you as a consumer can make that choice for yourself.

Somehow, I don't think many hotels would be that transparent.
Just because they lacked data binding like on WPF/QML/JavaFX/QML.
From the projects they mention, the only one I can see really benefiting from TLA+ would be memcached. For most things it doesn't make a whole lot of sense to use it, unless you're writing a potentially distributed app. If you just want to model a regular program, then you'd be better off looking at PlusCal, which is more oriented to regular programs that aren't designed to be distributed. It compiles down to TLA+ so you get the same benefits, but with an easier to understand syntax.

Edit: Also if you want to learn about how famous programmers work, then there's no better source than the book Coders at Work by Peter Seibel. http://www.codersatwork.com/
Emergency care is a small fraction of health care costs.
> Resource acquisition is initialization

I recently built a small prototype Entity Component System, and one of the big learnings for me was to what extent RAII is an anti-pattern with respect to performance. It's actually amazing how fast a modern CPU can be when you're not using it to allocate and initialize small blocks of memory at a time.

I understand the benefits of RAII in terms of bookkeeping, but it seems like there is opportunity for a new resource management paradigm which is more optimized for using computing resources.
Based on my own reading of light and web novels, the amount of originality in a lot of them is less than you might imagine. It's not too hard to look at the landscape and read a novel that is virtually identical to another, only with slightly different names.
Being that rents have dramatically increased in the US in almost all places while wages have not seems to put some dents in your theory.

Also rent is becoming an ever larger expense in almost everyone's budget. I have a feeling we are playing the "market can remain irrational longer than an individual can remain solvent" game yet again, especially propped up by low rates of borrowing that's going to explode in our face yet again.
It's impossible to properly "keep an eye" on the price of procedures.

Call your dermatologist and ask how much it would cost to get a mole removed and checked for cancer.

Now, 2 hours later, if they even have you a price, tell me if that's reasonable or overpriced. What are you basing that judgement on?
DARPA Announces Microsystems Exploration Program
I always thought of 10x engineers as a specific type of engineer that follow the 10x rule, as detailed and discussed by Grant Cardone in his book `The 10x rule`. More on that book here: https://jamesclear.com/book-summaries/10x-rule

> The 10X Rule says that 1) you should set targets for yourself that are 10X greater than what you believe you can achieve and 2) you should take actions that are 10X greater than what you believe are necessary to achieve your goals. The biggest mistake most people make in life is not setting goals high enough. Taking massive action is the only way to fulfill your true potential.
Yes I think your workflow is more correct than using stash. Work that is fully intended to enter the branch should be in commits, not stashes.
All of that available on WPF, introduced with .NET 3.5 on Windows Vista, about 10 years old now.
Plenty of accusations of Disney plagiarising most of their work over the yeas from public-domain fairy tales though.
No, it's not. GMO still is out there in fields. Why do you assume people are talking about selective breeding ? Also, GMO is not only based on CRISPR, why do you keep bringing that up ? Gene insertion was done before, although the random factor was probably more prevalent since you couldn't focus special loci.

Saying that we managed to feed people so far without the use of GMO is wrong since they're used, even if not everywhere on earth, even if not all techniques, end of story.
> The customer taking advantage of a mistake to receive an unfair deal and Amazon not paying taxes are more or less the same behavior.

Disagree. Amazon are forced and obligated to use legal tax avoidance strategies to be competitive and to fulfill their fiduciary duty.

You might say that tax avoidance isn't in the spirit of the law but then why don't lawmakers implement mitigations for it? Because they don't want to, they want to preserve the possibility of tax avoidance to appease corporations. So to me that means that tax avoidance actually is in the spirit of the law as it stands currently.
You say you would, but would you really? Those are two vastly different things.
“SpaceX’s test vehicle, a small-scale demonstration craft for some Starship components, caught fire after what appears to be a fuel leak or dump following an otherwise successful static fire test last night. It’s not clear why the craft suddenly burst into flames, or whether it was seriously or even superficially damaged.”

That’s sensationalist? And Reddit is the cure?
And "UseDNS no" is the default anyway.
Eventually they should get there, but I don't think that the Rust ecosystem is ready for that.

Experimenting works the best when MS doesn't yet commit to external Rust API, but writes new code in Rust (especially CVE bug fixes) and transforms gradually.
Literally ACA made things better. Before ACA, I couldn't even get healthcare.

Thanks Obama and Congress!
Looks fine on FF mobile. No virtual space. I have JS disabled.
How to survive an open office
> Honestly, I don't see any intrinsic problems with Rust's syntax that makes it unusually ugly.

You literally just got a user experience report claiming that it is.
> So if you want your programming to reap the benefits of (others', mostly) mathematical reasoning--use a functional language that is all about expressing the ways in which things compose!

I do prefer using functional language over imperative ones, but I don't understand that is connected to model software on paper?

> IO is modelled pretty well through monads. As are many other things, like nondeterministic processes, exceptions, state, etc.

Isn't there any easier way to describe I/O than with category theory? I understand that it's _possible_ to model IO with monads, but how would I communicate it with colleagues that doesn't have a background in category theory (or myself for that matter)?

Part of the benefits with modelling a program on paper should be to make communication easier. And to require people you communicate with to have knowledge in category theory to understand your design fells silly.

I probably misinterpret you, so could you please give a more detailed explanation or example?
I think a small doubt remains that’s a clever ad for prime day. And that makes it okay from a moral standpoint.
Wait until you hear about what they do with US intelligence agencies
OCaml is already a good language for systems development - people are far too scared of garbage collectors. And if you make the changes in the article then I think you give up most of the concrete benefits of non-GC - you won't have easy C interop without control of stack/heap/allocation, and since trait objects could end up nested arbitrarily far, I think you might still get GC-like pauses where a simple-looking code line ended up doing an arbitrary amount of unwrapping and freeing work.
Mellody Hobson of Ariel Investments: ‘Capitalism Needs to Work for Everyone’
I like how these three points aren't just "strengths of Rust", but...

> the necessary components ... to make imperative programming work as a paradigm

You know, before Rust imperative programming just didn't work. Didn't work as a paradigm, even!
> That, incidentally, is why Swift added support for positional-only parameters (though it has no concept of keyword-or-positional).

Swift's syntax is a lot more intuitive and consistent:

function(parameterWithImplicitlyRequiredLabel: Int,
differentArgumentLabel internalParameterName: Int,
_ parameterWithoutLabel: Int,
variadicParameterWithLabel: Int...)

which you would call as

function(parameterWithImplicitlyRequiredLabel: 1, differentArgumentLabel: 2, 3, variadicParameterWithLabel: 4, 5, 6, 7)

[0] https://docs.swift.org/swift-book/LanguageGuide/Functions.ht...
If you've not noticed that with the rapid increase in the costs of medicine and its exploitation people are starting to die.

Unless you want to go back to a world where some percentage of people die from lack of shelter of the rich can make massive profits it might take a little rethinking of your position.
Ask HN: What does Alan Kay mean by, “inventing the future”?
I've watched and read a lot of what Kay has said. However, I just realized I didn't know what he means by "inventing the future" and "my [Kay] vision."

Does anyone know what he means when he says, "inventing the future" and what his "vision" is about?
I don't necessarily disbelieve that human social behavior is more complicated than gorilla behavior; but should we compare gorilla social behavior to e.g. 21st century American social behavior, or "uncontacted tribe" social behavior?

And, if there is a difference in the relative (perceived!) complexity of social behavior between "modern" and "undeveloped" humans -- Does that imply undeveloped humans are to modern humans what gorillas are to humans? The notion isn't necessarily incorrect, but historically it's been interpreted in service of the ugliest human social behaviors