skysight-inc/HackerNews huggingface dataset:
Ah I see, I believe you've mixed up currying with partial function application, that's what confused me (but, again, I'm not an expert on functional languages so it could be me that's mixed up). I believe that currying doesn't take any arguments except the function itself:

# Signature of f is (a, b, c) -> r
g = curry(f)
# Signature of g is a -> (b -> (c -> r))
# i.e. g is a -> blah,
# where blah itself is a function taking b, etc.

Admittedly you can get partial function application out of currying (but only with parameters at the start of the parameter list):

g = curry(f)
h = g(a)(b)
# Signature of h is c -> r

But, although they're related, they're different procedures overall: sometimes you'll really want the curried function without immediately applying some arguments to it.

Anyway, replacing "currying" with "partial function application" in your earlier comment: I suppose you're right to some extent, but the "this" parameter usually isn't that hidden and in Python you even pass the "self" parameter explicitly. I suppose the real major thing is you've put a bunch of parameters into a single class/tuple/struct rather than spelling them out individually; if you had a weird language that didn't support structs etc. then some partial function application would certainly be a very useful alternative to writing the same argument list out many times. But once you've got the struct, making your utility functions be methods is just minor syntactic sugar on top of that.
That's not what I was asking, actually. I meant rendering markdown directly on a terminal, not going through troff.

But this is not so bad as a temporary measure - instead of having man render the troff and pipe it into pager, pandoc will render the markdown into troff, pipe it to man (I guess), then to pager. Shouldn't be terribly difficult to set up.
I will admit that I don't know what "linear types" or "affine types" are. Your answer makes me feel like I am trying to convey an idea for which you have the perfect formalism / meta vocabulary. It might be that objects, or at least the way that I know how to use them in my favorite languges, are just a (potentially limited) implementation of said formalism.

I feel that objects offer a flexibility benefit though (which is why they often elude formal approaches) for the cost of purity.
This was also done in the 1970s with Uganda.
I'd imagine that systemd timers would work here, and I would imagine would be less work than having to have 200 jobs in some 3rd party service.

A few ideas off the top of my head: write a unit template and use the instance parameter to designate an offset; or write a single unit template with the `OnCalendar` property set to `*:00:00/3:00:00` and `RandomizedDelaySec` set to (10800) (3 hours in seconds).

Of course, the same basic effect is also possible with traditional cron. Certbot's Debian package has a pretty basic example of how to do basically what you want: have the job set to run every 3 hours, and then have the command be something akin to: `perl -e 'sleep int(rand(10800))' && <your command>` - it's the exact same high level logic as the systemd approach, but you're inserting the delay yourself using a `sleep` call.

I'd personally very much go for the systemd approach but either should work.
Not for poems, but for AI-generated cities (inspired by "Invisible Cities" by Italo Calvino), e.g.:

PROMPT:

Cities & Lights

When you enter the city of Singapore during the night, you see lights: colorful and ubiquitous. Lights on every building, on every fountain, and in every park.

GENERATED:

Lights shining in a city in which the majority of people are now using mobile phones. Singapore has a bright future as a technology hub, and it 's not too late to make it happen.

...

On the other occasions I seeded with ~two sentences of "Invisible cities", and it worked like a charm, no fine-tuning.
I'm sure this post is well intended, but it just pushes new founders into obvious, crowded categories like virtual conference and remote work SaaS. To find good ideas, founders need to go a lot deeper than asking themselves "what is different about the world today?"
Carbs are actually not bad, but if you do not have the proper micronutrients in place they’ll just mess your teeth and your health. Cue obesity, diabetes, dental issues, poor resistance to infection
UK’s fresh crackdown on Huawei falters as reality bites
Technically yes, but we'd like to also be used for storing content used by web apps - the CMS is designed for web sites. An analogy that might work well here is the difference between Redis vs. Postgres. Redis = optimised for key/value data at high volume, Postgres - optimised for relational data. That's how we see ourselves vs traditional CMSes.
> “GPLv2 or later” says you are allowed to use it under GPLv2 or GPLv3

I am afraid, that you are wrong. GPL does not govern usage of software at all. You don't need to agree to GPL in order to use GPL licensed software. This is literally said in text of GPL itself.

The preamble ("this program is free software...") is not part of GPL itself — it is just short informative text. And you are misremembering, what preamble says. Citing from GNU website:

> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

I believe, that we should erase all SPDX-whatever nonsense from Linux source code, and replace it back with proper preamble — least other users of GPL software start to misremember as well.
Shooting at looters instead of arresting them and taking them before a judge?

That's reminiscent of the very brutal police practices that sparked this chaos in the first place.
Sure it does but families from certain non native communities in the UK will go to extreme extents to break up such relationships.
I am surprised the volumes of the most streamed song is that low. My favorite YouTube channels get millions of views.
I think they just mean them=Twitter
It's not OK for the police to terrorize people. If they do so repeatedly, their authority can be revoked. I might remind you that people tried protesting this peacefully a couple of days with the conventional things like signs and chanting and got tear-gassed for their efforts.

This country, with its institutions, belongs to the people who inhabit it. Whenever they shall grow weary of the existing Government, they can exercise their constitutional right of amending it or their revolutionary right to dismember or overthrow it.
I think getting them out there has already helped the ecosystem, both in terms of using the types to make working in python better, and in terms of figuring out what the typing system should really look like. This is the next iteration, and I think it's going in the right direction, so I don't really want to criticize the devs for it.
Prism: A visual bookmarking application that does what Pinterest can’t
SaaS is awesome. I too want to build one.
> How to pay for stuff in the web

What is valuable on the web?

Thinking more about this, one of the only tangible currencies on the real web is hosting/processing capabilities: you can measure it from the web itself.

I think that's what Bitcoin tried to achieve, although it does so without providing real value to anyone. Instead, imagine the following: you provide a slice of your computer time to Google, some local storage to blackblaze, some bandwidth to Netflix.

All of these are commodities you pay for in the real world. They are valuable on the Internet. Lend some storage and bandwidth to youtube, they could credit your account, and you could use that virtual currency to spend on youtube creators. Youtube would directly pay them with $$$ instead of paying you.

However, my answer only mentioned huge-scale companies, I am not sure it would make a lot of sense at a smaller scale, unfortunately. However, that basic idea of service exchange is something I've been thinking for a while as a path forward to a new kind of currency, which I should put into a prototype as soon as I have the time to do so :)
Does FreeBSD still not include support for ablatives of second-declension neuter nouns? You surely want "vīnō" there.
What's the appeal of moving to a country with worse problems than the one you're in?
> For example, professional video cameras that have physical buttons and dials for every function, versus consumer cameras that hide that 3 layers deep in a virtual menu.

> Is it to try to not overwhelm the casual / amateur user?

Pretty much yes, at least in photography. Most consumers are perfectly fine with the automated standard profile. Zoom, focus, click, done - and they rarely need any of the advanced functions like exposure adjust, manual aperture setting, or adjusting ISO sensitivity of the sensor, so it's fine to hide this in menus (or, more shamefully, not exposing it at all) for consumer equipment. The fact that most smartphones these days have good enough sensors and processing capabilities to fulfill that "click, done" snapshot scenario is coincidentally also what's driving the market downturn on actual cameras.

On the other hand, professionals or serious hobbyists do need fast and easy access to all the options their cameras offer, so it makes sense to put them on actual physical buttons.
I see a lot of statements like this (also here in the comments), but is there actual any evidence behind those? Any research results, which has been replicated?

If yes, it would be nice to see it together with such statements, to back them, because I have the feeling most of this is just anecdotical or ideas introduced by some kind of start-up gurus...
They switched them, quietly, but only for some products at some sizes. A subtle change in the model numbers is the only clue when you're ordering.

There was a lot of press coverage of this a few weeks ago when the story first broke, including here on HN. It looks like the lawsuit reported here is the first formal legal action in response.
The agreement was signed in 1984/5, when the U.K. was a member of the EU, and did so with the EU’s blessing and backing. The agreement was also registered at the U.N. in ‘85, in which the EU member nations hold membership, some with permanent veto power. It’s overly simplistic to consider them divorced because their name isn’t in the agreement title, and incorrect to say they did not have anything to do with it.

The EU continues to have vast regional interests in HK/China and surrounding territory, despite the U.K.’s secession. I’m not sure how that development changes things. Literally I’m not sure. Time will tell. But the EU probably shouldn’t look at this as a strictly “British” problem.
Speed vs quality is a big one. You could even call it speed vs accuracy and add a third factor like cost. This is largest the difference between the biggest companies like Android vs Windows vs Apple and even programming languages like PHP vs Python.

Most companies optimise for speed and a lower cost and wonder why their products are a pile of crap. Optimising for speed also means taking more ethical shortcuts and bad code in hope of rectifying them later and sacrificing everything for faster outcomes. Worse is better and let us just dump plastic everywhere while donating to social causes.

On the flip side in deciding for quality you take longer time to release, more standards to full-fill and being overall more responsible for the product which might take more time to market. A better quality also implies more cost for the end product and might actually create a complex product. A bag which is environmentally safe might have complex incantations needed to clean it for the next use.
Depends if one makes use of PMD or not.

Surely using nullable annotations is more typing than ! or ?, but that is about it, no need to change languages.
Because $10 is roughly 10,000 ad views (unless you have a specific high demand audience that people find hard to reach somewhere else then you get paid more per view).

A typical user will not view 10,000 ads on your app/site in their lifetime.
Unlifted Haskell Data Types
I don't think the workers had weekends either.

Weekends didn't exist until the Industrial Revolution, which was ~4300 years after the pyramids were finished.
The fonts on my site weight about 50 kb. I don't think it will make such a big difference.
Except it means you can't use the drives for RAID, as they'll fail the initial resilvering. Worse yet, their firmware appears to be buggy enough that they're not just slow, they start throwing errors once the PMR buffer zone is full.
There's nothing preventing Trump for saying 'I made a hasty remark in a moment of anger, and will maintain a more thoughtful and respectful tone in the future.' It's inarguable that Twitter has been very, very accommodating of him and tried the hands-off approach for a long time while explaining their reasons for doing so to their other users.
Gitcoin's hackathon, GitxChange, is LIVE Register now to check out the prizes
There's a donation button at the top of the page. Also, perhaps it's going to gauge volume and costs before developing a premium model. Looks like an early adopter model. Also, providing a service like this with the trade off being able to use and learn from the data for improving the product isn't uncommon (google forms, google mail...).

One thought I had that could avoid the harvesting data aspect would be to encrypt the data with a public key and then allowing the host to decrypt it locally with a private key. I think that's how products like Lastpass work.
Slice hijacks Google Maps listings with their own websites that mimic local pizzeria websites.

For example: Mario's Pizza in Dorchester, Massachusetts

The Google Maps listing [1] links to https://www.mariospizzeriadorchester.com/ , which is a site owned and operated by Slice.

The ACTUAL Mario's Pizza site is https://www.pizzabymario.com/ .

This "growth hack" was previously discussed on HN: https://news.ycombinator.com/item?id=16824992

[1] https://www.google.com/maps/place/Mario%E2%80%99s+Pizzeria,+...
Do you really want an SPA framework?
It's often troubling, but moderation has always been selective.
Oh yeah I remember that. Hasn't been an issue for me, thankfully.
As a small business owner in Europe I have the same perspective. Maybe it's even just a gut feel of "if I pay money it's a more serious business relationship and I can depend on some rules", e.g. SLAs and data handling.

The thing I immediately look for as well is GDPR information.

Besides all that:
it looks like a great solution! :-)
A chrome book with nx-windows could do the trick.

Alternatively yes - there's http://nexdock.com/ and similar products.
Grats on shipping! Highly recommend testing positioning this as a B2B product for monitoring companies that I could use as sales leads. For example it would be great to get alerted from all the diff job boards when different companies are trying to hire for what our product solves, similar to how Reilly is using your product.
To get most of the therapeutic effect you need to do that in a controlled environment, there is no reason for psychedelics to be legalised the way weed or alcohol is. The difference between a "neat it cured my ptsd" (/s) trip and a "oh shit I'm going to die this is the worse thing I experimented in my life" trip isn't that big (dose, settings, &c.)
And the similarity is how for literally decades that possibility was either belittled or quite bluntly suppressed when the changes couldn't be as directly observed and didn't as directly impact us, as they are doing by now.

That's what I take issue with, I'm not arguing that changes to the magnetic field are without a doubt the result of human activity, I'm merely taking issue with how quickly and nonchalantly such possibilities are hand-waved away with "human activity is just too insignificant".

When by now it turns out human activity has been significant enough to kick-off a process that can be very much described as "terraforming", or rather "venusforming" terra.
So if someone is robbing you, you should not be allowed to defend your property with violence unless you are threatened directly?

Interesting
Chrome can load FLAC.
Show HN: My thoughts on Jeff Bezos's new empire
The UK's general refugee/asylum policy is, to describe it generously, not designed to project an international image that it's easy to get in. In 2016, we accepted 28% of applicants.

Would you punch a policeman if told "if you punch that policeman, there's a 28% chance we'll stop you getting in trouble for it" ? I think that's not an offer that's going to convince many people.
There is a mention in Paddy Ashdown's autobiography describing when he was in the SBS in the 1960s and they were sent undercover posing as tourists to beaches in Hong Kong to evaluate their suitability as evacuation points should China invade.
Don't hate the player, hate the game
That's one of the reason why for remote to work properly everybody has to be remote.

Then it has a chance of working.
I kind of hate the profanity being part of the branding, or anywhere else that I’m going to use professionally. It’s pretty useless since it’s not actually describing the service (what exactly does “no bullshit” mean for forms?), and just detracts it and the team or developer who made it.
I know how browsers work, but thanks.

The tool you linked does not solve the same problem, as the problems isn’t file types but URIs. Google is able to provide the tiniest possibly font files by hinting them for the specific browser/platform requesting them. We never consistently or predictably know the resultant URI of a Google Fonts-hosted font file. Here is a Tweet to the same effect from two days ago. Believe me, I’ve researched this :(

https://twitter.com/csswizardry/status/1265716520346320903
If I take a GPLv2-or-later work, change the license notice to say GPLv2-only (or GPLv3-only, or GPLv3-or-later), and distribute it with that modified notice, have I violated the copyright licenses or copyright law? IANAL but I believe the answer is "No".

Now, if all I've done is change the license notice, my change is legally ineffective – anyone who receives it from me can change it back to the original GPLv2-or-later, and I have no legal recourse against them. However, if at the same time as changing the license, I also make (non-trivial) modifications to the code, then recipients cannot legally change the license back to the original GPLv2-or-later without either reverting my code changes or seeking my permission. (This is because I own copyright in my code changes as a derived work.)
No, not like this. This is like Google or Apple prioritizing their own pages and items in their searches.
I appreciate someone posting what was actually said because I have limited data.
Which is strange, honestly. RAID rebuild is a streaming write from one end of the disk to the other; something which should be the ideal case for SMR, if the firmware catches on.
Worth noting that there are now cases in the Supreme Court about "faithless" electors that didn't cast their vote for the state mandated winner.

https://www.scotusblog.com/2020/05/argument-analysis-in-a-cl...
Are these disk stable? That's the only thing I care about. Not interested in performance, as HDDs are used as archives.
To be clear, you're talking about the original POWER ISA. The PowerPC ISA has subsequently been renamed the Power ISA (not to be confused with the POWER ISA). Confusingly, IBM's POWER CPUs (POWER3, POWER4, POWER5, POWER6, POWER7, POWER8, POWER9) since POWER3 implement the Power ISA (then known as the PowerPC ISA), not the POWER ISA. POWER2 was the last CPU to implement the POWER ISA.

https://en.wikipedia.org/wiki/IBM_POWER_instruction_set_arch...

https://en.wikipedia.org/wiki/Power_ISA
> It's why people turn to wolfssl and mbedtls, right?

I tried to use a single algorithm from OpenSSL for an embedded project and seems like it needs hacking for all the dependencies to be met. I gave up. With mbedTLS it was done within a minute (simpler to build and read IMO).

There aren't many differences between mbedTLS and WolfSSL. Both are small libraries designed for embedded use. The latter supports TLS 1.3.

Today OpenSSL probably has the best support for hardware acceleration and secure elements.
Fluids flow faster in liquid-walled channels
Looks like a good MVP, but the .io domain is a non-starter because of the past registrar/mgmt. problems (ie. entire registrar and DNS being pwned.)

If anybody knows if .io mgmt. is professionally managed now, let me know.

https://www.theregister.co.uk/2017/07/10/io_hijacking_in_tra...
One reason that I use cat is that if by mistake I write ">" instead of "<", I'll lose my whole file. There's no risk with cat.
Second the opinions above, but I was also looking for some sort of explanation of why is it free (maybe some innovative idea allowed to reduce costs for long-term support or smth like that)
Books That Bill Gates Wants You to Read
I didn't disagree with that. The point is that when there are racist laws, the situation is strictly worse than when there are only racist cultural norms because the former does not exist without the latter.
I am still struggling to see how such a basic service is actually used? Is it just because it's (presumably?) a GUI to create the job(s), and a portion of people deploying services today are just not comfortable writing a cron entry, or a systemd timer unit?

In all the time I've seen this type of thing posted, I've seen one explanation that had the potential to make sense: an app that runs via "Functions As A Service" (if you call it 'server less', I will hit you, with the server it's running on).

But the explanation given was "oh we need this function (which is just a container running somewhere really) to "remain hot" so it responds quicker...

So it's not that they needed to run some job every $n minutes, that was a kludge work around. What they needed was either a FAAS platform that allows for minimal worker scaling (you know, like forking/threaded web servers have done for decades); or, and hold onto your hats here, I know it's a crazy idea: they needed a server that's always on.

I know that the author probably put a heap of effort into this tool, just as all the other "cron as a service" authors did - but I'm sorry, I just don't get it. At this rate, I will not be surprised when an un-ironic "printf as a service" is posted to "Show HN".
I agree 9 months is way too long but do you think you could build it in 2 weeks with no-code ?

I can see an experienced developer doing that in 2 weeks with little code, but no code ? If so, can you tell me what kind of products would you use ? I'm interested for some personal projects.
Families from certain native communities in the UK will do that, too. They just call it "nativism" instead of "racism."
You might as well live without GUI as those involve "gigantic" amount of IO as well.

Why are people being so sensitive with hardware resource? Like how Electron is killing your machine...
I think cubicles originally became "uncool" in contrast with offices, then tech bro management took the anti-cubicle fervor in a direction that favored them over the individual contributor, ultimately increasing the contrast between ICs and management.

I remember when Microsoft started recruiting heavily in SV (for Redmond positions) in the late 80s. They even had radio spots where the narrator touted that "you will have an office! With a door! That you can close! So you can THINK!"

My first programming job was in a newly remodeled info services center (in the core of an old 300,000 sqft building), where two developers shared large cubes with desks facing away from each other and plenty of built-in storage. Actually great for concentration. Later, I was in a single-large-cubicle-each environment or shared offices. I have yet to work a desk job in an open office plan, and I can only imagine how inherently distracting that it.