skysight-inc/HackerNews huggingface dataset:
That repo is a bunch of TeX files (not even an implementation) that haven't been touched since 2018. I stand by my statement.

By the way, the Successor ML wiki says[1]:

> Standard ML, being incapable of evolution, is dead. The purpose of successor ML, or sML for short, is to provide a vehicle for the continued evolution of ML, using Standard ML as a starting point. The intention is for successor ML to be a living, evolving dialect of ML that is responsive to community needs and advances in language design, implementation, and semantics.

Again, I stand by my statement that Standard ML is dead.

[1] https://smlfamily.github.io/successor-ml/OldSuccessorMLWiki/...
Launching Europe’s “Unicorn Factory”
"If the best source of capital you can find for your company is the government" would have sufficed.

Doing a JV with communists and expect to come better off was delusional, unless they managed to bribe the decision makers.
Wallpaper versions:

https://t.co/Hj9MLMaDVM?amp=1
Why do you think that I as consumer need another app store? What if I hate app stores and I don't want to download your weekly editions of "bug fixes and performance improvements" and just want a working mobile-friendly web app? Telegram is pretty much the same whether it's a native app or a web app to me.
But Bill Gates is only a good person to listen to when he agrees with the current political zeitgeist - otherwise he's a billionaire monopolist who should thus be ignored.

Honestly, I'd love to hear what circumstances people would accept opening schools in. Would "COVID is 10x less deadly than chicken pox for children under 15" be enough, if there was some way to protect teachers? What about "less deadly than driving to school for a year"?
Keep in mind that by spinning, you're preventing the CPU from sleeping thus wasting a lot of energy.

At the very least, make sure you stop spinning when the game loses focus.
CipherTrace says they lost the trail on the twitter hackers when they threw the btc they scammed into mixers.

On the other hand, the Feds arrested a kid in Florida, so my question is... how did they find him?
Yes, and, in the example I gave, 200820e3227815ed1756a6b531e7e0d2 is unencrypted information pending input into a hash algorithm. Plaintext.
GHC does have special support for fusion and rewriting. See e.g. [1]. The laziness comes with the language, but turning it efficient requires a series of these rewrite rules expressed as GHC-specific metadata.

[1] https://markkarpov.com/tutorial/ghc-optimization-and-fusion....
I'm not still selling on Google Play, and haven't for a while, but if you're interested in seeing where Google currently remits taxes by state and country, the link is below:

https://support.google.com/googleplay/android-developer/answ...
The rent's the easy part. It's what happens to the apartment, neighbor complains, etc that matters (and race doesn't really matter for this, everyone's capable to be assholes in their own way).

Plus picking tenants based on race is quite illegal.
Nothing will change until they make it a felony to pay a ransom.
You can accomplish this with straight X11, no need for the DE to be aware of it.
The smarter move if this was 1 person who intends to use the 4+m to live off, and not buy a Lamborghini or some stupid shit, would be to extend the timeline much further past 1100 days. The smaller the individual amounts the better. If they are long term bullish on the prospects of bitcoin retaining its value or increasing, launder just enough to pay themselves a nice monthly 'salary' for living expenses, under 200k a year, and take a lot of time to consider what to do with the rest.

And dividing it up between as many possible independently run tumblers/mixers.

I'm sure some additional smurfing techniques could come into play for additional obfuscation.
Tempting to say "be lucky" but more kindly, be in a community. Be discussive, make contributions that get reference, add to the repositories, attend meetups.

I was a manager many years ago (not now) and a remarkably good candidate came up for a role who had worked in lisp on traffic control problems. I wish we'd appointed, her mindset and approach would have been beneficial. What I am trying to say here is that even a job NOT in Haskell may benefit from what FP had to give. Strong typing and lazy evaluation inform approaches to problem solving.

Yes, banking and finance. Please don't just go into crypto coins
But why 1 BTC? That's worth more than 10k. Surely they could have sent a fraction? Or maybe they didn't know bitcoins can be split?
LOL, yep, it's tongue in cheek, did not catch that.

He has a point. But as an entrepreneur, I'll probably go through all of this again and again and again. Can't help myself.
> remember why we are building it in the first place.

Marketing. Your attempt to sell your religion is ineffective.
For the most part, that looks like it's after the pinstripes were toned down, but before the brushed metal fad took hold. So there's plenty of use of color and enough depth to make it easy to distinguish between UI elements. But as noted by others, there are some legacy holdovers on display, too.

It's probably one of the most "timeless" looks ever used by OS X.
I still think procedural and OOP code requires 10-15 IQ points (for some theoretical "good" measurement of IQ) than FP.

Vocal proponents of languages will be on the more intelligent end of the spectrum to begin with, so this economic / structural "advantage" of OOP isn't as apparent, especially since such advocacies revolve around idealism and the hidden biases of it paying their bills.
Authorities might already know mixers service providers and a subpoena will give them all info they need. Not sure tho, I haven't used bitcoin but there always be weak link somewhere
You make it sound simple, and you probably are a skilled investor. Again, good for you!

But you have to realize you're essentially saying "Why can't everyone be better than average?" It's great thing to aspire to but most people won't be better than average. Anyone can, everyone can't.
That's great to know, probably why my SSD to ipod hdd didn't work out as great, and CF is the way to go.
Isn't this confusing the fact that in general any mean of transaction, can be used negatively? The nature of which depends of the nature of the currency. But that's not an argument to say bitcoin and crypto are bad as opposed to for example the dollar. Rather this only shows that criminals are much faster at understanding crypto's advantages and adopting it. The "good" use cases will follow when adoption increases and a proper legal framework is implemented.
Wouldn't using multiple mixers increase the risk? You only need to be traced once.
I'd go a little bit further here: I run Mastodon on a 1 GB VPS as well, but I found I had to make the swap file permanent to stop it from running out of memory. It's not super heavy but it is heavy, and even though swap is slow, it still runs fast enough.
Hoa claims “we maximize the property value” which I don’t see how they say with a straight face.

At best they achieve a local maximum nowhere near the potential, while costing a mint in fees and preventing one from doing anything crazy like planting native plants in the front instead of grass or not painting your house the right shade of beige.
The Technology Effect (2015)
I agree, but the parent was specifically talking about OpenGL software fall-backs.
> Do you know which component has inhibition affected? SW only? Blown fuse? Something different? Certainly not a jettisoned part, because this vehicle is planned to be reused after minor refurbishment.

They didn't elaborate, it was a 30 second response.
the paper lays this out: it’s just really weird that essentially all real numbers cannot be named, described, or known to us. (or computed by any Turing machine, if you want to avoid paradoxes of natural language.) if you randomly sample a real number, with 100% probability it will be one of these strange, unknowable numbers.

this is quite weird! i’ve only ever seen nameable, computable numbers in my whole life, yet apparently drawing one of these from a uniform random sample has probability 0?

fortunately IIRC the subset of computable real numbers still forms a field and behaves how we want, although you can only test equality up to some epsilon.
I personally love the new reddit design: it’s so miserable to use that it has broken my reddit addiction almost entirely!

Now I just need HN to do something similar and maybe I’ll get back to being a productive member of society ;)
We need to make laws in western countries that paying off these kinds of ransoms is illegal. It gives money to criminal elements and only encourages this. I also thought it would be possible for powerful law enforcement groups to follow the bitcoins even through exchanges. Why does this not run into the worldwide hunt for the perpetrators?
10k out of 4.3m
didn't you use the internet way before you were 13? it boggles my mind why people care about this
If you want to split a file into 5 horcruxes _and_ you require all 5 horcruxes must be present to reconstitute the original file, then each horcrux will be one fifth the size of the original. However if you allow a subset of horcruxes to reconstitute the file then each horcrux will be as big as the file :)
Those brackets get me every time. Fixed :)
>This kind of attack would be almost impossible in the pre-bitcoin era.

Is it? VIPs are regularly held for ransom in unstable countries, so much so that ransom insurance is a thing[1]. If those ransoms can be safely received, why can't it be the case for ransomware ransoms?

[1] https://en.wikipedia.org/wiki/Kidnap_and_ransom_insurance
This one would have a nicer keyboard and support modern software.

https://www.ebay.com/i/324223000220?chn=ps&norover=1&mkevt=1...
>The banishment of nerds from technical fields.

Source?
It was also controversial for a lot of reasons that had nothing to do bigotry, such as the way the main character from the previous game was handled, the depressing character arc of the main character of this game, a POV switch that many players found alienating, and an abrupt ending.

Now I don't agree with any of these criticisms, since I thought the game was amazing---but one has to recognize that there were defensible reasons to dislike the game.
Creative Coders Are the Celebrities of the Future
Well, of course another will come along!
Libertarianism, not utilitarianism is the answer. Everyone just needs to stop getting into everyone else's business.
Owning old vinyl to play on well made second hand gear is far more sustainable than streaming music which has a poor EULA or storing terabytes of audio where you only listen to roughly 1%. You can argue the same with CD’s but disc rot is an increasing issue.
Physical and digital security aren't the same thing. There's no such thing as "this website is in a bad internet neighbourhood and should take extra precautions".

I get where you're coming from but you can't really just flat out say "you can justify kidnapping with the same logic". Like, no, you can't. Fully agreed the government should be the ones playing the role of incentivizing security, but you can't then go back and say that security takes time and money those companies should not have to spend. They should, regardless of who keeps them accountable for it...
Google the innovator's dilemma. There's an excellent book on the topic with the same name.
Interesting to hear. A million, that's more downloads / people than what I'd guessed

Maybe you'd find this article interesting, about crazy people when the group I'd large enough:

https://www.google.com/amp/s/tim.blog/2020/02/02/reasons-to-...

(What! That became a Google amp link. The real link is:
https://tim.blog/2020/02/02/reasons-to-not-become-famous/ )

It got posted here at HN some months ago
> So you say you are able to guess from the word order what part of speech a particular word is. But with German you hardly need all this guessing.

Not really. It's not about guessing: in English, the part of speech really is mostly determined by its syntactic structure.

> If you compare two marginal examples: - English "time flies like an arrow" - German "Wenn Fliegen fliegen hinter Fliegen..."

Not sure what you're trying to say here. The English example is ambiguous, yes (and only strictly grammaticaly; semantically the meaning is clear, unless you're using it in the phrase "time flies like an arrow, fruit flies like a banana", which is meant as a linguistic joke). It's also very easy to come up with examples of phrases or sentences that are ambiguous in German, or in any language for that matter. Here are some fun examples:

"Er liest das Buch seiner Schwester vor" (could either mean "he's reading the book to his sister" or "he's reading his sister's book to someone")

"der weiße Schimmel" ("white mould", or "white horse")

"wilde Tiere jagen" ("to hunt wild animals", or "wild animals are hunting")

and don't even get me started on the ambiguity of compound words or phrases with a genitive, where there are often tons of potential interpretations depending on the intended relationship between head and dependent noun.

And also the German example you gave (fully: "Wenn Fliegen hinter Fliegen fliegen, fliegen Fliegen Fliegen nach", or "if flies fly behind flies, flies fly after flies") is a) another joke sentence nobody uses in practice, and b) is exactly a case where you can only distinguish the part of speech (and the grammatical case) of a word from the syntactic structure and not from its morphology, something you claimed doesn't happen in German, but here it clearly does.

Look, you may make a case that it's easier for English sentences to be ambiguous than for some other languages, but I would need to see some good data before I believed that claim, because it's just not something that is immediately obvious.
This is pretty far into crank territory.

One of the issues with this paper is simply a misunderstanding of terms. The word "real" as in "real numbers" is jargon. It's not about whether or not you believe in them or even whether they are representative of reality. You can think of them entirely in logical terms (whether logically constructed with Cauchy sequences or Dedekind cuts) and then the disagreement is about the axioms of set theory.

Numbers are just a theoretical framework, that is how they are used and "believed in". If you want to say that real numbers are absurd or not fitting of our world then simply propose an alternative theory that we could elect to use instead of real numbers. Nobody is adamant about the idea of all real numbers being "real" in every sense of the word.

Furthermore, a theory of numbers with a restriction on the size of the set is arbitrary. Cantor's diagonalization argument and construction methods still exist. To exclude uncountably infinite sizes of sets would make as much logical sense as restricting the total number of numbers to something finite, e.g. "there can be no numbers greater than a hundred billion, try not to think of a hundred billion and one because that is bullocks!".

An interesting example of irksome numbers being remedied with better theories is the concept of infinitesimals in calculus/analysis. The theory of Nonstandard Analysis provides a rigorous definition of infinitesimals in terms of more familiar numbers. https://en.wikipedia.org/wiki/Nonstandard_analysis
Impossible. Some things are just worth more than any amount of money and punishing the victim will not change that.
The WICG spec doesn't mention this at all, but it seems like Google plans to restrict the set of allowed issuers. From <https://www.chromium.org/updates/trust-token>:

> Process for registering as an issuer: https://docs.google.com/document/d/1cvUdAmcstH6khLL7OrLde4Tn...

which says:

To apply for an Issuer (and its key commitments) to be included within Chrome, the Issuer’s operator must file a new bug on the Chromium Issue Tracker, and provide:
* Issuer Name - Human readable name representing the Issuer.
* The origin that is used for the issuing service (scheme, host, port). The scheme must be HTTPS.
* An email or email alias that is monitored by the Issuer’s operator for issues regarding the Issuer.
* A public HTTPS endpoint that responds to key commitment requests.
* A description of the Issuer, describing its intended purpose.
Sounds like food rations in a commie country? No thanks.
> I understand the hash becomes the password to that server. That's okay. But each server gets its own hash that's unique. It cant be correlated in dumps or used on [other] sites with the same email.

First:

> It cant be correlated in dumps

Hashing client-side doesn't help with that. The password already couldn't be correlated in dumps, because it was salted server-side.

> or used on [other] sites with the same email.

This depends on how Mallory obtained the password. It was already hashed and salted server-side.

So consider the example where the user entered a simple password P, the client side hashed P to become C, and the server side rehashed C to become S. C is what went over the wire.

If the server is compromised and the password database is dumped, Mallory gets a bunch of random-looking hashes. She has to crack those. She could do that by enumerating the space of C possibilities -- very long random strings of binary data -- and hashing them once. Or she could do that by enumerating the space of P possibilities -- the things a user types in order to log in -- and hashing them twice.[1]

The first option is essentially impossible. But the second option is easy. (Assuming your grandma used a password that is easy to guess.) Mallory will use the second option. And the password she learns from that approach will transfer perfectly to every other website.

[1] rl3 mentioned salting the user-password client-side. If the user is allowed to log in from multiple machines, then this salt must be stored on the server (so that it can be communicated to the user when the user attempts to log in from a new machine), and will be available to the attacker who's compromised the server.
https://www.nytimes.com/1998/02/01/world/italian-ban-on-payi...
> Thorn, the non-profit behind Safer, says it spots the content with greater than 99% precision.

Sounds like it's claiming 99% precision, so 99% of positives are true positives.

Recall probably isn't great, because (a) if it were great they'd brag about it and (b) you don't get to 99% precision without sacrificing some recall.

Seems reasonable to aim high on precision, though, to avoid burying NCMEC in mis-classified data and also to avoid wrongly banning users' content.
For a UX page about the laws of UX I'm very happy I am a law breaker. This site is terrible for communicating it's point.
Job loss is not the equivalent of death. Full stop.
https://www.nytimes.com/1998/02/01/world/italian-ban-on-payi...

They are not the only ones, just the first I found on Google.
Isn't 'tumbling' literally a money laundering operation?
Zenreportz: Python and R reports and dashboard publishing platform
Want to publish reports and dashboards in centralized way to help business to grow, then zenreportz is answer you are looking for. Zenreportz allow you to publish python or R programmable reports and dashboard easily.

Visit us at http://zenreportz.com/. Love you hear feed back from community.
What's with the oceans of empty space between everything? Who likes this?

Please put more than one thing on the screen at a time, especially when those things are links that lead to the actual content.

Also, when I click through to one of the laws, there's no indication that I have to scroll down, so I'm clicking around for a few seconds like an idiot trying to figure out what to do.

I feel like I'm crazy... Is this really considered good UX?
Thanks, yeah crypto doesn't appeal at all. I have an interest in personal finance and double entry systems. I might see if there are a few open source projects I can get involved in
Can you explain which part of that line of reasoning doesn't apply to rationals, which are countable?
A lot of people here are asking the government to make payment of ransoms illegal. Makes sense to me, but can someone explain the potential downsides, and why it may not be as simple as it sounds (I'm sure it's not)?
You said wu and outkast are somehow the same and then defended juvenile?

And then gatekept who's "really appreciates hip hop?"

Freaking lol
Just out of curiosity, what's wrong with Chrome and Amp?
This is such a regressive mindset.

Why not ban the encryption while we’re at it?

Instead of bashing it, how about we come up with solutions to the problems?
Feds = mixers
If it's any consolation the spam you're talking about is considered "third class" mail and is delivered in lower priority than most other mail.

https://www.shipstation.com/blog/usps-first-class-mail-vs-pr...
I see. We actually failed to 'define a system' for what it means to be a real number. What the set of real numbers contains can't be defined in any strict formal way.

Even for the range [0, 1] saying all numbers including rationals and irrationals is an incomplete cop-out. The rationals are defined. Only some irrationals are/can-be. Saying a 'number that is not rational' is not a definition--it is negative space. Prime numbers are the negative space of composite numbers--they are however countable and computable. The negative space within real numbers is different. There are no possible constructions to reach some/all of them.

Does the same problem arise with any uncountably infinite set or only not-well defined ones? Is "The Set of all Subsets of Natural Numbers" (which is uncountable) also non-mathematical in the same sense? A program (requiring infinite storage and computation time) can be constructed.
is there a market for ransomware insurance?
Do you not know what is happening in Hong Kong right now? You don't let the government decide what is "hate speech" and what is not.
Samsung to halt PC production in China
> A spinner is not a complete response because the system is still going to respond more without additional input.

The paper talks about launching batch jobs. How does that fit into your interpretation of a "complete response"? What would the complete response to starting a batch job have been in 1982?

> I didn't use a mainframe in 1982 but I wouldn't be surprised if the experience was more responsive than what is common today.

I did use mainframe terminals in high school and college, and they were nowhere near the responsiveness that is common today. Not in the same ballpark, not even on the same planet. Our expectations for responsiveness have grown as fast as response times have shrunk, computing today is orders of magnitude more responsive across the board.

> Don't try to trick yourself that the system is actually responding quickly when it really isn't.

That sounds pretty catchy, but is completely subjective, it depends on what you mean by response, which is what we are trying to flesh out here. I'm trying to make the case that in the context of UI/UX best practices this is a red herring. The questions are about interaction and expectations, about acknowledging your input, not about whether computers can magically perform impossible feats of physics. Speed of light prevents some servers on earth from getting a response to you in under 100ms. I do tasks all the time that takes seconds or minutes, and I bet you do too. I disagree that long tasks are automatically bad UX. Bad UX is failing to notify you that you started a task, or failing to notify you that a task finished. Bad UX is giving no indication of how long a very long task will take. Bad UX does not automatically exist merely because a task takes time.
If your account is worth a few million dollars you get a direct line to someone in Google.