skysight-inc/HackerNews huggingface dataset:
>Try again and maybe even read the very first link.

>You are aware that they are currently conducting an operation that is likely the worst human rights crisis since the Holocaust. You need to re-evaluate your views.

Please don't belittle or look down upon others. It does not foster discussion.
Today's web needs Javascript. I think what you are looking for is Gopher.
>It can upload and download whatever to your phone.

>No other app is even close to allowed that.

So an app that is on like a billions people phone is knowingly doing things against google & apples app store policy.. yet they choose to let one of the largest apps exploit them?

If you can read the above and not see why there is a pretty large obvious logic flaw then it's not even worth attempting to convince you otherwise...
Bending the law's definition is exactly how Uber and other companies avoid employee benefits and taxes.
To me it’s definitely worth it since I think Pinboard is a really great service and I use it every day. YMMV.
Show HN: Learnawesome.org – Open-source learning map for humanity
Hello HN,

Over the last 12 months, I have been building https://learnawesome.org

This idea came from Danny Hillis' 2012 talk at OSCON, which itself was inspired from Neal Stepehenson's _The Diamond Age : A Young Lady's Illustrated Primer_

The dream is to build a tool that matches the right learning material to the right student at the right time. Wikipedia is great, but it doesn't do a good job of leveraging the rich variety of learning resources that exist on the Web. Same applies to GoodReads - which is focused only on books, whereas these days we actually learn from videos, articles, MOOCs, tweetstorms, slack/discord groups, podcasts, livestreams, newsletters, online conferences, apps & games, interactive explorables and much more.

For now, I am building it as a social network for lifelong learners. It's open-source, built with Rails + PostgreSQL, and complies with standards like Dublin Core's LRMI extension of schema.org and ActivityPub for integration with Fediverse. A GraphQL API is also available if others want to build alternative clients.

I have made decent progress so far: Imported thousands of courses and book summaries, built a browser extension for quick lookup/addition to the repository, a spaced-repetition based flashcard practice module. Users can even discover learning resources by recommendations ELSEWHERE (for eg: "Show me books on History which are highly recommended by venture capitalists")

I originally started building this as something to help with my daughters' and my own learning. But it made sense to build this as a public good.

It would be great if you can give it a try, and share ideas on what would make it better.
I think another interesting question is, how would you handle the return value of such function in your code?

You would have to either:

- test for the type of that value in order to handle it properly,

- rely of the implicit cast rules of JS, which wouldn't be very useful here I suppose

As it has been said by others, in Ocaml (as well as in many other strongly typed languages) you can use a sum type to solve that problem.

Edit: In some languages, there is also the concept of "intersection types" which, if I understand correctly, let one also handle that sort of situation. The corresponding Wikipedia entry [1] gives a list of languages supporting that concept, and provides examples.

[1]: https://en.wikipedia.org/wiki/Intersection_type
It may not be the same number of shares.
because "ssdf" is a string but B("asd") is user-defined sum type.

So in the original example, you can't unify "ssdf" and the int 33, but in the re-written version B("sfd") and A(33) have the same type and can be unified.
Windows typically gets installed with all the supported drivers. NVidia's blob alone is over 600MB.
Network is faster than disk. Once cached, then you are only bound by network IO for subsequent uses.
How the Evolution of Porn Changed Adolescence [video]
While I sympathize with this sentiment--I agree a lot of people today overreact and fail to suspend judgment in the absence of hard evidence against someone--this isn't likely to go anywhere or do a lot of good because it lacks a solid philosophical foundation. It's only based on a sentiment, effectively: "we don't like xyz", instead of a moral or philosophical statement: "we oppose xyz because [good, solid, coherent reasons]".

Don't get me wrong: I think there are very good reasons to support the general sentiment (though how this page expresses it is inflammatory and unfortunate), but in their absence there's little discussion to be had (and personally, I'm not interested in bringing them up here).
Strategy is important but it can also devolve into "writing thick reports that no one reads."

I was involved in an expert witness report a number of years back which involved going through a bunch of depositions. I remember reading through the deposition of one senior executive who was basically asked "But your corporate strategy office said this initiative was important. Are you saying you disagree?" And his response was basically that the corporate strategy office writes a lot of things [that I don't pay much mind to].
In Standard ML, it would be a type error to do that specifically:

- if true then "abc" else 2.01;
stdIn:1.2-1.30 Error: types of if branches do not agree [tycon mismatch]
then branch: string
else branch: real
in expression:
if true then "abc" else 2.01

You would need to define a new data type to wrap them:

- datatype string_or_real = r of real | s of string;
- if true then s "abc" else r 2.01;
val it = s "abc" : string_or_real
Or your local BLM protest. The Brookings Institution has a good survey of the relevant history, here: https://www.brookings.edu/blog/up-front/2020/02/27/examining...
If you use the "polymorphic variants" feature with backticks it automatically infers the union. However, most of the time the regular non-polymorphic variants are easier to work with.

A good discussion of this can be found in https://dev.realworldocaml.org/variants.html#scrollNav-4
Why not let the computer do the work? My programming flow in Ocaml
has always been:

(1) Hack until I've got something stable. Note: at the start of coding I typically don't quite know what the right abstractions are, so a lot of code (and associated types) are in constant flux.

(2) Once program is stable, wrap it in a module, let the compiler work
out all types and put them in as module interface.

That gives me the best of all possible worlds: type annotations at abstraction boundaries but
you don't have to type them out. Writing out explicit types inhibits
fast change. I wish the languages I'm using at the moment (Scala,
Rust, C++) allowed a flow like that. Alas, full type inference stops
being possible with more expressive typing systems.
Around 100 sign-ups at the moment, but most are inactive. We're starting to focus more on growing the userbase now. The chicken-and-egg problem is pretty rough!

I'd love to hear any feedback on what we can do to improve.
One of the 2FA methods offered by Google is a printable list of one-use codes. Like the paper TAN-lists which were popular with banking.
> Vine was 6 second long video clips. Comparing Vine to TikTok is somewhat like comparing TikTok to YouTube videos. They are different.

As an aside, it's insane to me that the differentiating feature of an entirely new video hosting platform can simply be the length of the content it supports.

The world of tech companies is truly bizarre. Why doesn't Google launch dozens of Youtube variants under their own branding with their own slightly different length restrictions to just dominate the market?
Thank you. This is very well put. It makes me quite angry to see people racing to remove images or language that at a push could be seen as offensive, to protect groups that don't need or want it.

It's insulting to suggest your black co-worker can't use the same language you've always used because you're now saying they are more fragile.

It seems to be a race to the bottom in the name of inclusivity and all we're doing is everything but actually improving the opportunities of groups that are "under represented" in CS.

Instead of "banning Lenna" how about we create free resources teaching CS skills in a way that will interest women/"others".

Does that mean making the slides pink?

Solving problems to do with manging boyfriends?

No. That's insulting, because women are people like everyone else so stop treating them as fragile brainless creatures that need to be wrapped in cotton wool just to survive in the scary man's world.
I don't have the experience to suggest specifics, but I think more government aid programs targeted to Native American communities is a good start. I don't pretend that there's some way of perfectly undoing the land distribution, but I also don't claim that there is absolutely nothing that can or should be done.
Intentionally jailbreaking your phone isn't untethered or RCE. But this particular jailbreak could be combined with an RCE in any application running on the device in order to compromise the system.
I'm 41 and just started working on my thing a couple of months ago. I'm married but we don't have kids nor a mortgage because we've been digital nomads for the most part of the last 10 years. My wife is doing well economically so we decided together it was a good time to start working on something that will not generate income in at least 2 years.

After 20+ years in dev I got tired of making projects for others and finally decided on an idea that could work financially. Not to grow to millions of users, but to at least support myself.
EDIT: Nevermind, they seem to habe stopped caring about hosting and now provide support for AWS. Sounds a lot like consulting.

——————-

At some point, innovation of the software slack on top of bare metal will slow down and the tooling will become commoditized.

IF, and that’s a big if, the best-in-class bare metal remains available for indiscriminate purchase, competitors may start to commoditize the cloud - AWS will need to start to fight a price war.

But those are two big question marks and even then, if any company can fight a price war then it’s Amazon.

So I wouldn’t bet on rackspace here.

For the time being, they may be able to serve those enterprises competitively that just want some bare metal - but once AWS and GCP roll our proprietary ARM chips, they may not be able to keep up any more.
Remarkable post of ms. Jean Leaver on Launching docs.github.com
https://github.blog/2020-07-01-launching-docs-github-com/
Femene genius soured into IT marks the end of open source, as we know it.
The flagship of big data pillars behind marvelous github platform had announced deprecation of the idea that it was built upon.

Try fetching long and painful history of github's docs evolvement through the last decades.

pff, — it's gone.
You could use WineVDM.
Could you be more specific? What makes it painful?

(I mean, "overly complicated" is bad news no matter what the specifics of what we're talking about, but how does it cause pain when it's specifically in the types?)
>Brazil's labor laws treat the "workers" as stupid people, unable to negotiate good terms by themselves.

Hmm, ok that's quite a view. I would say that nearly all works are certainly unable to negotiate good terms by themselves.

The only workers that can negotiate their own terms are the small minority that are very highly skilled and in demand... laws like this are trying to help the vast vast majority who have NO power because the employer can just replace them with anyone else at the drop of a hat.
How much Deleuze have you read?
Most companies I've worked for wouldn't provide a work phone and there's no explicit expectation that you read or answer work e-mails on your phone. But like everything else, if you don't read/reply to work e-mails on your phone, and your colleagues do, good luck getting that promotion/raise/bonus.
"Growing up on a farm" can have vastly different meanings across places - from living next to an industrial-scale operation to an idyllic, quiet small farm surrounded by nature.
That's well and good, but "prediction" is an attribute of a representative model, not of reality. Reality doesn't represent or predict itself; it just occurs. The problem of comparing against "hidden variable theories" in this context is that the variables wouldn't be hidden to reality; they'd only be hidden to us. So can we predict better than QM? Maybe not. Does QM describe the truth behind experience? Probably not, and it isn't meant to.
coLinux being 32-bit only seems like a somewhat bigger problem.
All that may be true, yet it still does not mean rationality should be thrown out the window when evaluating claims about TikTok.
A More Specific Letter on Justice and Open Debate
FWIW, it can happen from time to time that Pinboard is a bit slow, but IME it’s not very often. It mostly works fine.
I do this on scala. Given scalac is much slower than ocaml compiler and inference is not as stellar. Regardless, explicit type annotations make code so much easier to read. Anonymous lambdas being an important exception
> More broadly stated, you can't solve accountability problems by asking people to step up and be more accountable. The only way is to impose rules from above.

> But as soon as a journo ran an article using it to make them look bad, regardless of how right it was, means their access was going to get revoked.

No. This is specific (but not exclusive) to their culture.

If NASA has this toxic culture, we would lose more than 50% of all rocket payloads and astronauts. Programmers who have this mentality are defensive about their code (as if any criticism of their code is an attack on their ego) never grow and quickly turn the culture around them very negative.
Me: "Show me a binary search in C on the whiteboard."

Candidate: bsearch(key, base, num, size, compare_fn);

Me: "Your offer should arrive within one to two weeks. Need any help with relocation expenses?"
Stripe's Redesigned Website
The implication is that Valley is not in Valve's genre wheelhouse, as it isn't an FPS (or even a modified puzzle FPS like Portal; Valley would not have been expected to have a gun at all), isn't expected to have the audience scale or demographics Valve typically targets, and only exists at Valve because it was IP of what was presumably only an acquihire (underscored by the fact that they immediately moved the team to Alyx). Even if Valve now thinks they'll force games to finish, it seems unlikely that Valley would be a priority from above in Valve "management".
We kind of need a version of CC-BY-NC. Preferably with a governance model that then distributes money from commercial licenses to contributors... Or government funded Open source. There is no reason for society to try to do something as intrinsically cooperative as building software through market mechanisms.
There is a difference between saying "some things are offensive, and we should not do them" and "anything that one person says offends them should be stopped"
Taking this question at face value --- HN makes "new" accounts green for a few weeks. This presumably would make a flood of new accounts created to support some particular opinion or post more obviously manipulative (although I've never seen that occur here).
Amazon bans TikTok on employee phones as US gov’t scrutinizes Chinese app
That is what I like with the Lenovo webcams in T480s and probably later versions.

They have a small slider with the camera protection "glass" build in which can cover the camera and will "show" a red dot if it's covered.
I think its safe to say it's fast in the general sense, the first time I compiled Revery I didn't believe that it had actually worked it was so fast. Just tried it again 0.98 secs to compile 20-25k lines of native OCaml/Reason.

I'd be interested if anyone found/ran any benchmarks, though I thinks its pretty hard to write a fair compile time benchmark. I did a quick search and came across this post comparing solving the same problem with haskell/ocaml/go, which just kind of off hand mentions the compile times. OCaml versions range from 0.3-0.8s and Go was reported as ~1s.

https://pl-rants.net/posts/haskell-vs-go-vs-ocaml-vs/
These are the reasons group brainstorming is a waste of time, and they can all be addressed by a simple hack, which is that each person writes down all their ideas in advance before sharing the list and discussing them in public:

Social loafing: There’s a tendency – also known as free riding – for people to make less of an effort when they are working in teams than alone. As with the bystander effect, we feel less propelled to do something when we know other people might do it.

Social anxiety: People worry about other team members’ views of their ideas. This is also referred to as evaluation apprehension. Similarly, when team members perceive that others have more expertise, their performance declines. This is especially problematic for introverted and less confident individuals.

Regression to the mean: This is the process of downward adjustment whereby the most talented group members end up matching the performance of their less talented counterparts. This effect is well known in sports – if you practice with someone less competent than you, your competence level declines and you sink to the mediocrity of your opponent.

Production blocking: No matter how large the group, individuals can only express a single idea at one time if they want other group members to hear them. Studies have found that the number of suggestions plateaus with more than six or seven group members, and that the number of ideas per person declines as group size increases.
SARS-CoV2 vaccines: Slow is fast – Science Advances
that is so stupid. I love how he links to this issue: https://github.com/opal/opal/issues/941

meh says that coraline should just join the project and work to be a maintainer to fix the issue. what meh failed to understand is that coraline explicitely said they will never contribute to a project led by someone who is actively hostile to them.

that make all the sense in the world. I'm not going to contribute to my own demise. the fact that meh has no problem working with this transphobic person is just an expression of his privilege but he acts like that's because he's a great person... it's the opposite.
Adria Richards is actually an interesting case. She was "cancelled" for cancelling someone else. One of the major criticisms of the Harper's letter is that people speaking out about injustice have historically faced severe retribution, and that the recent concern about cancellation is only in response to this retributory cannon being pointed toward those "in power".

I can't see the people who are today concerned about Cancellation standing up for Adria Richards were that to happen again today. See the recent argument between Yann LeCun and Timnit Gebru for a somewhat analogous situation.

The backlash against the person perceived as trying to cancel someone else was much greater than the initial "lash", so to speak.

> James Damore was also similarly unemployed for a while

Not a very long time though. And the lawsuits were ones he chose to file.
In TypeScript, x would be of type () => "abc" | number.
> As much as I’d love free software to be popular for being free, that’s never been the case and is increasingly unlikely to ever become the case.

Why don't you see that happening (free software being popular for being free)?
government don't need to do anything, they will let google and apple do the work
If you find Lenna "erotic" and "out-of-place" then you probably shouldn't watch TV or 90% of media.

It's a picture of a model's face. You're an adult, deal with it.
a 30GB install does not make it "unusable" on most machines.
This is hard to read without context.

From I can gather - there is a company, called “Collabora”, that sells LibreOffice consultancy and LibreOffice “online” installations. This company now contributes majority of development to LibreOffice. And lead the development of “LibreOffice Online”, maybe?

And from what I can get, their business is not doing that well.

This e-mail is written by someone from that company.
I have done some private development on salience models and use them informally with spreadsheets. DeMesquita expands on them with his predictioneers model, which there are a few repo's of code for.

To understand salience models, I think people need a background in traditional negotiation so that they can have the tools to apply to the model once they develop it. It's the why behind the model. Negotiation overlaps with organizational psychology and business strategy, and these days, political tactics as well, but for someone who doesn't have a background in this and who are the sort of person who still tells recruiters and hiring managers their current/last salary, it's not useful to throw them into the deep end.
I guess I've had a better experience in general.
Yes, I am aware of the difference.

I have a doctorate in psychology, which gives me a PhD. It does not qualify me to prescribe drugs and save the lives of people on airplanes, which is something that a psychiatrist could be reasonably asked to do.

While psychiatrists spent time understanding physical and mental disorders, psychologists spend time understanding cognitive and behavioural aspects of humanity and running experiments (most of which are extremely difficult to control).

They are completely different things, like.
Does anyone have a "explain it like I'm 5 but took some CS classes back in college"?

I know that if you craft your buffer overflow just right it will overwrite other parts of memory with the new function.

But how do you know what parts will get overwritten?

Does that mean the new function can do almost anything?
India might be an emerging market and you get tons of users from there, but it is not profitable at all. Any mobile app dev can tell you that.
Just an anecdote: no office software of any kind has had an impact on my life in the past decade.

That's because I'm no a middle management wanker! Two pints prick.
> Are these deaths actually linked to protesters?

Mostly they were done by looters, a few by police. That's all shown in the linked articles, which give names and dates and locations.

> How do these number of deaths compare to other protests?

You remember that Charleston protest? One death. Number of unarmed black people killed by police in 2019? Ten. That's eleven too many, of course, but you wanted context and those are the most recent and closely related stats. Most protests are smaller scale and have few or no deaths, though, e.g. other big protests like the Women's March, March for Life, etc. don't normally involve looting or fatalities. Nobody died protesting Trump's inauguration, either, that I'm aware of.

> Questions like that need to be answered for the facts to have value.

They are answered, by the links to mostly local news stories where you can read all about David Dorn, a black cop murdered by looters. You can watch the video from the sister of the girl murdered outside of a Davenport, IA Wal-Mart. There's tons of context in the sources, that's just a convenient set of names and links.

> That is why people attack the source. Because the story here is the context of the facts and not the facts themselves.

The context is available to anyone capable of clicking two links. There are also names given which can be looked up to find sources you prefer. But maybe you're right that I should compile a giant list. I just feel that it's hard to justify it as worthwhile when people engage on a non-factual level. I can't take the beliefs of lazy thinkers seriously.
Facebook reportedly considering ban on political ads before election