(φ (μ (λ)))
Other embeddings include:
- Computing
- Cognitive Science
- Linguistics
- Statistics
@DivyaRanjan1905
Community chat: https://t.me/hamster_kombat_chat_2
Twitter: x.com/hamster_kombat
YouTube: https://www.youtube.com/@HamsterKombat_Official
Bot: https://t.me/hamster_kombat_bot
Game: https://t.me/hamster_kombat_bot/
Last updated 4 months ago
Your easy, fun crypto trading app for buying and trading any crypto on the market.
📱 App: @Blum
🆘 Help: @BlumSupport
ℹ️ Chat: @BlumCrypto_Chat
Last updated 3 months, 3 weeks ago
Turn your endless taps into a financial tool.
Join @tapswap_bot
Collaboration - @taping_Guru
Last updated 6 days, 1 hour ago
A slack clone in 5 lines of bash
Contra Gödel:
https://en.wikipedia.org/wiki/Gentzen%27s_consistency_proof
Poiret, et. al, All Your Base Are Belong to Uˢ: Sort Polymorphism for Proof Assistants (POPL 2025)
Andrei Kelarev, Graph Algebras and Automata (2003)
Paul Hudak, Donya Quick, The Haskell School of Music: From Signals to Symphonies (2018)
Professional Composition in Lisp: https://opusmodus.com/
Professional Composition in Lisp:
Community chat: https://t.me/hamster_kombat_chat_2
Twitter: x.com/hamster_kombat
YouTube: https://www.youtube.com/@HamsterKombat_Official
Bot: https://t.me/hamster_kombat_bot
Game: https://t.me/hamster_kombat_bot/
Last updated 4 months ago
Your easy, fun crypto trading app for buying and trading any crypto on the market.
📱 App: @Blum
🆘 Help: @BlumSupport
ℹ️ Chat: @BlumCrypto_Chat
Last updated 3 months, 3 weeks ago
Turn your endless taps into a financial tool.
Join @tapswap_bot
Collaboration - @taping_Guru
Last updated 6 days, 1 hour ago