Hackers' Pub

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`

Suyeong RHIE @noxowl@hackers.pub

4/3/2025, 12:44:48 PM

Public

@bglbgl gwyng 잘 모릅니다... ㅋㅋㅋ 제 원래 필드 자체가 정형명세를 메인으로 하는 동네가 아니라서요. 순수 도파민 목적으로만 가끔 하는 정도입니다.

bgl gwyng @bgl@hackers.pub

4/3/2025, 12:49:32 PM

Public

@noxowlSuyeong RHIE 아하 그렇군요. https://discord.gg/KuzFFerB 그래도 혹시 심심하시면 오셔서 공부도 같이하시고 하면 좋을거 같습니다.

PnV-증명언어 및 정형검증 커뮤니티 Discord 서버에 가입하세요!

PnV는 증명보조기와 소프트웨어 검증 및 그 기반이론에 대한 이야기를 나누기 위한 한국어 디스코드입니다. | 멤버 80명

discord.com · Discord

If you have a fediverse account, you can quote this note from your own instance. Search https://hackers.pub/ap/notes/0195fbb3-14ea-7342-8f03-779ef7d6be89 on your instance and quote it. (Note that quoting is not supported in Mastodon.)