skysight-inc/HackerNews huggingface dataset:
> A monad is a data type (e.g. int) that encapsulates some control flow (e.g. try/catch).

Ignoring the fact that `int` itself doesn't have much to do with monads (it's presumably just giving an example of a type), I've always disliked the notion of talking about monads being types or vice versa.

The way I think of it is that the monad itself consists of the monadic operations for some set of values. The "IO monad" consists of the `bind` and `unit` functions to do with values of types `IO<T>` for any `T` (eg, `IO<Int>`, `IO<String>`, `IO<IO<Int>>`). Similarly, the "Maybe monad" consists of the `bind` and `unit` functions to do with values of types `Maybe<T>` for any `T`.

Both of these monads can be said to implement a common interface, which might be expressed using the following Java-like code (using Java just to emphasise that there isn't really[0] anything magical here):

interface Monad<M> {
<T> M<T> unit(T v);
<T, U> M<U> bind(M<T> a, Function<T, M<U>> f);
}

If we were to define an "IO monad", we would expect it to implement `Monad<IO>`, therefore an "IO monad" is really just a value of type `Monad<IO>`:

Monad<IO> ioMonad = new Monad<IO>() {
<T> IO<T> unit(T v) { .. }
<T, U> IO<U> bind(IO<T> a, Function<T, IO<U>> f) { .. }
};

This is actually pretty much exactly how it works in Idris for example, where `Monad IO` is itself a type, and you can actually ask for the `Monad IO` implementation by writing, funnily enough, `the (Monad IO) %implementation`:

Idris> 4 + 5 -- to demonstrate the REPL
9 : Integer
Idris> Monad IO
Monad (IO' (MkFFI C_Types String String)) : Type
Idris> the (Monad IO) %implementation
constructor of Prelude.Monad.Monad (\meth, meth, meth, meth => io_bind meth meth) (\meth, meth => io_bind meth id) : Monad IO

[0] The only reason it doesn't actually work is because Java doesn't support higher-kinded polymorphism, so you can't pass type-level functions such as `IO` or `List` as type parameters, therefore you can't actually write `M<T>` as appears in the interface body.
Heating is actually the biggest user, accounts for 50% of global energy demand. This includes space heating as well as process heat.
Horrible headline. Was relieved this wasn't about following the footsteps of the supposed New Zealand shooter.
The attacker would be shifting screen sizes, in the given justification of bots.
Theranos failed to sell automatic blood testing machines to the military so they pivoted to providing services of questionable repute.
I wonder if Tailscale will offer something similar? I don't know the lift cost to do a 'sharealike' network controller but perhaps if it is not burdening their network more than a line in a DB somewhere, they might be willing to do something similar.
You are confusing tech deficiency for the lack of interest. Imagine if the tech was available so you can see 3D content covering the entire human FOV in 8K resolution that with almost no weight on the head just for $500, would you not buy it and use it full time? Things have came long way and still long way to go but our biological construction demands 3D tech and it's not going to change anytime soon.
This is such good advice.

As the saying goes:

'If you are the smartest person in the room, then you are in the wrong room.'
> He's just some guy with a different opinion, on that bastion of obvious truth known as Facebook posts.

Not really, though. I searched his name and found an interview with Stuff magazine[0] which describes him as a "Samoan traditional healer and well known anti-vaxxer." It also describes his social media efforts as being far more active than "just putting his opinion out there" would imply. This isn't some random guy the government decided to harass for "wrongthink", He's an activist trying to undermine and hinder his government's attempt to vaccinate people in the midst of a medical emergency, as part of a greater anti-vaccination movement.

[0]https://www.stuff.co.nz/world/south-pacific/117918981/samoa-...
You realize that this doesn't provide any verification, right? All that you have verified is that there are ballots in the box. Not who they belong to, if yours was counted, etc. You have no idea if those are even the same ballots. Sure, there is trust, but we're trying to create a system with minimal trust, right?
Time to add random delay and noise then.
Put your contact info here or in your profile and I'll send a really good idea...
If they were serious about this I would think they make an effort to start building such a project in a country where the chance of regulatory approval is better than a snowball's chance in hell. Like maybe somewhere in the Middle East, near several mega airport hubs, existing shipping routes for fossil fuel shipments (e.g. natural gas), and a political environment eager to establish an industry on the upswing that complements existing competitive advantages.[1]

[1] I know the Middle East isn't very strong in the high-end, value-add part of the energy supply chain--refining, etc. But this would be a perfect way to rectify that.
I assumed you might have been referring to the Payment Request API when you said "all major browsers support it" because that isn't true for ILP. Thanks for the correction on the acronym's meaning.

You're right, Coil is a member of the W3C [members]. You're also right that W3C approval isn't necessarily necessary for something to become implemented.

However, when I hear "the W3C is behind ILP" I (and I assume many others) interpret that to mean the W3C as a consortium has taken some step towards creating a standard, or even that the consortium has issued some statement that they hope to do so. I don't think that most people would interpret one of the W3C's 400+ members proposing something and putting it up on a domain they bought as the W3C being behind it.

HTML5 is a great example of how tech becomes implemented and standardized in the modern era. HTML5 exists because Apple, Google, Mozilla, and Microsoft agreed on it (through the organization WHATWG) and then implemented it. HTML5 was implemented through an even more centralized process, I wouldn't call getting something pushed through by the major browser members something anyone can do just by putting up a good spec.

I agree completely that a W3C spec isn't something people need before they can use the extension shim, of course. All I meant to respond to was your claim that browsers and the W3C were behind IPL. A company called Coil is behind IPL.

[members]: https://www.w3.org/Consortium/Member/List
We're getting an influx of new waitlist subscriptions right now (most likely due to this post trending on HN). I have a feeling mailchimp has noticed something's up and thinks it's a DoS attack. Oops.
This is more than the equivalent of a well-written “the emperor has no clothes” based on facts - it offers a pragmatic path forward for his majesty’s deluded nudity.
They just have to give it a massive fine. Then they can block it for failure to pay.
As a passenger, my usage of the phrase "I can help you with your phone if you want; either way, please put it down" has also gone way up
They just announced a bunch of additions to the stdlib (including I/O) at KotlinConf in order to better support multiplatform
That's a good point I hadn't considered, thanks.
mac addresses are randomized to prevent this. every store would want to do this for customer analytics otherwise
Android is so shitty it has zero chance to succeed as a mobile OS.

/s
I was unable to find an open source ad blocker for Brave, and the Brave community was less then helpful when I was confused as why I was seeing ads when the homepage for Brave talks multiple times about ad blocking without ever mentioning it is partial blocking.
Yes, commissary kitchens typically require health inspector approval and proper insurance from any food company that wants to work on its premises.
> So you can have Location Services on but not send anything to Apple, unless the app does so itself.

There is no such setting. https://hifutureself.com/ios-location-system-services-settin...

It is not enough to disable Location Services for Apple apps. If any app requests location, even non-Apple apps, your location will be sent to Apple, as I showed above.

> I am assuming you're claiming this is an Android device?

You can use them without sending data anywhere you don't want.

> iPhones are "dumb",

I was very clearly riffing off the term "smartphone." A phone that has network disabled as you suggested cannot be called smart. What's the opposite of smart?
I wouldn't say they are "so far away" as much as they used to be decently ahead and then it took them a long time to get their "10nm" process (roughly equal to the TSMC "7nm" process, neither of which actually adhere to the standard definition) rolling due to issues they had so now they are behind but it's not like they are actually as far behind as the numbers sound even though they did lose an extraordinary amount of ground overall.
Prenda Law has basically nothing to do with the DMCA, as I understand it. They did a lot of illegal things, but it isn't clear to me that they ever sent a DMCA takedown notice to a Online Service Provider[1]:

> In the 2013 civil ruling, Prenda Law and three named principals, John Steele, Paul Hansmeier, and Paul Duffy, were found to have undertaken vexatious litigation,[4]:FOF.5 p.4 identity theft,[4]:FOF.9 p.5 misrepresentation and calculated deception (including "fraudulent signature"),[4]:FOF.6 p.4, FOF.9–11 p.5, p.6–8 professional misconduct and to have shown moral turpitude.

They didn't get in trouble for filing spurious takedown notices; they got in trouble for extortion.

Their M.O. was to sue anyone they could identify by IP address from their own porn torrents and settle out of court for as much money as possible (and drop suits if the defendant wouldn't settle or couldn't pay — they wanted to avoid the scrutiny of a courtroom).

Sending DMCA takedown notices to the Pirate Bay would (1) not get them paid, which is about all they cared about, and (2) likely not actually result in content being taken down, if I understand the Pirate Bay.

[1]: https://en.wikipedia.org/wiki/Prenda_Law (DMCA doesn't even get mentioned in the article)
And then the yang gang starts offering cash for confirmed votes.
Thank you and that does make sense, but I don’t believe there is as clean a line between 1st and 3rd party ads as others perhaps. A first party ad can still track and share your data.
Violence was much more acceptable back then. Beating your wife, beating your kids, getting into drunk fights. That's just what everyone did. If slaps had destroyed people there would be no one left. If you slapped the wrong person however, yeah I could see that having consequences.

Actually I have friends who have slapped other friends while drunk and nothing at all came of it. They didn't get excluded. They also didn't do it again.
Just for comparison there are 95 unicorns in the Bay Area. The gap is just mind boggling
I didn't get No Man's Sky until this August when they released the VR version. I got it on sale fully expecting to spent only 20 minutes with it. I just wanted to see it in VR. I ended up spending 20 hrs. I felt like a little kid pretending to be in space. It was awesome. About 15hrs in I tried non-VR for a moment. Couldn't take it. There are many things I'd change about the game but being in space in VR was amazing.
Got a confirmation code via sms the other day to confirm the set up of my account... that I never signed up.

Either a bot is making accounts, or Tik Tok got a list of phone numbers and is making accounts for people.
That's not really true. Ads give people the opportunity to learn about products they wouldn't otherwise know about. If the new products are better, economic value is created. If they aren't, no transaction occurs and nobody is worse off, except for the attention spent on ads, which is what BAT is trying to price.
HN has become a bizzaroland where I get downvoted for voicing support for an app.
It is Android's problem because Apple has proven it's possible to tell vendors and OEMs that they can't do that shit.
Surprisingly enough all of the above is fairly well solved (or at least has the illusion to have been solved) in HoloLens and it turns out that not being able to draw black isn't a huge issue because AR is designed to interface with existing world and all virtual objects are ok to have grey instead of full black. If you were going to watch movie or play classic games, this would be an issue but that is not interfacing with the existing world and AR is not targetted for those use cases.
A few people have been asking about Raspberry Pi support. We don't exactly "support" it yet but we can send an armv7 binary for you to play with if you ask after signing up. I'm told it works for, say, streaming a home webcam directly to your phone :)
I went straight for the meat and most of it is like this. Double hungarian and poorly abstracted: https://github.com/Croteam-official/Serious-Engine/blob/mast...
Wouldn't they'd face regulatory approval issues from the UK when they try to export nuclear reactors to the middle east?
Great writeup! A good reminder that in reverse engineering you can get pretty far just with static analysis and a bit of educated guesswork. Also a fantastic demo of using statistics to get a foothold into how the files are structured.

If anyone is interested in some similar research, I did a video writeup using very similar techniques for reversing the graphics format of a cutesy platform game - https://www.youtube.com/watch?v=e0x7KU4wLGw
Middle east doesn't work, there is a connection to nuclear weapons. I honestly can't think of a country that fits your criteria. China? Maybe? But that's iffy and comes with other issues. NK? But working with NK or any country that is going to violate nuclear arms treaties (cough Middle East cough) you're going to have a hard time doing business with the first world. Which means that if you're a business trying to do this that you have to be completely funded by said country that will violate those treaties because you are giving up your other revenue streams. I don't imagine Rolls-Royce wants to give up their current revenue streams and work with dictators for this high risk endeavor.
> Companies like to feed from the public domain but not so much the other way.

> Mickey Mouse would likely be public domain soon or already if not for constant intervention from Disney to move the date each time it gets even remotely nearby.

Yeah. They're probably going to try and extend copyright duration once more in the 2020s. It's infuriating.

The social contract behind copyright was "we'll pretend you have exclusive access to your work for some time so that you can make your money and when the time is up the work will belong to public". Copyright holders obviously have no intention to fulfill their part of the contract: they employ lobbyists to extend copyright duration to infinity, weaken fair use by mandating automated and indiscriminate blocking and generally erode the rights and freedoms of citizens.

So why should people recognize copyright as legitimate? It's a phony, artificial concept that should be abolished before the billion dollar copyright industry abuses it any further. People who infringe copyright are guilty of nothing but civil disobedience.

https://en.wikipedia.org/wiki/Civil_disobedience
How many people go through these other better methods for learning a language? In that sense, it’s a great way to learn a language if you wouldn’t otherwise be learning a language.
I like the “goggle” frame of the ML better than the HL1. I am excited to try a HL2 and see how much more the FOV improves over the HL1. I hated the postage stamp feel of the HL1.
It's changing for the better. We raised our seed round here a few months ago with low friction (from valley VCs, not Pittsburgh VCs, but who cares?). We plan to stay Pittsburgh-based for the most part; we and our investors are entirely happy with that.
To expand:

Plenty of call centers operate scripts that respond not much better than how I outlined it. The trick is to get out of the script as soon as you can find and trigger the escape clause.

My concern with companies like Google is that you can easily get yourself into a bizarre situation. Whereas with other systems you just need to escape the script to get to a human review, Google and similar structures mean you often need to find the escape from the escape from the escape. This is why people appeal on twitter rather than through google's own systems. (Yes there are exceptions)

The hope with putting humans into the loop is valid but I'm not convinced its the full answer. The overall attitude/culture of the environment they operate in is still important.

At least with putting people into the process those people can add their own attitude/culture. This is the saving grace however slim.

I'm hopeful but not convinced.
I find a very good way to learn languages by Netflix is to watch content in foreign language plus foreign subs. This is really good for English, because virtually all content is subbed with closed captions. French on the other hand is nearly impossible since virtually all content has mismatches between the audio and the caption (i.e. they always have subtitles, never closed captions). I've yet to find way to search for closed captions (vs subtitles) on Netflix.
> Enterprise AR is blowing up

citation?
There is no fast enough that a user won't notice the difference between that and instant, especially due to RTT for the request. That's why I always click on results with the lightning icon, and that's what I figure enough other users do too in order for AMP pages to rank so highly. If that's not the case, the other search engines can rank differently to beat Google, as I said.
3 bits per cell, a year ago: https://ieeexplore.ieee.org/document/8544012

Time to market is ¯\_(ツ)_/¯
The point Alon was making is that Foye is fucking clueless.
Duolingo is just a language learning simulator, gameified to make people feel like they’re accomplishing something they’re actually not. It’s ultimately a disservice to foreign language learning overall because there are legitimate self-study courses that can teach people to read various languages (speaking requires practice, back-and-forth with someone else, or lots of hours of videos).
This is the most unintentionally hilarious comment ever posted on HN. “Any good product would never need to post about themselves.” Welcome to tech startups? I guess?
you know that's not even the worst ted talk i've seen
That one says 3k sexual assaults so I’m confused.

(Edit: I see, this headline sums two years, rather than just the 2018 number)
WASM just makes it easier to distribute obfuscated code, because it is obfuscated by default. Pre-WASM JS is capable of just as much obfuscation.

Minified Facebook or Google trackers were never libre or meant to be easily reversed. Web apps like Google Drive aren't free either just because you can run it in a browser on Linux. You aren't supposed to (legally?) be able to modify it and nor would you be able to in many cases where they try. It's just as proprietary as Microsoft Office. There are proprietary tools to do even more advanced obfuscation on top of minification (adds red herring code paths that do nothing), which some JavaScript malware vendors use to protect their implementations.

What we really want is libre JavaScript/WASM where vendors include permissive licenses and source maps or links to download the high level source. That's free software. The "free and open" web never really existed de jure; publishers' laziness to obfuscate created a de facto free and open web. Libreness depends on access to high level source, not reverseability, or else Photoshop is free too because you can attach a debugger to it.

WASM just exposes the truth that the web was an app store all along.
> XTX -- the name refers to a mathematical formula used in its trading algorithms

Wow so they do linear regressions?? Incredible.

But in all seriousness, for how long are we going to dress up statistics as some new cool and exciting methods? Are VC's and bosses really this easily fooled?
Same here. I'd love ad blocking on firefox in ios but it doesn't seem to be an option.
Nothing but bad news about Intel lately.
Belgium politicking in Rwanda basically caused a genocide. Germany has an active intelligence effort which reportedly compromised or intercepted Obama's mobile phone (intentionally). Europe has a very active intelligence and counter intelligence. They didn't all decide to magically get along and trust each other because WW2 ended.
They mean auto complete.
Speak for yourself, and let others speak for themselves.
Growing a Sales Automation CRM from 0 to Hundreds of Users in Under 2 Quarters
Ubuntu Pro for AWS
The New Carbon Economy
Perhaps they should fix the Trent 1000 before moving to nuclear.
Beautiful. I've been wanting to do that, actually, but I keep having a rough time because the BSDs tend to assume you're using their kernel, libraries, and userspace all together.
2.6 TW/h with 100% global resource utilization, which amounts to 1/60th of the world's energy usage in 2013...
Most states in the west didn’t have slaves and still joined under the notion of being a state with rights.

“Slavery” is used an excuse to not think critically about things from before the civil war that you don’t like.
It's not an Android problem, as you only have the issue if you buy from a shitty oem.

Get a device with stock Android ROM and there is no issue
Some (not all!) of the techniques at places like RenTec are fairly sophisticated. Hence their returns ;)
> it's a dual-core CPU without Hyper Threading support

Hedging their bets against more vulnerabilities?
Honestly, what would be interesting is if there was an open source database of crawled webpages, available for anyone to search / use with their own algorithms. That would make it possible for... a lot of things, really.

I feel like the web parsing / indexing, perhaps rather than the search algorithm itself, is the hardest part of rolling a new search engine (largely due to the associated computing and storage costs).
Ubuntu gave up unity and just use gnome. I would like to use a distro which actively improve its UX in the future. Gnome/KDE has a history of implementing all the fancy things(animation, customization,touch support) while ignoring the basics(performance, consistency), unity had the best desktop/laptop experience but it's gone, elementary at least have a good direction to go.
No evidence was presented in court that anyone believed he was a pedophile. It was just an insult.
> Fix all that, and the problem remains: how do you draw black?

This concern is technologically narrow-sighted. We already have VR headsets with forward cameras built in. If the real world image is a projection too, you can draw whatever you want, including black.