Posted on
Hi! I joined on the hopes that this is not just another social media echo chamber. I'm liking the vibe here.
What's everyone up to on this platform? Tell me what you use it for in the comments :)
For further actions, you may consider blocking this person and/or reporting abuse
Use any Linode offering to create something unique or silly in the DEV x Linode Hackathon 2022 and win the Wacky Wildcard category.
→ Join the Hackathon <-
Mohammed Ahmed Hussien -
Keyvan M. Sadeghi -
Grace Huynh -
Christian Jacob -
Once suspended, rodol will not be able to comment or publish posts until their suspension is removed.
Once unsuspended, rodol will be able to comment and publish posts again.
Once unpublished, all posts by rodol will become hidden and only accessible to themselves.
If rodol is not suspended, they can still re-publish their posts from their dashboard.
Once unpublished, this post will become invisible to the public and only accessible to rodol.
They can still re-publish the post if they are not suspended.
Thanks for keeping DEV Community 👩💻👨💻 safe. Here is what you can do to flag rodol:
Unflagging rodol will restore default visibility to their posts.
Top comments (6)
Hey rodolphito, how's it going? I write about a lot of different things, but I've been getting into programming language theory lately. I want to eventually create my own programming languages from scratch (from C, maybe, not CPU opcodes)!
Awesome! I'm doing fine, don't have much time to get on here but I'll show up every night :) About languages, have you looked at ATS? Highly recommend, has theorem proving, recursion termination, dependent types and linear types! I'm currently learning it, will probably write about it here on dev as I go along :D
I haven't! It looks interesting, though, thanks for bringing it to my attention!
I'm a game developer, technical artist, and author, hoping to meet cool people here.
Same for me, except I'm no author, but I'm new here as well, it looks like it's mostly web devs in here, well aren't they the majority anyway?
Go Gamedevs! I only became an author very recently. I'm not a fan of webdev, but its a very useful skill and I've been doing quite a lot of it lately. Mostly asp.net core, for the website where my game's community is at.