skysight-inc/HackerNews huggingface dataset:
As has been noted in other forums, this article does not cover implementing Functor/Monad for the Option type family (for example) faithfully.

What's missing is implementing Functor for `Option` (the "unapplied" option, without a type parameter), in such a way that it is evident in from the trait implementation that if you pass an Option to `fmap`, then you get an Option out (not just any Functor). In other words, that the particular flavour of functor or monad is preserved in these operations.

Proof of concept code for this exists, but Rust doesn't support it in a fluent way, even with the GAT feature.
How to Start Learning Machine Learning
> who doesn't look disabled

My dad said if you were a young man during WW2, walking down the street not in uniform, and did not look disabled, people would spit on you. It was hard on people with invisible disabilities.
I believe windows elides TSO guarantees when it thinks they aren't necessary. This should usually work out all right–only a small amount of code usually cares very much about memory ordering.
Great question and the one that matters. We are not profitable and although Mojeek was incorporated in 2009 it is only as of July 2020 (when I started) that we started a serious go-to-market push.

Mojeek has been built from the ground-up meaning we do not depend on anyones technology. We have our own servers, crawler, index, ranking and so on.

So unlike most we are not using Bing, Google, Yandex or anyone else's. Our road to sustainability is a different one; we are a technology company.

Here are two posts on how we are funded and our business model; that post also covers privacy and (lack of) surveillance practices.

https://blog.mojeek.com/2020/10/who-funds-mojeek.html

https://blog.mojeek.com/2020/12/frequently-asked-questions-a...
This confirms my concerns.. Rust is becoming a Scala language, too much features.. Rust should have been as simple as C, i wonder if there will be some compiler switchs to ban certain features, and crates that are tagged to work with certain features, so at least things will be easier to deal with
Understanding Minecraft Performance (2011)
The burden of proof rests on the claimant. There’s a reason US courts of law keep throwing out these claims of widespread fraud: because the claimants consistently fail to provide the widespread evidence to back their claims up.

What there is widespread evidence of, however, is bad-faith actors that are both highly active and plentiful.

Therefore I would suggest the few good-faith actors who find themselves unfairly suppressed first take it up with those dirty lying bastards for sullying ALL their reputations, and secondly ask themselves what they must do to fully disassociate themselves from the scum and rebuild their negative credibility to a level where people are willing to listen again.

Qui cum canibus concumbunt cum pulicibus surgent. They can fix it or they can whine. And which they choose speaks volumes too.
I agree that it isn't groundbreaking and I'm surprised to find it posted here.

But to the average digital forensic examiner (working for police, lawyers, corporate investigators etc.) it means rather than having to use a separate tool (or asking a more technically qualified analyst to assist, or missing them altogether), Signal related artefacts are now processed and presented alongside everything else that Cellebrite PA supports (i.e. other built-in and third-party applications, media files, OS logs etc.). If they don't support Signal already, the dozens of other commercial and open-source forensic tools and their customers will benefit from this article soon, as will the poor folks responsible for maintaining quality standards in forensics labs (such as ISO 17025).

EDIT: Example of a Cellebrite competitor with similar a capability: https://blog.oxygen-forensic.com/115-2/ ("Oxygen Forensic® Detective enables extraction and decryption of encryption keys from the Android KeyStore on Android devices that are not using hw-backed keys in the encryption process.")
It looks like it's in the Java section because it's written _in_ Java, not because it's critical _to_ Java. Similarly, php-src isn't critical to C.
I was somewhat interested until I read "an algorithm".
Firehosing also destroys trust. That’s its purpose.

https://en.wikipedia.org/wiki/Firehose_of_falsehood
I love that people still build beautiful things on top of RSS.

The author writes "I supplement this with content-based filtering, which involves analyzing the text of each essay". How is this implemented? Will he harvest the site for every rss item featured? Or use the shallow description provided?

I am asking cause I am heavily in the RSS topic aswell [0] and [1]

[0] https://github.com/damoeb/rss-proxy
[1] https://github.com/damoeb/rich-rss
You seem to suggest that Facebook itself is to blame for that, and not the people interacting on it.

Previously, mass manipulation was only available to really rich and powerful, or states versed in it. Now it's available to much smaller and less sophisticated actors.

But I don't think that's an issue, the issue is that manipulation is acceptable at all, and how we can draw the new, better line there? (Looking at you too, Marketing)
I have a pair of in-ear headphones that isolate sound better than any Bose I've ever tried. It's just a matter of finding the right tip size to create a seal. My tips actually make a popping noise when I pull them out.
To me, the case for free speech has never looked as good. A few (even hundreds) of murders are an acceptable cost of free speech. Restricted speech has killed millions.

Little by little the western freedoms are being taken away. And you want it to go faster?

Rap music which idolizes violence is allowed, despite thousands dying every year in connection to crimimal enterprise. The case to ban rap is just as naive as the case against free speech.
Why is AMP worse than Facebook's "instant articles", or whatever it is that the Apple news app does?
No, we have our own spider
Let's see. I know they are playing the long game, but you're grossly underestimating how big the market for cheap stuff is. Even if it's subsidized by spyware.

I doubt Apple wants to be in that market, it's a gross market (low margins, tons of support costs, etc.).

Just to give you an example, French PC site, laptop section for €400 to €600 (they also have 10 or so under €400):

https://www.fnac.com/PC-de-400-a-600-Euro/Par-prix/nsh93675/...

So about 230 (!) products in total, for a single site. In poorer countries, you can find even cheaper laptops.

Similar thing for phones, a $400 phone is not cheap. A $100-150 phone is cheap, like the Huaweis, Honors, Xiaomis, Oppos, Vivos, etc of the world (you don't even get those in the States).
Hm, interesting... Especially possibility to run own queries

It seem using it we can made our summary of the year for the favorite repo:

https://gh-api.clickhouse.tech/play?user=play#U0VMRUNUIGV2ZW...

Or cross-check the stats published by GitHub (there are differences):

https://gh-api.clickhouse.tech/play?user=play#U0VMRUNUIGV2ZW...
Google censors. HN: "this is the end for democracy!"

FB doesn't censor. HN: "this is the end for democracy!"

In a careful watching of the US Senate committee where the FAANG media companies were quizzed the message was "censor or be broken up". It's why this weeks two big stories, Youtube censorship and anti-monopoly actions against Facebook are intimately tied together.
> but the app also employs a proprietary open-source encryption protocol

Isn't that an oxymoron?
Show HN: Haxplore – Browse HN with your keyboard
Doesn't it force you to use some form of page objects?
That stopped me from using TestCafe didn't like that
> acronyms are supposed to be capitalized.

Style guides have different rules. Here's BBC saying they don't capitalise all acronyms: https://www.bbc.co.uk/blogs/collegeofjournalism/entries/8f7c...

And there are words like laser or Benelux that tend not to be capitalised even if the style guide recommends it.
The post was from Findx not Mojeek
Q: How do you tie a zero dimensional point goat?
A: With a line.

Q: How do you know he's in the fence at all?
A: From definition.

Q: How does he chew the grass?
A: Using axioms.

Q: Where does the grass go?
A: We need more grants^Wresearch to answer that.
Not yet. But considering there have been 136 robberies for expensive watches in Stockholm in six months, it is just a matter of time.

https://www.aftonbladet.se/nyheter/a/y3G4Pg/polisen-varnar-k...
The pandemic could give way to an era of rapid productivity growth
Religion is already banned in places such as France. Did not do them much good. A ban on free speech will be equally as effective.
>segregating trash

Aha, unexpectedly relatable. That's an allowance I give myself as well. I segregate a bit, but give myself a pass after a certain amount, when it makes the difference between living in squalor and not.
Is your argument that free speech exclusively attracts the scum of the earth?

Maybe these hate bubbles wouldn't proliferate if they had to co-exist on a platform with a diverse set of opinions. These people are heavily outnumbered. But of course, all the major platforms are so successful because they aggressively silo people into pigeonholes via curation.
I wonder if one could connect GDB to this by writing some sort of WASM backend for it?
There are other host sites available besides AWS and GCP.
https://twitter.com/Docker/status/1337163987641802752

> Releasing this week:

> - Docker Desktop 3.0

> - Docker M1 Mac Technical Preview

...anticipation builds...
Exactly. Looking at the JS code (even minified), you can see that it's calling a setTimeout for effect - possibly also waiting for image load-, but all the data is there already.
I unironically enjoy the experience, because until I can replicate the movie theatre in my living room this is what I'm paying for.

I go mainly to the festivals, premieres, sometimes there is a prelection before the screening, or Q&A with the director.

As an aside, this year I enjoyed an Asian film festival at home and was able to see more movies than any other year... 2020 is weird.

I recognize that streaming has its place in the world, but I'd hate it to be the only option, like it is in Stadia model. Also, if you don't buy the game then you shouldn't have to pay like you'd be buying one.
I'm struggling to see the argument here.

Facebook is a very large company, and is taking large amount of advertiser cash. That is true.

That money would otherwise go to publishers (possibly true, although I suspect it would go to google.)

What the author fails to back up is the either facebook/democracy argument.

facebook could attempt to editorialise all content, to give a specific bias to the news feed. But I don't see any evidence that it is, barring the bias towards "virality". (again I'm not convinced that's a function of facebook, I think its a function of society.)

Virtually all publishers (be it paper, radio, tv or internets) are privately funded. They all make editorial decisions about the content they commission, edit and syndicate. I suspect the argument is that because there are more than one of them, its not a concentrator of power. Unlike these entities, facebook doesn't actually wield power, its far to incoherent. It allows certain content to flourish, which has a similar effect, perhaps.

I am uncomfortable with facebook the website, its trivially easy to create organise and operate a group that is contrary to the health of wider society (what the subject is, it entirely left to the reader's preconceptions of what bad is.)

I don't think facebook is the antithesis of democracy. Far from it, we are seeing more people voting. What we are seeing is western democracies struggling with people finding their own voices.

We are also seeing many extreme opinions. Most of them emerging after being amplified to catch eyeballs. Some of it is being driven by facebook, but a lot is being driven by the twitter->pundit->journalist->politician->journalist->pundit feedback loop.
All the Scorpions covers he put there in that site are good. Sorry mate.
You mean like that https://twitter.com/chadloder/status/1280489063074545667 ?
It was created by Jonathan Puckey, Luna Maurer, Roel Wouters. Roel is part of Moniker.

Another similar pointer idea from Moniker https://studiomoniker.com/projects/do-not-touch
Liberalism at least in its modern technocratic version isn't any different. You're offered an illusion of choice and then you're 'incentivized' (every policy makers favourite word in the free world) to choose the correct thing. The beauty of it is of course that it, in contrast to authoritarianism, obfuscates existing power relations, because if you have choice there's nobody you can attack or hold responsible, you're always responsible yourself.

In that sense authoritarianism actually treats you less like cattle, because authoritarians think highly enough of their subjects to actually perceive them as a threat. The modern western technocrat on the other hand pretty much just thinks everyone's a number in an excel sheet.
But they can be happy for their manager, who'd get promoted for pushing this out. Maybe they all will even get some bonus!
no, microdosing is being researched to treat moderate to severe depression, schizophrenia and epilepsy. a microdose vs a full dose is likened to feeling tipsy vs full blown paralysis, with alcohol. to give a mentally fragile person a mind altering out of body experience is a bad idea
In a representative democracy, the people and the state are the same thing.

So effectively, by not caring enough to close these loopholes, the people have sanctioned this behavior as okay.

You personally may disagree with it, but apparently a majority of your countrymen do not see it as a big problem. Otherwise it would already be solved.
As you said it depends on the context, I agree, but thus the chances someone's using a generic query to find vendor independent resources like blogs are not zero. With regard to the given example "nrf wifi", I'd prefer DDG's results as I usually know the manufacturer of the hardware I work with but often search for solutions to problems in context of that hardware.
Furthermore depending on familiarity with domain names it's possible to deduce the manufacturer's website from GP's 9th result on DDG.
I hope that the possibility of an industry-wide switch to ARM doesn't take away the flexibility we now have with the PC. Standardized parts and a well defined firmware interface (and thus "standard" bootloaders instead of a multitude like on ARM) is what makes the PC truly special. Moving to a world where you can't install Linux or where every single machine has incompatible firmware would be disastrous, IMHO.
Current PCs can last for decades thanks to modern Windows and Linux being able to boot on old machines, without the need of special bootloaders or new firmware, just somewhat generic drivers (see AHCI, Intel HDA sound, etc)
There is no such large enterprise. You need software engineers at the very least to operate an ERP, and any organisation that doesn’t rely heavily on an ERP to operate is not a large enterprise. Any large enterprise will also have an infrastructure team, comprised of people just as likely to have strong preferences about their operating systems.

Technical and design staff may make up a relatively small portion of the headcount for some of them, but the Windows-only enterprise is becoming increasingly less common. The primary reason being that the tools they need to support other operating systems are simply more capable and accessible than they have been in the past.
I think democracy needs more fixing than Facebook.

But then again, always fix the things first that are easiest to fix.
> How do they get the key

Cellebrite doesn't have a way to extract secrets from an HSM for Signal or any other app. If the secrets aren't in an HSM, then they have this new feature to automatically take advantage of that.

So Signal is still secure. Just perhaps not on a $50 Cricket phone with no HSM. But then again, neither is anything else.
Sweden Explores Moving to a Digital Currency
There is very low demand for ARM from Microsoft customers, ARM support exists for when and if such demand materialises.
Our Product Manager Certificate will cost $1000 more next year
I've designed UI Flow Cards because I couldn't find one like it
Being able to run arbitrary code on iOS means that all of the other, presently secondary platform security protections (such as sandboxing) now become the first line of defense.

That is not something they were designed to do, and I doubt they would hold up. They're just one piece of the puzzle, and were put in place with the expectation that they would always be behind the App Store automated static analysis steps.

The other issues are push and entitlements. Should every app now maintain its own separate push connection to that app's own servers, or are they expected to get APNS certs from Apple?

How about feature entitlements? Should competing app store apps be notarized by Apple via developer ID, or should running anything, able to access anything (such as installing covert spyware that installs a systemwide spying VPN) be allowed?

There are probably more I haven't even thought of, yet. Maybe "free" apps that you pay for by letting it use your iCloud storage and bandwidth to put you in some giant replicated storage botnet? There are probably all sorts of avenues for abuse of bundled cloud services that open up when Apple can't reject abusive apps that users would otherwise voluntarily install.
I remember people used to say the same thing in early days of Apple mobile devices that shipped with (then) unusual white in-ear headphones. White headphones -> high probability of an expensive gadget in a pocket.
Using a compiler with proper switches is hard it seems. Some also blame 3rd party libraries or DRM.
Except speech that illicits violence is already considered illegal in most free speech societies. More censorship would not have stopped those kinds of atrocities. Human beings just generally suck.

The interesting argument isn't really about the mechanism of free speech anymore, it's the scale. Anyone can have a global platform without any real effort these days. Most of the famous internet people would never have been a blip 20 or 30 years ago. There is something to say about the need for some sort of gatekeeping, but theres also more arguments that counter the benefits. The problem with Facebook, Twitter and the rest of their ilk is the fact they benefit from radicalism of some sort. Take a step away from politics. Who are the popular folks on social media for any subject? The people who are really into whatever it is. They're fanatical about their craft or topic. They then try to show how great it is as to have others appreciate it, do it themselves or fund that influencer's endeavors. Radicalizing the audience. When it comes to ant farms, drone racing, game dev, game plays, growing hot peppers, the dangers only go so far in radicalizing an audience. Apply the same thing to politics and you get psychopaths. Why? I'm not smart enough right now to answer that, but I recognize that social media requires it. That's how they get the views, the ad sales and that sweet sweet user data. They won't give it up, no matter what rhetoric they pull out of their ass and throw in our face. The worst part, they'll agree to censorship, but to their own flavor. Current free speech generally requires you dont talk about hurting or killing someone or directly lie about something specific (libel, slander). Current media platforms, both traditional and social, believe those rules only apply when their group is the victim. When it's those "others", it's okay to be a complete dick and break the law. This goes for all political parties, they're all equally assholes. Free speech laws are meant to affect everyone evenly (naive, I know) when it comes to the gov intervening. Sadly, it's technically true that private corps dont have to play by the same rules. But when the corporation can influence the gov, where is that line drawn? On top, corps influencing gov, where is that line drawn too? This whole thing is a mess. We should go back to being hunter gatherers and fight bears for blueberries.
It would be very nice if an open CPU ISA, which can be implemented by everyone, like RISC-V, would be more widespread.

Sadly, RISC-V is not a good candidate for that. It is an excellent ISA for student implementation projects, but not for real work.

RISC-V is praised only by people who have very little or no experience with different CPU ISAs and with the history of their evolution.

RISC-V sucks more than even the ugliest ISA, x86. At least from the huge x86 ISA it is possible to extract a subset composed mostly of more recently introduced instructions, which can be considered as a decent ISA, except for the weird encoding, with many prefix bytes, which is needed for backward compatibility.

The 64-bit ARMv8 ISA is an example of a good ISA, but its future is clouded by the NVIDIA acquisition.
With M1 they have a single platform though. Phone, tablet, laptop, desktop. All on Apple silicon. The iPad already supports BT keyboards. M1 already supports iPad apps. I imagine an iPad is already powerful enough to run MacOS.
I imagine the next step is to unify the OS.

That’s your cheap computer right there.
Gone are the days where Twitter body limit was understood as the reason to post short tweets instead of long tales...
The free speech is well... a lot like right to bear arms. While you only had muskets, right to bear arms had a clear benefit (ability to quickly raise reasonably trained militia ready to fight in days) and little risks. Now that you can buy assault rifles, and war has become so high-tech that people who are trained to use small arms and nothing else aren't of any benefit in it - it has become a different thing.... Which is not to say i am against 2nd Amendment, just that the situation changed and concern of many people are understandable.

Same is free speech: when actually exercising this right was about printing books of pamphlets that meant a certain level of financial and intellectual barrier to it, free speech was clearly all benefits and no risks. Now that literally anyone can invent his own conspiracy theory and post it on facebook - and with well, intellectual majority driving the views and rankings of them so smart content ends up unnoticed coz it's so nerdy - people are right to be concerned.
You don't really need to be any fluent in esperanto, just be able to arrange (by email), your stay. The esperanto community is extremely open, and simply by showing a minimal interest in the language you are very happily accepted.
Heck, so is Safari. And Chrome.
I’m patiently awaiting McDonalds stories.
Honestly, outside of all the bug reports that was a big red flag for me. In their past success (Witcher 3), storytelling was pretty much what lifted it from being a mostly mediocre game.

If they went for Witcher 4 or whatnot, it's fine to avoid certain themes. But Cyberpunk has some serious themes at its very core, and avoiding those or only touching upon them superficially was worrying to me.
I'm boring because I just have a few simple IFTTT things on my phone that send notifications to remind me of things depending on some condition (e.g. weather or location). The problem is that they are super ignorable and I tend to forget they even are there a lot of the time.