Forwarded from Ragebot News
Since it became official that Kik is shutting down October 19, we at Ragebot are now focusing 100% on creating RageChat - the best Kik alternative.
You can also join our other settlements on these platforms for any news and updates:
Telegram: https://news.1rj.ru/str/RageChat
Discord: https://discord.gg/h96uGWF
MeWe: https://mewe.com/join/rage_bot
Reddit: https://www.reddit.com/r/RageChatOfficial/
About RageChat:
https://www.reddit.com/r/RageChatOfficial/comments/da4qof/a_warm_welcome_and_introduction_to_ragechat/
RageChat site: https://Rage.Chat
You can also join our other settlements on these platforms for any news and updates:
Telegram: https://news.1rj.ru/str/RageChat
Discord: https://discord.gg/h96uGWF
MeWe: https://mewe.com/join/rage_bot
Reddit: https://www.reddit.com/r/RageChatOfficial/
About RageChat:
https://www.reddit.com/r/RageChatOfficial/comments/da4qof/a_warm_welcome_and_introduction_to_ragechat/
RageChat site: https://Rage.Chat
Forwarded from Hacker News
Forwarded from Hacker News
Forwarded from GNU Meme (Archived)
When you enroll in University-level computer science courses expecting to learn some great theory. Formal methods, category theory, operational semantics, formal definitions, the history of how theorem provers led to ML-family languages and the creation of typed lambda calculus from prototypical LISPs. But instead you end up spending 3 class periods on iterating for-loops in Python.
Forwarded from GNU Meme (Archived)
Functional Programming, Free Software, Distributed Systems, Type Theory, Strict Type Systems, Separation Logic, LISP, Functional Package Management, File-system Hygiene, Determinacy, Low-level verification, End-to-end verification, The fact that Chipset speculation is not a necessity.
Forwarded from Hacker News