Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
veganism.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Veganism Social is a welcoming space on the internet for vegans to connect and engage with the broader decentralized social media community.

Administered by:

Server stats:

208
active users

veganism.social: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-alpha.4

#programminglanguages

3 posts3 participants0 posts today
Public *
Dataline

POLL: I am implementing a language and it is almost entirely context free right now in syntax except that it currently relies on the global name table to determine whether a name is a call or a value. This seems perfectly reasonable except that it does introduce just a little bit of context dependent dodginess, and I also do not want to enforce top to bottom declaration order. These are two common valid gripes about C. This can be solved by just being explicit like B ("extrn" keyword). If I increased the number of passes, I could resolve this by recording what's visible in the namespace in the first pass, and actually compiling in the second (or be draconian about declaration order like C for single pass), but I kind of hate this from an implementation simplicity standpoint, and to me marking which names are to refer to external stuff in each routine is not a huge burden and even a nice little way to document dependencies. This is a very low level language.
#Programming #ProgrammingLanguages

· 1 person · Closed
Public
रञ्जित (Ranjit Mathew)

Nice, but hard to follow properly if you don’t already know #Jai:

“Four Years Of Jai” [2024], Smári McCarthy (smarimccarthy.is/posts/2024-12).

Via Lobsters: lobste.rs/s/ipvyhu/four_years_

On HN: news.ycombinator.com/item?id=4

smarimccarthy.is · Four Years of JaiI’ve been programming for long enough to be righteously cantankerous about a lot of things. The list of languages, frameworks and libraries I’ve worked with professionally or on personal projects is too long to list – but it includes everything from C and assembly languages through C++, Pascal and Delphi, through Java and Clojure, through Perl, PHP, Python, Javascript, Typescript and so on. I’ve tinkered with Rust, APL, Uiua, Erlang and Haskell.
#Programming#PLDI#ProgrammingLanguages
Public *
Dr. Anna Latour

I really enjoyed @Felienne's narrative about narratives about Computer Science yesterday. She applied some of the ideas presented in the Glaciers, Gender and Science paper (journals.sagepub.com/doi/abs/1) to her experiences in the Computer Science / Programming Languages communities. She's also starting a reading club to brainstorm the meaning (and the name?) of the field of "Computer Science".

#ICTOpen
#ICTOpen2025
#NWO
#Conference
#AcademicMastodon
#AcademicChatter
#ICT
#Research
#Networking
#Utrecht
#Jaarbeurs
#ComputerScience
#ProgrammingLanguages
#WomenInComputing
#WomenInSTEM
#Glaciology

Public *
Jesper Agdakx 🔸
With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).

The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, #Rocq).

Information about the positions and application procedure can be found on the website:

cyclic-structures.gitlab.io/vacancies/

Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration.

Please forward to any strong candidates you know!

#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity
Cyclic Structures in Programs and ProofsVacanciesBy Jorge Perez
#radbouduniversity
Public
vascorsd

This seems a very cool and interesting evolution for a stable and productive language, focused on real needs in the industry. The focus on making sure it all integrates well and works with legacy code is astounding. Very nice. Ocaml future seems great.

--

Making OCaml Safe for Performance Engineering | Lobsters

lobste.rs/s/ujvpdn/making_ocam

lobste.rsMaking OCaml Safe for Performance Engineering | Lobsters
#compilers#plt#ocaml
Public
wowiamreallyamazed🍉️

I wonder what would a c clone, like a c++ that is, instead of being object oriented, it was functional, like a cλλ, like inline assembly with category theory whitepaper code. That would be the most language ever. Like no side effects, with totally side effects. Like it also has some object stuff like how c++ is supposed to have some but it's just a featureful struct. I'm genuinely curious, morbidly. #programming #c #cpp #haskell #programminglanguages #doesanybodylikethis #insanity #darkwoke

VegansExploreLive feeds
About