Off-Topic :: CGPA Forums

📌 REMINDER: Even off-topic, please keep it friendly and nerd-respectful. No flame wars about tabs vs spaces (we all know the answer is spaces). — mods

💬

Off-Topic

Anime, memes, cat photos, rainy-day reading lists, and everything else that doesn't fit in a type signature. All nerds welcome.

47 threads

1,204 posts

89 members

// thread index

Thread Title

Replies

Views

Last Post

📌

PINNED 🔥 HOT Cat pictures thread (mandatory)

Started by purrfect_proofs · 3 months ago · Do NOT skip this thread

312 replies

8.4k views

Re: my cat is helping me agda

λ-kitty

2h ago

📖

NEW Best PL papers to read on a rainy day

Started by monadic_neko · 2 days ago · Cozy PL reading recs, spill them

41 replies

920 views

Re: Wadler's "Theorems for free!" hits different

free_theorems

45m ago

⚔️

🔥 HOT Coq vs Lean vs Agda hot takes (no diplomacy allowed)

Started by dependently_typed_catgirl · 5 days ago · All opinions welcome, no feelings spared

187 replies

3.1k views

Re: Lean has the Mathlib advantage, fight me

mathlib_enjoyer

1h ago

🎌

NEW What anime are you watching? (season thread)

Started by omega_watcher · 1 week ago · No spoilers in title pls

73 replies

1.7k views

Re: just finished Frieren, sobbing in Haskell

frieren_type

3h ago

😹

🔥 HOT Programming language memes megathread

Started by semicolon_enjoyer · 2 weeks ago · Post your dankest PL content

256 replies

5.2k views

Re: "it's not a bug it's a feature" in Coq

no_proof_needed

30m ago

💻

Post your cozy coding setup (theme, font, ambient sound?)

Started by dracula_theme_gang · 3 weeks ago · I need to know what everyone uses

88 replies

2.0k views

Re: Dracula Pro + lo-fi hip hop = productivity unlocked

nyan_emacs

6h ago

🎵

What do you listen to while writing proofs?

Started by type_beats · 1 month ago · Playlist recommendations needed

54 replies

1.1k views

Re: black metal for dependent type proofs, fight me

brutal_homotopy

12h ago

📌

PINNED Introduce yourself! (new members start here 🐱)

Started by cgpa_admin · 6 months ago · Who are you? What's your main language?

102 replies

4.5k views

Re: hi I'm a Lean convert from Coq :3

newkitty_4

1d ago

🎟️

Anyone going to ICFP / POPL this year? Meetup thread

Started by conference_neko · 2 weeks ago · Would love to meet CGPA ppl IRL

29 replies

670 views

Re: ICFP is basically an anime convention for PLT people

icfp_chan

2d ago

⌨️

Mechanical keyboard megathread — switches, layouts, unicode input

Started by colemak_lambda · 1 month ago · How do you type ∀ ∃ λ Σ fast

67 replies

1.4k views

Re: my custom agda input mode keybinds

unicode_witch

8h ago

💀

Post the worst code you've ever been forced to read

Started by trauma_dump_9000 · 3 weeks ago · Therapy through sharing

143 replies

3.7k views

Re: 47 nested if-else in production python, no types

existential_dread

5h ago

Page: