DEV Community

rodol
rodol

Posted on

Hello World! (first post, what's this?)

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 :)

Top comments (6)

Collapse
 
awwsmm profile image
Andrew (he/him)

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)!

Collapse
 
rodol profile image
rodol

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

Collapse
 
awwsmm profile image
Andrew (he/him)

I haven't! It looks interesting, though, thanks for bringing it to my attention!

Collapse
 
rodol profile image
rodol

I'm a game developer, technical artist, and author, hoping to meet cool people here.

Collapse
 
xcyborg profile image
Jonney Shih

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?

Collapse
 
rodol profile image
rodol

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.