You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programming_languages@programming.dev

Hello!

This is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.

The content and rules are the same here as they are over there. Taken directly from the /r/ProgrammingLanguages overview:

This community is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.

This isn't the right place to ask questions such as "What language should I use for X", "what language should I learn", and "what's your favorite language". Such questions should be posted in /c/learn_programming or /c/programming.

This is the right place for posts like the following:

"Check out this new language I've been working on!"
"Here's a blog post on how I implemented static type checking into this compiler"
"I want to write a compiler, where do I start?"
"How does the Java compiler work? How does it handle forward declarations/imports/targeting multiple platforms/<other tricky feature>?"
"How should I test my compiler? How are other compilers and interpreters like gcc, Java, and python tested?"
"What are the pros/cons of <language feature>?"
"Compare and contrast <language feature> vs. <other feature>"
"Confused about the semantics of this language"
"Proceedings from PLDI / OOPSLA / ICFP / <other large programming conference>"

See /r/ProgrammingLanguages for specific examples

Related online communities

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
1 user / week
1 user / month
1 user / 6 months
4 local subscribers
887 subscribers
118 Posts
20 Comments
Modlog

mods:
armchair_progamer@programming.dev

programming.dev

A collection of programming communities

Welcome Programmers!

programming.dev is a collection of programming communities aimed at topics relevant to software engineers, hackers, hardware and software enthusiasts, script kiddies, cryptographers, researchers, roboticists, and more.

The site is primarily english with some communities in other languages. Feel free to click on one of the sections below to see some information on it.

Post Sorts

Posts in our site can be viewed using the local sort and posts from all connected sites (lemmy.world, beehaw.org, lemm.ee, etc.) can be viewed using the all sort.

The active sort will show posts that are getting comment activity while the hot sort will get posts that are getting more upvotes. New will show new posts and top will show the top posts for the time frame you select (last hour, last 6 hours, etc.)

Alternate Frontends

We have alternate frontends that can be used instead of the main site if you dont like how it looks

Photon
Alexandrite
Voyager (mobile first)
mlmym (old reddit-like)

We have a new frontend also in development which aims to replace the current main one

Finding Communities

To find communities in our instance you can check out our community list

For finding communities within the wider fediverse including all connected sites you can use one of these sites:

lemmyverse (easy way to search and browse all communities)
sub.rehab (shows alternative communities to some subreddits)
feddit (a way to search for communities)

Community Creation

Communities in our instance can be created using the create community button in the navbar. Communities will be checked by admins to see if they fit our instance and if not may be possibly deleted after creation.

The main style for icons in our instance are a black background with the icon on top of that in the center (with a gradient if possible). You can check the other icons to see how they look. Many of the icons are from https://game-icons.net/ . If you use an icon make sure to check the license of it and credit appropriately

For example for some of the game-icons.net icons, if its made by delapouite you can add to your community description

Icon base by [Delapouite](https://delapouite.com/) under [CC BY 3.0](https://creativecommons.org/licenses/by/3.0/) with modifications to add a gradient

or if its made by lorc you can add

Icon base by [Lorc](https://lorcblog.blogspot.com/) under [CC BY 3.0](https://creativecommons.org/licenses/by/3.0/) with modifications to add a gradient

etc. for the other people on that site (linking to wherever it links to)

Rules

User Rules

Dangerous content on the instance and federated instances including phishing, spamming, brigading, unmarked nsfw, nsfw content in sfw communities, doxing, etc. is not allowed and subject to be handled by the mods or admins
Hate speech is not allowed on the instance or in instances federated with it. This includes remarks directed at sex, gender, ethnicity, orientation, disabilities, etc...
Other content is up to the discretion of the mods of the community its posted in

Community Rules

If a community has no dedicated mods it will be managed by instance admins until a mod team is found
If a community mod team has gone inactive and no longer maintains a community new mods may be added

Federation Rules

Any federated communities that have shown they will not enforce our user rules while their content shows up on our feeds will have their community removed from our instance
Instances that continually encourage this type of behavior or are built to only do this type of behavior are subject to be defederated
If an instance is not being managed (due to owners being gone, etc.) it is subject to be defederated
Certain content may be hidden from our all feed including politics and bot spam. (Not currently implemented due to lemmy limitations but will be eventually). This means it won't show up in all but you can still view it and subscribe to the communities to have it show in your subscribed feed

Bot Rules

Bots interacting in our communities must follow our Programming.dev bot guidelines (see the bot guidelines section below)

Bot Guidelines

Mark Bots as Bots Bot accounts should be marked that they are a bot using the checkbox in the user settings. This includes any automation in an account (if you automate part of your personal account, put what the automation is in your bio so people know)
Put contact info The owner of the bot and some way to contact them must be in the bot's bio (unless its an automated personal account, in that case the account itself it the way to contact)
Use mentions as prefix If a bot has commands it should use its mention as a prefix. (This will allow different bots to use the same commands without interfering with each other)
Dont spam Bots should not spam posts or comments. (If a bot command has been used its fine to do a response but dont drown out non bot posts in the local new sort.) Certain cases are unavoidable such as if you want to get a bot posting weekly threads in different communities at the same time but in those cases please contact me first to get it approved
Allow mods to opt in Bots participating in a community should be opt in so communities can choose what bots they want. If you want a bot to be allowed in a community please contact the moderators of that community first. EXCEPTION: If a bot is deemed to be a well behaving bot that brings net good to the instance it can override this rule as long as it has been approved by an admin. This can include things such as a tldr bot, remindme bot, link fixer bot, piped link converter bot, etc. If a bot has overriden rule 5 with this exception community moderators should still be able to opt out of the bot

Donations

If you would like to help support the server you can donate on @snowe's GitHub Sponsors page. We will be setting up a different method to donate later, but for now, we've been getting asked a ton for how to donate.

Discord / Matrix / Mastodon

Other zones

We are on various other platforms for communication outside the site. For real time chat there is both discord and matrix and we have a mastodon account for microblogging where things such as instance downtimes are announced.

TOTP Bug

Currently there is a major bug with TOTP. Please see the discord #user-help page or the matrix for more information.

*removed externally hosted image* *removed externally hosted image*
*removed externally hosted image* *removed externally hosted image* *removed externally hosted image* *removed externally hosted image* *removed externally hosted image* *removed externally hosted image* *removed externally hosted image*

*removed externally hosted image* *removed externally hosted image* *removed externally hosted image*

$n^4 + 1/2$

console.log("hello world")