Programming

programming@programming.dev

PostsComments

starshipwinepineapple@programming.devEnglish · 2 years ago

Programming.dev instance: Sponsors needed

legal.programming.dev

36

Programming.dev instance: Sponsors needed

legal.programming.dev

starshipwinepineapple@programming.devEnglish · 2 years ago

FukOui@lemmy.zip · 1 day ago

How to rediscover your passion for learning?

57

How to rediscover your passion for learning?

FukOui@lemmy.zip · 1 day ago

Aks@pawb.social · 1 day ago

Personal programming thoughts

9

44

Personal programming thoughts

Aks@pawb.social · 1 day ago

9

threelonmusketeers@sh.itjust.worksEnglish · 3 days ago

Tool for bash script to send push notification to my phone?

6

22

Tool for bash script to send push notification to my phone?

threelonmusketeers@sh.itjust.worksEnglish · 3 days ago

6

sanitation@lemmy.today · 3 days ago

Google Search's foundational PageRank patent has expired. What will be the impact of this

deepsystemstuff.com

4

22

Google Search's foundational PageRank patent has expired. What will be the impact of this

deepsystemstuff.com

sanitation@lemmy.today · 3 days ago

4

HaraldvonBlauzahn@feddit.orgEnglish · 2 days ago

For the first time, a C++ standard failed to pass the national bodies

herecomesthemoon.net

73

For the first time, a C++ standard failed to pass the national bodies

herecomesthemoon.net

HaraldvonBlauzahn@feddit.orgEnglish · 2 days ago

Endmaker@ani.socialEnglish · 2 days ago

Does this community have its own version of the StackOverflow Developer Survey?

4

34

Does this community have its own version of the StackOverflow Developer Survey?

Endmaker@ani.socialEnglish · 2 days ago

4

sanitation@lemmy.today · 2 days ago

Announcing Rust 1.100.0

blog.rust-lang.org

1

19

Announcing Rust 1.100.0

blog.rust-lang.org

sanitation@lemmy.today · 2 days ago

1

sanitation@lemmy.today · 3 days ago

eMudhra's official incident report on how they ended up with private key 4

bugzilla.mozilla.org

5

17

eMudhra's official incident report on how they ended up with private key 4

bugzilla.mozilla.org

sanitation@lemmy.today · 3 days ago

5

onlinepersona@programming.devEnglish · 2 days ago

Does an index of source forges exist?

6

13

Does an index of source forges exist?

onlinepersona@programming.devEnglish · 2 days ago

6

HaraldvonBlauzahn@feddit.orgEnglish · 3 days ago

Tutorial for Verus, a language and checker for statically verifying correctness of Rust code sections

verus-lang.github.io

3

13

Tutorial for Verus, a language and checker for statically verifying correctness of Rust code sections

verus-lang.github.io

HaraldvonBlauzahn@feddit.orgEnglish · 3 days ago

3

sanitation@lemmy.today · 2 days ago

How Cloudflare uses QuePaxa—a leaderless, fault-detection-free consensus algorithm—for its global control plane

blog.cloudflare.com

1

7

How Cloudflare uses QuePaxa—a leaderless, fault-detection-free consensus algorithm—for its global control plane

blog.cloudflare.com

sanitation@lemmy.today · 2 days ago

1

Shin@piefed.socialEnglish · 2 days ago

The LLM doomerism and us

2

1

The LLM doomerism and us

Shin@piefed.socialEnglish · 2 days ago

2

FukOui@lemmy.zip · 5 days ago

How are you fighting back against skill atrophy caused by AI at work?

268

How are you fighting back against skill atrophy caused by AI at work?

FukOui@lemmy.zip · 5 days ago

floofloof@lemmy.caEnglish · 5 days ago

AI usage generates a fragile codebase

155

AI usage generates a fragile codebase

floofloof@lemmy.caEnglish · 5 days ago

codeinabox@programming.devEnglish · 5 days ago

AI Is Causing Signal Collapse Everywhere All at Once

thelastsoftwareengineer.substack.com

288

AI Is Causing Signal Collapse Everywhere All at Once

thelastsoftwareengineer.substack.com

codeinabox@programming.devEnglish · 5 days ago

cm0002@literature.cafe · 4 days ago

Lean proof of the entire US tax code to find loopholes

87

Lean proof of the entire US tax code to find loopholes

cm0002@literature.cafe · 4 days ago

taco_shale032@lemmy.ml · 3 days ago

The 0rwx Framework

3

16

The 0rwx Framework

taco_shale032@lemmy.ml · 3 days ago

3

sanitation@lemmy.today · 3 days ago

Announcing .NET 11

devblogs.microsoft.com

4

7

Announcing .NET 11

devblogs.microsoft.com

sanitation@lemmy.today · 3 days ago

4

Rochus Keller@programming.devEnglish · 4 days ago

Micron – the Oberon with the power of C

6

20

Micron – the Oberon with the power of C

Rochus Keller@programming.devEnglish · 4 days ago

6

Programming@programming.dev

programming@programming.dev

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: [email protected]

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person’s post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

Follow the programming.dev instance rules
Keep content related to programming in some way
If you’re posting long videos try to add in some form of tldr for those who don’t want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]

Visibility: Public

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

133 users / day
1.57K users / week
3.62K users / month
8.65K users / 6 months
1 local subscriber
29.3K subscribers
2.02K Posts
21.1K Comments
Modlog

programming.dev

A collection of programming communities

Welcome Programmers!

programming.dev is a collection of programming communities and other topics relevant to software engineers, hackers, roboticists, hardware and software enthusiasts, and more.

The site is primarily english with some communities in other languages. We are connected to many other sites using the activitypub protocol that you can view posts from in the “all” tab while the “local” tab shows posts on our site.

🔗 Site with links to all relevant programming.dev sites

🟩 Not a fan of the default UI? We have alternate frontends we host that you can view the same content from

ℹ️ We have a wiki site that communities can host documents on

⚖️ All users are expected to follow our Code of Conduct and the other various documents on our legal site

🏘️ Want to create a new community? Please follow our Community Guidelines

❤️ The site is run by a team of volunteers. If you’re interested in donating to help fund things such as server costs you can do so here

💬 We have a microblog site aimed towards programmers available at https://bytes.programming.dev/

🛠️ We have a forgejo instance for hosting git repositories relating to our site and the fediverse. If you have a project that relates and follows our Code of Conduct feel free to host it there and if you have ideas for things to improve our sites feel free to create issues in the relevant repositories. To go along with the instance we also have a site for sharing small code snippets that might be too small for their own repository.

🌲 We have a discord server and a matrix space for chatting with other members of the community. These are bridged to each other (so you can interact with people using matrix from discord and vice versa.

Fediseer