(φ (μ (λ)))
Other embeddings include:
- Computing
- Cognitive Science
- Linguistics
- Statistics
@DivyaRanjan1905
Community chat: https://t.me/hamster_kombat_chat_2
Website: https://hamster.network
Twitter: x.com/hamster_kombat
YouTube: https://www.youtube.com/@HamsterKombat_Official
Bot: https://t.me/hamster_kombat_bot
Last updated 1 month, 2 weeks ago
Your easy, fun crypto trading app for buying and trading any crypto on the market.
📱 App: @Blum
🤖 Trading Bot: @BlumCryptoTradingBot
🆘 Help: @BlumSupport
💬 Chat: @BlumCrypto_Chat
Last updated 7 months ago
Turn your endless taps into a financial tool.
Join @tapswap_bot
Collaboration - @taping_Guru
Last updated 2 months 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
Website: https://hamster.network
Twitter: x.com/hamster_kombat
YouTube: https://www.youtube.com/@HamsterKombat_Official
Bot: https://t.me/hamster_kombat_bot
Last updated 1 month, 2 weeks ago
Your easy, fun crypto trading app for buying and trading any crypto on the market.
📱 App: @Blum
🤖 Trading Bot: @BlumCryptoTradingBot
🆘 Help: @BlumSupport
💬 Chat: @BlumCrypto_Chat
Last updated 7 months ago
Turn your endless taps into a financial tool.
Join @tapswap_bot
Collaboration - @taping_Guru
Last updated 2 months ago