skysight-inc/HackerNews huggingface dataset:
This piece is quite accurate - it really makes you feel like you're in Hong Kong during the protests.

References aside, as a US citizen in Hong Kong there are some things that I respect immensely and some things that really get on my nerves about HK.

I greatly respect the people and the cause. It reminds me of that one poem -

> Do not go gentle into that good night.

> Rage, rage against the dying of the light.

The people here have a heart to fight for their own identity and for their well-being. It's actually really amazing especially with the immense challenges facing them and the great risks they have as a people.

At the same time, when two parties disagree in Asian culture, it rarely turns towards resolution. Most of the time it turns towards silence (separating, parting ways, or just pretending it never happened), violence (intense arguments, passive aggressive pay back, hatred and villainfication of both sides leading to all out war), or just a lot of stiffness / unwillingness to compromise, understand the other side or reach a deal.

This reflection is not just about the protests, although the escalation is due to the culture being this way. It happens everywhere, the biggest pet peeve of mine is that it's a normal, accepted practice. For instance, if you don't like your boss, you don't say anything, you just hold it in and then you send in your resignation. I wish the culture would be more willing to engage in conflict resolution type conversation and learn how to do it. It takes a lot of practice on both sides to do it.
That's a feature, IMNSHO. "I'm in the general vicinity of Wherever, Midsommer, UK, my code is horse.battery.staple" checks out, whereas "battery.horse.staple" is supposed to be halfway around the world, and thus unlikely to get confused.
> * if one needs a DATA CONNECTION to find out their current w3w address, they can damn well find the GPS coordinates

Not arguing your other points (in fact, I agree), but if you have the app installed on your phone, you do not need a data connection to find your current w3w address.
I wouldn't disagree that dependent types are great for certain specialised problem domains, but they've already been around for ages and didn't yet revolutionise the world of software design. I think the sentiment that this is unlikely to make a big splash is totally on point. Languages have to balance ease of use with features in order to become very popular. Nothing as purebred as Haskell is likely to become the next Python or Visual Basic. Real work horses are dirty, messy machines. Of course this new feature might turn out to be popular for Haskell users.
How many times is this gonna be posted? It’s basically spam at this point. Don’t use proprietary solutions to already-freely-solved problems
I think it’s ok to focus on girls’ problems.
Bronze age meals in the marshes – seasoned with parasitic worms
Cheapest Ways to Travel London
They paid salaries of police, the judiciary, and the guy who testified against him in a CRIMINAL trial. That's more than enough conflict of interest to have any such criminal trial thrown out.
Thank you, thank you. You have demonstrated the flaw perfectly: didn't even notice the swapped digits, which would send SAR to someplace plausible yet far away.
I think he uses the term creatively, it’s not a standard term I’ve seen elsewhere.

Having spent a decent amount of time in both mainland China and Hong Kong, and living in San Francisco and previously elsewhere in the USA, I can definitely relate. So many things about China feel much more modern than the USA. I get better cell phone service on top of remote mountains in China than I do at my home in downtown San Francisco. Public transit is light years better there as well. Certainly there are things that are worse in China, the main one being air quality, but often coming back to the USA after an extended trip in China or Hong Kong is quite disappointing as I reacclimate to our crappy infrastructure.
Funk pops in particular are rather blob-like, their eyes protrude like raisins on a snowman so that casting is incredibly easy. For the intricate pieces (like a fish's fins) the main body just has holes, that then have a separate piece placed in them.
That's a very naive approach to understand how company valuations work.

They also need to not censor so much that it's a publisher and maintain themselves as a platform legally.
> The protesters learned in 2014 that having leaders was a weakness. Once the leadership was arrested, the heart went out of the occupy movement, and it lost momentum. So in 2019, there is no leadership at all.

This part seems a little naive to me. Protests that have produced outcomes (in atleast a power shift) have all had Leaders and new political parties forming. Whether in India after the anticorruption/gangrape protests in 2013-14, Greece economic crisis in 2008, Right wing rise all across Europe thanks to the immigration issues. All these movements have had leaders who got arrested multiple times.
Fcitx Chinese Input Setup on Ubuntu for Gaming
> Google's priority is ad rev. Everything else is secondary.

Exactly my point. Even your user experience, privacy, security, developer experience is secondary. There are many examples of these being ignored on the internet. I gave up on Android because of the broken UX. I cannot just keep turning off spellcheck on my phone/tablet after every Android update when it resets back to the defaults. iOS has much better UX from this point of view, I "waste" significantly less time on fighting with the OS.
On the dangers of focusing on short-term efficiency
> JWT needs it for example (and I'd assume many signature models)

You almost never need canonical representations for signing things. I would even say that if you need a canonical representation to sign your things, then that is a design smell of your cryptographic protocol.
Look, I'm trying to humanly argue against the statement "Yoda conditions are unnatural". Nature has no boolean conditions. That statement should instead say "Yoda conditions are unfamiliar (to me)" -- at which point it's way easier to see the statement's applicability limits, and dramatically narrow down its consequences.

On the contrary; there're many common contexts where Yoda comparisons looks more "natural", meaning they avoid breaking the surrounding code flow, and bring the important part (the constant) up-front. I even brought up a real-world example. Having read `assert "403 Forbidden" == ` and remembering the context, can't you already guess the RHS (and just skim over it)? Sure you can. Non-yoda loses here.

Be aware: you don't have to take a "for/against" side in this debate, as our buggy brains try to in every flame war. Both sides have a point. Familiarize yourself, and decide on case-by-case basis.

While we're at it: self.assertEqual() is super-ugly and unnatural, in my judgement. Why am I forced to use _thrice_ as much words to express the simple single-word concept of an assert? Why can't I spare the extra pair of parens, and spell == directly? I see nothing wrong with bytecode rewriting; it's amazing they can do it, and I appreciate the effort.
That's a typical objection of people who haven't studied the details.

The engineers who are behind such proposals and plans actually now that sun and wind energy isn't constantly available. That's way there is a mix of energy sources and technologies, including, yes, Russian gas. But also American Liquified Natural Gas. Oil. Electricity storage systems. And maybe even new nuclear reactors in the future, once a few nagging problems have been figured out.
Mission Jurassic
This comment is by a green-name account, isn't responding to anyone in particular and has that online-commenter-army feel to it.

Genuine question for HN: what's the right term for this sort of comment, or commenter?
> I guess I still find FP very abstract as a concept. I'm starting to like the notion of immutability as a design goal.

I'm rather asking about OCaml or SML than about something abstract matters like denotational semantics, system-F or pure lambda calculus.

There are pretty much the same abstract concepts behind imperative programming languages as well: operational semantics, Turing machines, which, I argue, are even more complex.

And if you write OOP, you have to deal with open recursion, covariant/invariant/contravariant subtyping relations, late bindings, polymorphic self type etc etc. There is a book called ``Theory of objects'' by Luca Cardelli (who is guilty for both SML and C++, BTW) if you are interested.

You just don't bother yourself with this theory, and neither should you when programming FP. You don't bother number theory and arithmetic (complex topics) when doing simple addition in your code, right?

> But I'm very used to the POSIX interface and honestly programming against much else tends to get me out of my comfort zone a little too much

Then maybe your starting point should rather be this [1].

(Although this book is rather about system unix programming in OCaml than about language itself. For learning the language its manual should fit pretty well [2], finding a sweet spot between a narrated book and a standard. Other good and more in-depth introductions are [3] and [4]).

There is also a unikernel called mirage os which includes TCP stack and other stuff and gives a good taste of what system programming in OCaml looks like.

https://github.com/mirage

Edit:

> But then I'm the kind of sicko who enjoys assembly language to some degree, where practically every instruction has a side effect, whether it be assigning a value to a register, or setting a bit in a flag register, or doing I/O whether port mapped or memory mapped.

FP doesn't disallow side effects, a usual FP practices just encourage to deal with them explicitly. There are low-level FP languages like ATS [5] (though I discourage you to look at it since it's unnecessarily complicated and could demotivate you), F* [6][7] and even Coq to some degree [8] which allow to deal with effects like allocations and state just fine (and prove invariants).

[1] https://ocaml.github.io/ocamlunix/

[2] https://caml.inria.fr/pub/docs/manual-ocaml/

[3] http://dev.realworldocaml.org/

[4] http://ocaml-book.com/

[5] https://www.youtube.com/watch?v=zt0OQb1DBko

[6] https://fstarlang.github.io/lowstar/html/Introduction.html

[7] https://fstarlang.github.io/lowstar/html/LowStar.html#memory...

[8] https://www.microsoft.com/en-us/research/publication/coq-wor...
"You can build such a system quite trivially", etc. Turning a long numeric sequence into a memorable phrase easy to input with both text and speech solves a real problem.
Pastebin copy: https://pastebin.com/gsiAqu4u
Is there a gender wage gap in online labor markets?
Beautifully put, thanks for taking the time to write it.

It's also a perfect summary of why I'm struggling mightily with working a predictable job (that anyone should love) vs working on my next business or other volatile pursuit.

I need to get Go All The Way tattooed on my forehead. I hope it's a mindset I have the courage to maintain for the rest of my life.
No worries, it's self regulating. No need to not have kids. I have a shimp colony in an aquarium. It only grows as much as the food source allows it to.

It would probably get crowded and quite hot in the future, but we'll manage without eugenics and not having kids, or having just one kid, which was tried before in China and was a failure.
I agree with these points, and yet:

"Humberside Police also used the system to find a group of foreign nationals, including a pregnant woman in labour, who were trapped inside a shipping container at a port.

The port had over 20,000 containers and we knew that we needed to get to them quickly," said the force's control room supervisor Paul Redshaw.

The group were told to download the app and they were soon found.

There is no doubt in my mind that these incidents could have had very different outcomes had we not been able to use what3words," Mr Redshaw said."

The emergency services see something very useful here. Is there a better way to do it? Lat/Lon numbers just don't cut it.
France imported energy from Germany long before renewables became a thing.

Also: The French state heavily subsidizes nuclear energy.
I have to say, I'm guilty of short humourous comments on HN and I feel slightly bad about doing it.. because there's reddit for relaxed convos, and HN was more about deep chat about tech related articles / texts.

I think it's good to keep the quick fun under control.
Unfortunately, there simply are not enough "really good" people around, so they'll have to make do with the likes of me ;-)
Yubikey –| Sekey –| OpenSC and& T2-MBP's
I've been pondering over and am torn/puzzled over this for the past month or so; Which of these methods should prove themselves more secure/least susceptible to be exploited, when generating ssh-key's on a macbookpro with T2-Secure Enclave:

sekey (cli-tool which utilizes touch-id to generate and store ssh-keys within MacBook-Pros that posses TouchID functionality. - hasn't been updated since february - neither does it have any mention of the new T2 implementation. sekey - github repo

Install gpg & gpg-agent with homebrew and continue make use of ssh merely thru the gpg smart card functionality on an old Yubikey 4 which i already own(though it will require an additional usb-c adapter
Provision the smartcard with yubico-piv-tool, install opensc and switch from ssh'ing with gpg rsa enabled 4096 bit keys to pkcs11 module (im assuming that these could make use of ECC p384 PIV Cert generated by either the CLI or GUI version of yubico-piv-tool )

Password-encrypted, ssh-keygen -o -a 500 -t ed25519 keys stored within the mac's home dir; -- added to ssh-agent and maybe macOS keychain (ssh-add -K(however i'm not keen on storing the password within the keychain ))

(Despite my own personal opinion that keys stored within a separate hw should infact prove harder to be compromised; rather than 'having all eggs stored within the same basket')
I've gone thru the documentation of T2-Secure Enclave seeeveralll times; checked HN, reddit and possibly every other security blogs/resources which make reference to the new T2-Chip, TouchID enabled mac's and, whatnot (most of them just suggest using sekey...), however no one seems to give a clear explanation on WHY
the whole point of messing around with the T2-Chip kinda makes me uncomfortable (especially since i've already tried sekey and issuing 'brew zap sekey' or 'brew uninstall --force sekey' both yield a bunch of errors; which i believe are related to apple enforcing T2 as something that goes beyond regular TPM).
Google should also do this as zero emissions aligns with "do no evil".
China has a reputation of dealing with things privately, so there's a lot of paranoia and worry from protestors.

Second point, the escalation by protestors, the government won't fulfill the protestor's demands. I can only say this by John F. Kennedy: "Those who make peaceful revolution impossible will make violent revolution inevitable."
My god, the US judiciary system is so broken in many ways that it is beyond repair.

It is crazy how a company making false claims can ruin you so easily, and you cannot fight back or be compensated.
Every electricity source is heavily subsidized anyway, I don't think there's any exception.
TL;DR:

>Once we include workers’ wage bill proposals in the regressions, the gender wage gap virtually disappears, i.e., it is statistically insignificant and very small in magnitude (0.3%)

>We also find that female workers propose lower wage bills and are more likely to win the competition for contracts.

For the curious as to what type of projects these might be, the average cost for each was about 100 euros.
Later in the post, they talk about how their tool enables "codemods", such as automatically renaming 'fn' to 'add' across their codebase.
Escape sequence for displaying images inline in the terminal output
This got me thinking- even though we now have Advanced Mobile Location rolling out in the EU, UK, and US, it would be a win if your phone could show your location (grid reference/lat long) when making an emergency call - AML will pick this up and send it automatically, but this could be a good fallback and timesaver.
BTW, I find the wording on your landing page to be a bit awkward and the font used to be a difficult read as well.

The '+' directive in the email address: do you use business Gmail, or does another email system use it similarly?
With global warming, Greenland might be rather a good investment... It's huuuuuge!
If political submissions are accepted then we should also accept comments expressing opposite and contradicting views on the issue instead of trying to suppress them by labeling them as "bots", "online-commenter-army", etc.
Solar, wind, storage and an improved grid. It's always windy somewhere.
I don't think it's a zero-sum game. Get where you're coming from, though. If the joke comments consistently got more upvotes than the serious ones, it would make threads unreadable.

That said, I think there is a happy medium which isn't entirely po-faced.
Fundamentally it is not what western media think as “news”.

It is long, ultra detailed, first person, and doesn’t cover the central point covered by other news outlets.

If a NYT editor was reading this it would cut it down to a fifth of what it is, have it reexplain the 5 demands, give a clearer political positioning etc.

We had that with french protests, standard news covering was cut so it was very digestible and non thought provoking (ton of focus on politics, the fights, injuries and non participant’s reactions to the events), it felt like most places removed bits that could be too interesting.

We need both obviously, and I also share your view that more often than not when big event occurs the news coverage doesn’t help much to give us a grip about what’s actually happening.
Human guts work differently compared to ruminants. I doubt seaweed will have the same effect.
There is a persistent myth that "A Haskell program that compiles is correct by definition"

Indeed it is "correct" in the sense that it has a very high likelihood (maybe 90% ?) of doing what the programmer intended (Unlike say C or C++ where the probability drops to about 50% for beginners)

However, that is a poor definition of "correct".
While it's true that a lot of huge consequences have occurred due to stupid errors like buffer overflows (unintended bug), there are equally disastrous bugs caused by intent - i.e. the programmer had no idea the code could fail.

The biggest challenge to software development is not the "How can I avoid silly mistakes?" but rather "How do I capture this extremely complicated real world semantics in code?" and languages can't really solve that
If Correlium just provides the VM and the researchers download iOS releases directly from apple servers, is it still illegal?
Interesting to contrast this with popular demonstrations in US or France. No windows broken? Burnt city infrastructure? No beaten up police? All so quiet.
In practice the point of most security research is: get the paper published and give the talk, or sell the zero-days, or use them yourself, and then move on to the next thing.

The actual non-sexy defensive work of cleaning up bugs and implementing countermeasures, i.e. the real work on improving security instead of making it worse, is mostly done by rank-and-file software and hardware developers whose names are never known.
ISPs assign IPs depending on usage abd generally do not have a 1-1 userbase / IP pool.
Historic church carvings found in Pinkney garden wall
How can we know this is true? I mean, this is a memo providing anecdotal evidence.
Not a very practical solution and the rpi is an order of magnitude slower than the ipad.

Is something like termux avaible on the ipad?

How about Dex?
Automation and the Nature of Effort
> Haskell, at its core, is simple: it is just a polymorphic lambda calculus with lazy evaluation plus algebraic data types and type classes.

This can potentially unseat the current reigning champ of Haskell-related statements which is “A monad is just a monoid in the category of endofunctors, what's the problem?”
"All that prelude is to say, coming in to the Hong Kong protests from a less developed country like the United States is disorienting."

This sentence got me hooked. It must be so alien to the average American that there are more developed countries/cities out there.
Growing up in the suburbs of California, I never really understood just how central the concept of face was in Asian society until visiting China and seeing it for myself.

Over time I’ve come to realize that many of these social concepts exists in some form or another across all cultures, likely implicit in some part to the human condition, but it still surprises me to this day just how entrenched it still is in certain areas.

I’ve always been personally curious as to what the causes of these divergences in culture between different societies are. There must be some inciting reason that such a stark difference in communication exists.
American living in Switzerland, and while I'd definitely agree that it's more developed than the US (on the continuum of development in my mind from also spending a lot of time in places most would consider "developing"), I'm just not sure there's a clear difference between some of those countries named and the US. Many European countries seem around where the US is; some are more developed, while others are probably less developed. I have no idea where I would draw any distinction.
Next installment: how flipping an innocuous switch introduced a subtle bug that was silent for years and cost us millions.

You can’t just flip that switch, run ”a client to post the JSON to that instance”, see that test “worked just fine”, and call it a day.

The POST might just store it, for later processing to wreak havoc (say by ignoring a value that isn’t in the expected place in the JSON), or only rarely seen JSONs might cause problems, or it might ‘only’ break the yearly run, etc.
Here’s one that’s distinctly not blob-like (note the hair curls, I don’t think those are separate pieces):

https://media.entertainmentearth.com/assets/images/e9792a6af...
It looks like it's built for the military but you raise an interesting point. Maybe someone could build a suit to make it slightly more difficult to run without creating additional ligament strain.
So, the TLDR is: the skeezy tracking shit Google provide other companies to use, so they can get in on the skeezy tracking shenanigans is fucked and hamstrings their ability to be skeezy.

Good. Fuck Google, but fuck you too for using this shit.
I sometimes phrase it as “yeah, your program is correct because it’s type-checked, but who has checked that your types are correct”?

With dependent types some of the logic will be coded in types, and we would need to check those.
Appear.in has a new name: Introducing Whereby
Have operators implemented things like Android ELS?

https://crisisresponse.google/emergencylocationservice/how-i...
In a paper on this topic this was tested and pure bromoform doesn't have the same effect, the authors speculate that is due to delayed release from the seaweed structures.
If that's an actual story and not PR. What I see: a full-metal enclosure AKA shipping container, and yet a GPS fix is obtained? Pull the other one.
Try this link. It should be the same article as linked previously. http://www.cs.columbia.edu/~junfeng/14fa-e6121/papers/coveri...
3.2M would be more than two-thirds of the total citizenry.
Something to keep in mind when talking about all natural diets
I would also say OCaml and F# style is also less foreign than Haskell to most newcomers. It's almost like (type-hinted) python + match expressions + pipes.
Where they=brianvaughn (I see he's also left a comment elsewhere on this post), who did most of the work on both the tutorial and the dev tools.
I have a lot of trouble believing that story.