Master thesis by Gideon Bot: "Rethinking Dependent Type Checking, Co-Contextually"

"This work explores a co-contextual formulation of a dependent type system and its accompanying type-checking algorithm. Both incremental and parallel variants of the algorithm are implemented for the dependently typed lambda calculus Elara, based on LambdaPi (Löh, McBride, and Swierstra, 2010)."

https://resolver.tudelft.nl/uuid:79e488af-6703-4558-b2c6-1606f8ba1f14

#Master #thesis #DependentTypes #Incremental #Concurrent #TypeChecking

🚨 Report: Marathon's budget topped $200M, with extra costs it may have blown past $250M.

Released just over a month ago on PC and consoles; roughly 70% of players are on PC. Avg playtime, 28 hours; 22% logged >50h, 7% >100h. Concurrent peak slipped to ~25-30k (launch 88k, beta ~143k). PANIC among players fearing a quick shutdown, but Bungie says they plan years of updates. Available on PC (Steam), Xbox Series & PS5; fully l...

#SteamAndEpic #Marathons #Concurrent #Available #Released #Russian

Heard there is a better way?
We're here you, every day!

We are putting the fun into functional programming. Call 4400 to learn more.

#elixir #39C3 #functional #declarative #immutable #concurrent #easy

https://gitlab.com/b2495/fleng

A compiler for the concurrent logic programming languages FGHC, Strand, KL1 and PCN.

#prolog #logicprogramming #concurrent

#Heilon #Musk lance #Grokipedia, le #concurrent #raciste #assumé, #anti-genre, et #désinformateur de #Wikipédia

L’entrée « #gender » ( #genre) indique que le genre se réfère à la « classification binaire des humains comme #homme ou #femme en fonction du #sexe #biologique ».

https://next.ink/206294/elon-musk-lance-grokipedia-le-concurrent-raciste-et-desinformateur-de-wikipedia

🔍 / #software / #python / #concurrent

Concurrent programming plays a vital role in optimizing performance and improving efficiency in modern applications. Python offers two primary approaches for achieving concurrency: threading and multiprocessing. In this blog, we will delve into the world of threading and multiprocessing, exploring their differences, advantages, and best use cases.

🐱🔗 https://laravista.altervista.org/CatLink/links/397

#catlink #softwarepython #softwarepythonconcurrent

The ICE workshop (Interaction and Concurrency Experience) gathers a caring community of researchers in theoretical computer sciences interested in models, verification, tools & primitives for #concurrent & #complex systems.

The worshkop now has a series website (https://ice-workshop.github.io/), the 2024 proceedings _should_ be published soon, and the call for papers 2025 will follow as soon as we've put a PC together!

If you know somebody interested in joining the 2025 PC (you included!), ping me!