Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

Clemens @clemens@mathstodon.xyz

2/4/2026, 2:27:23 PM

Public

What fresh hell is this? I am at the beginning of a line on overleaf and as soon as I press space it opens the AI window to help me writing 🤯 I am pressing space because I want to indent the stuff I am writing...

screenshot from overleaf that shows what is being described in the toot

If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/clemens/statuses/116012826217164301 on your instance and quote it. (Note that quoting is not supported in Mastodon.)

Matteo Capucci @mc@mathstodon.xyz

2/4/2026, 3:40:37 PM

Public

RE: https://mathstodon.xyz/@clemens/116012826217164301

These feature bewilder me so much... the concept of writing as mere autocompletion. Even if Shakespeare, Plato, and Noether were on the other side ready to write for me, how would they know what I want to write??