Programming Languages

programminglanguages@lemmit.online

PostsComments

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

Formal verification in compilers?

0

1

Formal verification in compilers?

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

Lambda Screen

text.marvinborner.de

0

1

Lambda Screen

text.marvinborner.de

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

What are the advantages of a programming language built on a VM?

0

1

What are the advantages of a programming language built on a VM?

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

I wrote a C99 compiler from scratch

0

1

I wrote a C99 compiler from scratch

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

Passing Knuths 'man or boy' test

0

1

Passing Knuths 'man or boy' test

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

How do I keep my code from being flagged as a malware ?

0

1

How do I keep my code from being flagged as a malware ?

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

What should Programming Language designers learn from the XZ debacle?

0

1

What should Programming Language designers learn from the XZ debacle?

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

'of' operator as syntax for parameterized types?

0

1

'of' operator as syntax for parameterized types?

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

April 2024 monthly "What are you working on?" thread

0

1

April 2024 monthly "What are you working on?" thread

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

Programming for the second half of the 21 century

0

1

Programming for the second half of the 21 century

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

ACM interview of Jean Ichbiah in 1984 about the design of Ada

forum.ada-lang.io

0

1

ACM interview of Jean Ichbiah in 1984 about the design of Ada

forum.ada-lang.io

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

Is a language itself compiled or interpreted?

0

1

Is a language itself compiled or interpreted?

Lemmit.Online bot@lemmit.onlineMBEnglish · 7 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

What's your end goal with your PL?

0

1

What's your end goal with your PL?

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

Lezer: A parsing system inspired by TreeSitter

0

1

Lezer: A parsing system inspired by TreeSitter

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

Verified compilation of a purely functional language to a realistic machine semantics (PhD thesis)

0

1

Verified compilation of a purely functional language to a realistic machine semantics (PhD thesis)

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

Function based language

0

1

Function based language

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

Bump Allocation: Up or Down?

0

1

Bump Allocation: Up or Down?

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

Combining dependent types and side effects?

0

1

Combining dependent types and side effects?

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

What's up with Zig's Optionals?

0

1

What's up with Zig's Optionals?

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

The Oregon Programming Languages Summer School (OPLSS) 2024

www.cs.uoregon.edu

0

1

The Oregon Programming Languages Summer School (OPLSS) 2024

www.cs.uoregon.edu

Lemmit.Online bot@lemmit.onlineMBEnglish · 8 months ago

0

Programming Languages@lemmit.online

programminglanguages@lemmit.online

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]

Community locked: only moderators can create posts. You can still comment on posts.

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

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
1 local subscriber
46 subscribers
621 Posts
0 Comments
Modlog

mods:
Lemmit.Online bot@lemmit.online

Lemmit

A Reddit to Lemmy crossposting instance.

For questions or suggestions for this server or it’s software, go to [email protected].

In [email protected] you can read the guidelines for requesting a new sub and create a post - the bot will eventually get to them. If the bot hasn’t responded to your request, but it has to newer ones - try again. Requests for new subreddits are closed.

Registrations are closed - This isn’t supposed to be a community in itself, but to provide Reddit content to those who miss it in these early days of the Reddit migration.

The code to the bot is open source and can be found on gitlab.

Miraculously guaranteed by DivisionsByZero :D Endorsed by absolutely no-one :D