Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
zirk.us is one of the many independent Mastodon servers you can use to participate in the fediverse.
Literature, philosophy, film, music, culture, politics, history, architecture: join the circus of the arts and humanities! For readers, writers, academics or anyone wanting to follow the conversation.

Administered by:

Server stats:

757
active users

zirk.us: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#programminglanguages

8 posts8 participants1 post today
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

Public
vascorsd

SpecTec has been adopted - WebAssembly

«...huge leap forward, because the practical state of language specifications is basically stuck in the 1960s: most language standards, even new ones, are still defined by some basic grammar notation for their syntax (and sometimes not even that), while their semantics is given by a combination of pretty prose, hidden assumptions, and wishful thinking.»

webassembly.org/news/2025-03-2

webassembly.orgSpecTec has been adopted - WebAssemblyWebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.
#plt#wasm#programming
ExploreLive feeds
About