Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazards. typememetics.institutehttps://bsky.app/profile/typememetics.institute@typememetics.institute - The Institute for Type Safe Memetic Researchhttps://bsky.app/profile/typememetics.institute/post/3mjzjmqs34s24The best US president, Richard Nixos21 Apr 2026 17:39 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mjzjmqs34s24https://bsky.app/profile/typememetics.institute/post/3mhi7vo343c2dAyatollah Rob Pike yesterday issued a fatwa on programming with Rust. He stated that there is no place for complexity and typefuckery in software development. The public shouted, "Death to Rust! Death to LLVM!"20 Mar 2026 09:39 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mhi7vo343c2dhttps://bsky.app/profile/typememetics.institute/post/3mhi7skzegs2dScience can't be stopped, it should be accelerated. Some call our experiments gruesome. We call it the pursuit of ultimate truth. Goal: a paradigm shift so powerful it deconverts Golang devs in one swoop.20 Mar 2026 09:38 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mhi7skzegs2dhttps://bsky.app/profile/typememetics.institute/post/3mgzcas6icc2xUndefined behavior aids the enemy.14 Mar 2026 11:11 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mgzcas6icc2xhttps://bsky.app/profile/typememetics.institute/post/3mgyzgg553226I miss the old Kanye, straight from the @haskell.org Kanye Chop up the soul Kanye, set on his goals Kanye14 Mar 2026 08:33 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mgyzgg553226https://bsky.app/profile/typememetics.institute/post/3mgxc5usevn2wBe more like OCaml!13 Mar 2026 16:04 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mgxc5usevn2whttps://bsky.app/profile/typememetics.institute/post/3mgxbal55vv2wMANAGEMENT TO OPERATIVES The Blue sky social network is now an Institute-approved communication channel which can be used for field mission updates and related communications. Thank you for your cooperation.13 Mar 2026 15:48 +0000at://did:plc:cr6fjfa2jnuhhtm247tpkxab/app.bsky.feed.post/3mgxbal55vv2w