Corbin@programming.dev

Corbin@programming.dev

Papers We Love

PapersWeLove@programming.dev

PostsComments

Corbin@programming.devEnglish · 4 days ago

µKanren: a minimal functional core for relational programming (2013)

webyrd.net

µKanren: a minimal functional core for relational programming (2013)

webyrd.net

Corbin@programming.devEnglish · 4 days ago

Papers We Love@programming.dev

PapersWeLove@programming.dev

Create a post

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: !PapersWeLove@programming.dev

Use this community to share or discuss academic computer science papers. Some examples of allowable subject matter: software engineering, theoretic computer science, IT security. That’s so broad as to be useless for most people in ordinary circumstances, but lemmy is so small at the time of writing this that it’s not likely to be a problem.

The community’s name has been lifted from the name of the conference but isn’t affiliated. Posts of videos from the conference you think worthy of attention are welcome.

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
0 local subscribers
52 subscribers
1 Post
0 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