CGPA
cat girl program analysis
Logged in as
nyan_typechecker
|
Profile
|
Logout
■ Board Index
|
Forum Rules
|
FAQ
|
Search
|
Members
|
Login
|
Register
Board Index
»
User Control Panel
»
Profile Settings
[=^ω^=]
User Control Panel — Profile Settings
✓
Profile loaded successfully. Pending changes:
0
. Last updated:
2026-03-25 04:20:11 UTC
> Profile & Settings
Private Messages
3
Subscriptions
Bookmarks
Drafts
Groups
/\_____/\ ( =^ω^= ) ) ( ( nya ) `~~~~~'
nyan_typechecker
★ Dependent Type Witch
[=^ω^=] [HASKELL]
Posts:
1,337
Joined:
2022-10-31
Reputation:
+418
Topics:
89
nya~ count:
4,096
▶ Settings
► Edit Profile
► Avatar Manager
► Signature Editor
► Flair Settings
► Board Preferences
► Privacy
▶ Quick Links
► View My Profile
► My Posts
► My Topics
► My Cats 🐾
■
Account Information
Username
Visible on all posts
Max 32 chars. Underscores, letters, digits.
[ username change costs 100 ★ reputation ]
Email Address
Never shown publicly
Changing email requires re-verification.
Display Title
Shows under username
Website / Repo
Optional
■
Change Password
Current Password
Required for changes
New Password
Leave blank to keep
—
Min 12 chars. Include uppercase, digits, symbols. nyawise passwords encouraged.
Confirm Password
■
Avatar (ASCII Art)
ASCII Avatar
Max 6 lines × 20 chars
/\_____/\ ( =^ω^= ) ) ( ( nya ) `~~~~~'
Pure ASCII / Unicode line art. Rendered in monospace.
► Browse Avatar Gallery
LIVE PREVIEW:
/\_____/\ ( =^ω^= ) ) ( ( nya ) `~~~~~'
■
Forum Signature
Signature
BibTeX & ASCII art supported
[bibtex]
[ascii]
[code]
[b]
[i]
[url]
[color]
-- nyan_typechecker | Dependent Type Witch [=^ω^=] [HASKELL] [GALOIS] [bibtex] @article{nyan2024, author = {Nyan, T. and Purr, H.}, title = {Dependent Cats: A Type-Theoretic Analysis of Neko Behaviour}, journal = {J. Functional Meowmatics}, year = {2024}, volume = {13}, pages = {1--37}, } [/bibtex] [ascii] /\_/\ "nya~ proofs are just programs" ( o.o ) > ^ < [/ascii]
BibTeX / Citation support:
Wrap entries in
[bibtex]...[/bibtex]
tags. Use
[ascii]...[/ascii]
for monospace art blocks.
See
Signature Formatting Guide
for full BBCode reference.
SIGNATURE PREVIEW:
■
Profile Flair Selection
Primary Flair
Main badge shown by username
[=^ω^=]
neko flair — the classic
[HASKELL]
purely functional devotee
[GALOIS]
galois connection enjoyer
[COQA]
coq assistant / proof asst.
[AGDA]
dependent type nerd
[λ]
lambda calculus purist
[LISP]
parens all the way down
[NEKO]
cat enthusiast (non-programmer)
[LURKER]
i am watching. quietly.
[KITTYLANG]
NEW
kittylang esolang contributor
Selected flair preview:
[=^ω^=]
Secondary Flairs
Up to 2 additional badges
2nd:
(none)
[HASKELL]
[GALOIS]
[COQA]
[AGDA]
[λ]
[LISP]
[KITTYLANG]
3rd:
(none)
[GALOIS]
[HASKELL]
[COQA]
[AGDA]
[λ]
[LISP]
[KITTYLANG]
Request new flairs in
» Meta & Flair Requests
■
nya~ Mode & Special Settings
nya~ Mode
Enable cat speech filter
[=^ω^=] nya~ Mode Configuration
When enabled, the CGPA nya~ engine applies a feline speech transform to your posts in supported forum sections. Words ending in
-n
may become
-nya
. Certain technical terms remain unaffected to protect proof integrity.
Note: does not affect BibTeX blocks or code sections.
Enable nya~ Mode globally
Appends
nya~
suffix to eligible post endings.
Apply to signature as well
Signature nya~ transform (experimental, may corrupt BibTeX).
nya~ intensity:
3 / 5
ASCII Art Mode
Post decoration
Auto-add ASCII borders to posts
Wraps posts in a Unicode box frame.
Append random ASCII cat to each post
Selects from your avatar gallery at random. Very important.
BibTeX Auto-Format
Citation formatting
Auto-format BibTeX entries in posts
Renders
[bibtex]
blocks as formatted citation cards.
Validate BibTeX syntax before posting
Warns if your citation is malformed. Galois approved.
■
Notification Preferences
Notify me when...
Email + on-site alerts
Someone replies to my post
Someone quotes me
New private message
Reputation change (+/-)
New flair available
nya~ mode parse errors
Moderator actions on posts
Weekly CGPA digest email
Email notifications sent to:
neko@cgpa.isarabbithole.com
Notification Method
Email + On-site (recommended)
On-site only
Email only
Silence (no notifications)
■
Privacy & Visibility
Online Status
Show my online status to other members
Uncheck to browse as ghost. Cats are stealthy.
Profile Visibility
Everyone (registered + guests)
Registered members only
Friends only
Hidden (not listed in Members)
Email Visibility
Hidden (recommended)
Registered members only
Public
✓ Save Profile Settings
↻ Reset Changes
▶ View Profile
⚠ Delete Account
All changes logged for moderation transparency.