skysight-inc/HackerNews huggingface dataset:
> If you pass an earlier test while missing some fundamental concept, then you'll simply spend the time learning it when you do need it.

Only if one knows what they don't know. And fundamental concepts have a habit of hiding in plain sight. It's easy to waste lots of resources because one doesn't know about a fundamental concept.
There are probably two sampling errors here: users with accessibility requirements (such as screen readers) might not represented in the survey, and "graphical email clients" run a wide range of functionality (including very, very broken HTML and CSS rendering).

Even if 2/3rds of users run a graphical email client, that's still 1 out of every 3 who don't. That's a lot!

I agree about `mailto:` and multiple accounts having poor UX, however. It'd be nice if there was some way to specify the "intended" outgoing email identity via `mailto:`, but I don't know if that's possible.
Yep, someone from aws clarified this on r/programming:

https://old.reddit.com/r/programming/comments/wtd61q/aws_swi...
I like clicking on Paris. Looks good and runs well on my iPhone.
This is what algorithms like PageRank were originally designed to do. Once upon a time the popular brownie recipes are the ones that everyone linked to, or the ones on the cooking sites that everyone linked to.

To be clear, I don't really care if the person wants to put their life story on their recipe site. I am annoyed that they are forced to do so in a really mechanical and disingenuous way just to make a Google algorithm happy - and as a result I lean heavily on the recipe sites that have alternate marketing channels/revenue streams (i.e. Serious Eats, ChefSteps, etc)
Want to Reverse Inequality? Change Intellectual Property Rules
So having built a few services that offer a signup, it's typically simple to make the service _send_ emails and receive the token through the browser for validation. It's all synchronous with actions that the user initiates. To build something like this you'd need an email inbox, which services typically don't have.
May you explicitly and clearly point out the integrals you are referring to ?

Anyway, by quoting Lubos Motl's blog post of 2018/19, i'm lead to guess you are talking about the integrals on the extreme right-hand side of (13) and (14). Indeed, the author clearly and rigorously showed that those integrals are
absolutely convergent and
real-analytic for sigma >
Theta, such that f(sigma) and
g(sigma) both have real-
analytic continuations there.

In the 2018 version that was reviewed by Lubos, the author had an equation of the form

A(s) = B(s)

for Re(s)>1, where A(s) is some improper integral and B(s) is some function that is analytic in some (larger) half-plane. From this, one can only deduce that A(s) has an analytic continuation to the larger plane, but one cannot deduce (as the author did in that 2018 version) that A(s) converges there.

For example,
let A(s) be the integral of x^{-s} w.r.t. x on [1, infty). Then B(s) = (s-1)^{-1} for Re(s) > 1. Notice that B(s) hence A(s) has a meromorphic continuation to the entire complex plane with a (simple) pole only at s=1. However, one cannot deduce from this that A(s) converges for some s with Re(s) < 1. The mistake in the author's previous version is analogous to saying that A(s) converges for Re(s) < 1. However, to his credit, he seems to have been working hard to eliminate these kinds of mistakes.

I guess that's what he means on his arXiv page when he said, "though all of my previous proposed (dis)proofs were flawed, i think the flaws pointed me towards the right direction".

Credit where it's due.
In practice there are various things that people tend to value about being able to live in less dense neighborhoods, so it's not surprising that they'd be willing to sacrifice travel time to achieve this.
I have thought of an alternative to a C FFI by using a schema based binary serialisation format but protobuffers is useless because of the serialisation and copying overhead. Something like capnproto or flatbuffers would be much better.

The goal would be to use Capnproto RPC but rip the asynchronous part out by dynamically linking the library and rather than using a thread pool you just execute some sort of "message_receive" function with the serialised data in the library. Alternatively, regular capnproto RPC is used over TCP but in this case it wouldn't matter if the library is in the same process or a standalone executable on a different computer with which you can communicate over the network.
Utf32 has the BOM which adds complexity and at least a top level branch. Maybe it's not so bad in practice, just duplicated generated code.

But as an internal representation, some of it can be ignored by choice.
OP here. I think you're right that SPF is all that's strictly required; DKIM is technically just "nice to have," since all we need is envelope authenticity + the shared secret.

You're also right about SPF (and DKIM) fails, which is why this really isn't all that practical -- it's too easy to misconfigure both and both "fail open," meaning that any service that actually does email verification this way would either need to accept the risk of spoofing from non-major email providers or perform strict SPF/DKIM enforcement (e.g. rejecting email from domains with open IP ranges, even if the domain says it's okay). And that's very hard to do in the general case.
For grossly-invalid values of "Got it."
There are cultural reasons for the lack of emphasis on bikes in Australia (namely the huge proportion of wankers amongst the cyclist community making it politically unpopular to create infrastructure for us).
If you say music discovery then I expect to discover things I don't know. Currently this is only offering new releases by artists in playlists.

I understand that via the API you can't get access to their whole graph and recommendation engine.

Currently when I like something I go to "artist radio" or "song radio" to find new things.

For a better discovery tool you need to use data from outside of Spotify
This only applies to legacy JPEG (1992), not for JPEG XL (2022).
Modern burglars bring ‘Ocean’s Eleven’ tactics to your neighborhood (2018)
When opening for the first time, Gmail asks to be registered as the mailto handler, but I guess people just hit "no" not knowing what's that about.

And there's probably a lot of web-based clients that didn't care to implement this, so yeah, if you want to use mailto links, you better have a big and patient customer support team at hand
My phone doesn't ring, for that reason.

(Implicit in that I suppose: no, not a parent. Appreciate that can't work for everyone in all stages of life.)
> This is not well reasoned. Sending emails can be easily spoofed, because sending doesn't fully check the identity of the sender as being in control of the email account. There is discussion of various technologies like SPF or DKIM, but those are not universally applied. When they are applied, there isn't universal quality in their application.

I bring up both of these at the end of the post, under "potential limitations." I'm very aware that SPF/DKIM don't do identity authentication, and that they're not universally applied!

This post is best read as a random thought, not an exhortation or formal argument. It says as much in the first sentence.
Imagine paying someone to take your exam not because it is too hard, but because it is too easy.
Completely off-topic...
You might want to have a look at the detexify source. https://github.com/kirel/detexify-hs-backend
It's worse than that, they're aren't solving anything at all. They're taking part in a lottery, in which participants have to guess a number, and the winner gets to update the ledger. Nobody is solving complex mathematical problems.
All the reasons: https://scotrail.datasette.io/scotrail?sql=select+*+from+ann...

Playing many of them simultaneously is soothing.
Oh they do. They most certainly do.
Lol: "to pump water up a hill you need a hill, which is more than some countries have"
No but it does make you an asshole, and you drove an open source maintainer to quit.

Software is like 10% code, and 90% soft skills. You need to work on that.
https://github.com/printfn/fend

Similar tool for people who prefer to use the terminal.

Emacs' calc is also pretty much the same thing.
I wish your comment was sarcastic.
> - not everybody has SPF or DKIM, and definitely not everybody has DKIM.

A correctly configured mailserver should reject your email (or mark it as spam) if you don't use both DKIM and SPF.
It's safe to assume 99.999% of users use both.
It's a Twitter hot-take that shouldn't be rewarded. We can expect HNers to be better.
About the much lamented monopoly power of a few publishers the author should consider that book sales are power law distributed as are movie sales. There is little to no point to self publishing he will still probably be in the tail end of the distribution
Yes, Dall-e 2 is definitely much better at it than other current AI services. But, most people still don't have access to it. Like me for example. I've been in the waitlist from the start, got a cool portfolio - still didn't get in.
Maybe I'm just unlucky, or maybe the problem is that I'm in Ukraine. For some reason OpenAi GPT-3 Playground is restricted in our country, so I expect that other OpenAi products might be closed to me for the same reason.

I've seen many examples of Dalle-2 logos similar to yours. It seems like it got at least to a step "good enough to be usable, but with quality on the cheaper side". Which is super impressive and already puts a lot of designers out of work. I sell cheap stock logos on the side, I would feel that loss of income.
But right at this moment there's definitely still a quality ceiling for it and the AI didn't put me out of the job completely. If you want a good and expensive-looking logo, you still need a professional human.

I won't be surprised when that changes too and the AI's get to my level. They are already so much closer than I could ever imagine. But at this moment they aren't there.
The maps I care about are Google Maps and Apple Maps and the maps used in school classrooms. If I were to zoom out all the way to world map view in Google/Apple Maps, clearly the intent isn't to do navigation but to get relative geographical position/size understanding of various land and water masses. For this, in this era, I would expect them to provide a different projections that are better suited for these purposes.
If you just need the text, such as for a research project, the original unofficial Texinfo version of SICP might be easier than going from the HTML version: https://www.neilvandyke.org/sicp-texi/

Lytha Ayth's Texinfo conversion of SICP (plus new ASCII art, to be usable on low-powered computers that couldn't handle the HTML well) was done in 2001 or earlier.

I suspect Ayth's version was consistent with the original intent of the authors and MIT Press in releasing the HTML version -- which seemed to be "we're making this rough Web hypertext free, or you can buy the paper book". (One of the SICP authors told me Ayth's Texinfo version was "probably a good thing".)

BTW, since then, I've noticed some people have made and hosted versions that started with Ayth's Texinfo, including redrawing figures as non-ASCII, and providing polished "camera ready" PDF. I don't know what the SICP authors or publisher think about those. The SICP authors are gems, and SICP was an early textbook to be released free for the Web, with hypertext and wide accessibility, helping set precedent for others. I'd be very sad if anyone eventually regrets that (e.g., maybe the publisher trying to maximize revenue so they can fund more great books).
I don't care about the creativity of an artist, if to access your content I have to connect to the internet and browse through an unfit proprietary platform and read your long form content through a bright computer screen for hours you'll have none of my clicks. I hope he publishes the thing in PDF or EPUB when he's done, otherwise it's just like reading a novel with a magnifying glass and by glueing together the newspaper extracts.
More Danico
The author, is a writer.

They comprehend that the first few words that you present, will set the tone and understanding for what follows. That any nuance created, flows onwards from the context that you have first presented.

Some random writing on Twitter, or in their own little blog, should be afforded more sympathy than just their first sentence, because they probably don't have a clue what they're doing. That is not the same context as someone who intends to present a literary work, that can hold itself, on its own value.

Much like how we would hold a CEO more responsible for his words, than a warehouse employee. Both may be representing the company, within their context, but one comes with a set of expectations and responsibilities that the other would never encompass.
I think you have this completely wrong. Bitcoin avoids hard forks by all means, they implement soft forks.

Ethereum uses hard forks often an liberally. This new change is a hard fork. In a hard fork those that want to stick with the old rules of the game are not coerced to follow the new ones, they can just follow their way.

In fact, there has been talk of creating an ETHPoW which would continue the PoW chain. We will see how that pans out but is likely to be a mayor flop because support for it is negligible.
You mentioned only the rewrite of history, but there is at least one other attack on a network - a coordinated refusal of blocks with transaction(s) attacker deem ungood. This way, some person(s) will be denied the right to transact.

A direct way to do that is to vote NO for such blocks. Does PoS protocol of yours require the NO vote to have reasons for that decision? It can be analyzed and having wrong NO reasons may be a reason to punish validator.

An indirect way to do that attack is to timeout on unwanted blocks. E.g., if a malicious validator sees a block it does not want, it will stop sending any messages at all until it sees next block or has an opportunity to be a proposer. How PoS protocol of yours handle such attack?
I'm surprised that substack shows up so often on HN. It doesn't support syntax highlighting, tables, Latex, and has no widgets for data or interactive visualizations. Perfect for lots of audiences who want long-form writing, but HN?
Luckily by adding a checksum of pre-compression data it's very easy to catch bugs before they do widespread silent damage.
DALL E works really well if you are specific enough. When you don't get the intended result, it helps to identify the element which wasn't generated properly and then improve your description of the same.

"Two men, one of whom is on fire, shaking hands on an industrial lot." can be rewritten as, "Two men, shaking hands, standing on an industrial lot. Person on the right is on fire. Camera is 30 metres away."

You can go into more specifics of the framing and the angle from which you want the picture to be take. By default, DALL E will give you the most realistic generations to your prompts unless you mention "digital art" or a particular art style. I have gotten the best results when generating art instead of photos.
> There are however regions in India that have given up the use of last names are adopted new last names as a counter to casteism.

That's not true afaik. It's usually to cover up cousin marriages.
Your tone doesn't make you wrong, but it doesn't make you an ambassador either. You could have chosen much less combative words, which would have avoided pushing him into a defensive posture, and avoided most of the discussion. It's pretty obvious looking at the exchange that he was confused about what you were talking about, why it was a problem, and why it should be fixed.

A diatribe about the Japanese language and culture reflects poorly upon you. Every culture has their way of writing and expression and norms, and we give leeway to people speaking a foreign language for that reason.

Like it or not, we're all human, and one of the greatest skills one can learn is the skill of de-escalation.
Sounds like a lot of people would accidentally create new accounts.
Then you’re gonna loooove these computer-generated “jokes”…

http://joking.abdn.ac.uk/jokebook.shtml
I was surprised ScotRail only has 400 odd excuses for cancelling trains, I assumed based on usual service they'd have at least triple that!
> Hoxton Crips

LOL.

Not forgetting the Chelsea Gym Rats, the West End Wide Boys, the Hackney Pirates, the East End Geezahs, the Brixton Yardies, the Camden Punks, the Camberwell Carrots, etc
Notion.so or similar app, keep lots of info there and you can review that and make minor edits.

Video course providers normally have apps.

Make all the phone calls you need to make for whatever reasons. Use a todo list to remind you.

Not tried but tempted to do a VSCode remote/server thing and use a bluetooth keyboard to code “on” the phone!
The don't control monetary policy
Sadly, the fact that it assumes interchanges to be 20 minutes makes it, at least in some cases, far from reality.

At least for the local line of train I most often take (in France), the average time between trains is half an hour, but around 9AM, there is a gap of two hours (on work days) between two trains.
In general, you don't verify am email address to prove that the user owns it, but to verify they can receive mail on it, for password recovery purposes and account information. Reversing the process verifies the user can send from the address, which is orthogonal to the goal
I made mine very silent, so it only bothers me for things that need my immediate attention. I no longer get email on my phone.

I use my smartphone to identify bugs and plants when I walk in nature. I use it to answer random questions I have about my surroundings. It's also a really good map, a camera, and a handful of other tools.

Before I got an iPad, I used my phone to read books and saved articles. I figured it's better than mindless browsing. Eventually I used an ad blocker to restrict access to certain websites. That made it a tool, instead of a source of entertainment.
Mathematics is the most creative work there is, so if you can automate the tedious work, it helps, but no miracles. Theorem proving requires unnecessarily formal reasoning chain that is usually more work than worth.

The way most mathematicians work is: First they figure out what the lemma or theorem they want is. Then they try to prove it.

I think theorem proofing will be beneficial for programmers and inside a compiler. Messy program with assertions -> proof -> verified program.
Your response neatly encompasses everything I disklike about academia. It's easier for the institution to bucket everyone into a group and disregard the individual, so that's what inevitably happens.
So the most interesting thing to study about literary texts and pieces of art is... their ideological alignment? That makes no sense IMHO. Never mind that ideological alignment is often deliberately obscured for Straussian reasons (and even Leo Strauss was researching this as a politologist, not as a literary scholar!) so any such inquiry is quite liable to reaching very misleading conclusions anyway.
> So what does dx mean in this setting then?

It means a small change in x. It means the same thing in dy/dx.

So you know who GCR was, but this is the first time you're hearing of this...

> Wait...

So your comment's sarcastic. You're a rude anonymous maths fan.
Well, yeah. But it is better. I'll trade not having HL3 for not having "spend P2W gems to boost production" type games.

But sure, Valve has loot crates in TF2, so they're not saints, it's very likely true that it's just because they're printing money that they're not shovelling crap (of their own). But other companies shovel crap despite printing money.
I see two problems with the proposal

1. Part of the reason for doing e-mail verification the old way is to ensure the user can really receive messages at the particular address, for purposes such as password reset or e-mail notifications in the future. The proposed novel verification flow only verifies that the user can *send* e-mails, not receive.
2. My phone is configured with multiple mail accounts. I don’t remember whether you can reliably hint at the mail client to use a particular mail account via a mailto link.
> Not only that, but if you asked ruby to represent the epoch in Berlin with “%s %z“, it did it correctly:

> DateTime.parse('1970-01-01T01:00:00 +0100').strftime('%s %z')
=> "0 +0100"

Does that mean that "0 +0000" is the same as "0 +0100", "0 +0200", "0 +0300" etc.?
Digikam is good. I haven't found anything great yet, but my 40,000 photos are well enough organized using Digikam's features.

What I like is that its database is easily hackable through scripts (I use Python). So one can fit one's - peculiar by nature - needs.

The face recognition feature is way back when compared to Windows Photos though. Of course MS has a whole team working on this, difficult to compete.
You could consider setting up a separate email account just for the verification messages and have that on your phone.
That's a separate issue as I see it. It isn't helped by doctors with expenses targets to meet "giving you information" on how they can help you end your life.
> Removing crops as a part of animal feed would mean something like reducing our meat consumption by 90%.

You correctly reference that raising vegetable protein is about 10x more efficient than raising animal protein.

Assuming

* it is ~ 20x more efficient to raise single cell protein than it is to raise vegetable protein

* it is too impractical or inefficient to feed single-cell protein to plants

Then it would follow that it would be 2x more efficient to raise single-cell-protein-fed animal protein than it is to raise vegetable protein. This can happen in closed facilities to capture any methane gas.

We observe it is very hard to convince people to switch from carnivore habits to vegetarian habits. Presumably it will be similarily difficult to convince carnivore population to voluntarily switch to eating single cell protein.

It will obviously still be 10x more efficient to eat the single cell protein directly than to eat single-cell-protein fed animal protein, which would in turn be about 2x as efficient as eating vegetable protein.

I don't think meat eating humans care much if the animal ate plant protein or single cell protein. It's not like meat products specify what the livestock ate throughout its short life.

Even if you have (perfectly valid!) ethical questions about raising creatures as fast as possible only to kill them and harvest their meat; faced with a fellow vegetarian human who cannot be convinced to eat single cell protein, would you convince them to eat SCP-fed animal protein? (better for the environment); or would you convince them to eat vegetable protein? (better for compassion with the livestock creatures)

Assume for a minute you were vegetarian up to this day yourself: you welcome the lower footprint of single-cell proteins, and don't mind eating it most of the time, ... but sometimes you want to treat yourself, just a small treat, would you have the discipline to eat SCP-fed animal protein, or would you insist on eating less efficiently produced vegetable protein?

Le morale: if one is abhorred by the concept of raising creatures for the sole purpouse of eating them, one should stick to the point and not defer to efficiency arguments. Every cover reason backfires... eventually.