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`

flow is following

Ailrun (UTC-5/-4)

@ailrun@hackers.pub

소개 - Who Am I?

개발자/연구원
Haskell Language Server Admin
PL Theorist
Logician
중증 맥덕

근황 - Recent Interests

언어간 상호운용성(Interoperability) 연구 중
의존적 형이론(dependent type theory) 연구 중
효율적인 레이텍 조판(LaTeX Typesetting) 공부 중
Québec 에서 제일 맛있는 Stout 마시는 중

유루메 Yurume

@yurume@hackers.pub

이상한 거 만들던 아저씨가 이제 그냥 이상한 아저씨가 되었습니다. I used to make quirky things, I'm now as quirky as my creations.

Fedify: ActivityPub server framework

@fedify@hollo.social

Fedify is a TypeScript library for building federated server apps powered by ActivityPub and other standards, so-called fediverse. It aims to eliminate the complexity and redundant boilerplate code when building a federated server app, so that you can focus on your business logic and user experience.