This just polls every x (default 30) seconds; if you use IMAP you can do better with IDLE (e.g. I pipe `fetchmail --check` to something that triggers a sync to immediately get new mails)
There are pub/sub notifications but it's a bit of a pain to get working. You need an HTTP endpoint the server can reach for push notifications, I think, not long polling.
The GMail web client definitely doesn't create an HTTP endpoint to receive updates. But the API it uses is likely proprietary and private (even if it was built on top of the public API there would be a backend bridging the two)
Sorry, yes, my comment was confusing. I was answering the "how do I get faster notifications in a supported manner" part rather than the "how does the Gmail web UI do this" part.
I think this trend has been around for a while now (it started to become more noticable for me at least a couple of years ago).
At first there seemed to be a correlation between how 'cool' the project was and the number of emoji, but now it seems like it's as expected as just having a README itself.
I've definitely seen _more_ decorated READMEs, and I can't help but feel like there's an inverse correlation between emoji count and readability.
Not specifically about readmes/GitHub repos, but I've noticed some LLMs like Sonnet and GPT4.1 are really enthusiastic about doing emoji-prefixed lists for some reason.
Is there any good library or tool that let's me programmatically/easily or semi-automatically delete mail by query in gmail? The built in tools are not good enough. Does Thunderbird work with gmail nowadays?
This just polls every x (default 30) seconds; if you use IMAP you can do better with IDLE (e.g. I pipe `fetchmail --check` to something that triggers a sync to immediately get new mails)
I wonder though if also the Gmail interface supports something like this? It seems it's pretty fast at receiving email.
There are pub/sub notifications but it's a bit of a pain to get working. You need an HTTP endpoint the server can reach for push notifications, I think, not long polling.
The GMail web client definitely doesn't create an HTTP endpoint to receive updates. But the API it uses is likely proprietary and private (even if it was built on top of the public API there would be a backend bridging the two)
Sorry, yes, my comment was confusing. I was answering the "how do I get faster notifications in a supported manner" part rather than the "how does the Gmail web UI do this" part.
There is this generic tool: https://github.com/pimalaya/himalaya
Himalaya: CLI to Manage Emails - https://news.ycombinator.com/item?id=42366025 - December 2024 (97 comments)
Thanks for this! Exactly what I was looking for.
What tool makes these readme’s for new github repos that are bulletpointed lists with features, always prefixed by an emoji?
I think this trend has been around for a while now (it started to become more noticable for me at least a couple of years ago).
At first there seemed to be a correlation between how 'cool' the project was and the number of emoji, but now it seems like it's as expected as just having a README itself.
I've definitely seen _more_ decorated READMEs, and I can't help but feel like there's an inverse correlation between emoji count and readability.
Not specifically about readmes/GitHub repos, but I've noticed some LLMs like Sonnet and GPT4.1 are really enthusiastic about doing emoji-prefixed lists for some reason.
Trained on too many JS libraries.
When ever I see tons of emojis in a list/faq/readme I first think of LLM output.
I do as well when I see:
# Code Comments Every Few Lines
Basically any LLM
Tool is an insult when applied to a human...
AI, I presume (but I’m not sure) that the code “agent” they are using creates it.
[flagged]
Is there any good library or tool that let's me programmatically/easily or semi-automatically delete mail by query in gmail? The built in tools are not good enough. Does Thunderbird work with gmail nowadays?
I use imapfilter: https://github.com/lefcha/imapfilter
Easily done in Google Apps Script.
If I read it right, it's built on Gmail API
Are there any other provider agnostic tools with similar capabilities?
I guess JMAP was created to also deal with this. I'm not sure how far are we in implementation on clients side.
https://jmap.io/spec.html
I can't imagine google ever supporting something that useful.
Just have SES put the email in s3, then do stuff.
Oh yeah, I'd love to hold on to people's emails and be responsible if they got leaked.
TTL=1day
Is it just me, or is there a trend to make modern web applications accessible on the terminal?
“a resurgence with new tooling and polish”
One step closer to fully closing the loop on using LLMs to automate white collar work.