OPLSS this year offers a pretty stellar lineup of lectures, including Simon Peyton Jones on Verse:
https://www.cs.uoregon.edu/research/summerschool/summer26/topics.php
https://www.cs.uoregon.edu/research/summerschool/summer26/topics.php
❤1
https://dl.acm.org/doi/10.1145/3607832
"Special Delivery: Programming with Mailbox Types"
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
A very neat peace of work. It ties up a pretty diverse and somewhat obscure research topics:
— Regular Expressions (over types, what you expected?)
— Subtyping
— Constraint Solving
— "Backwards" Bidirectional Type-Checking (synthesizing necessary contexts and constraints along the checking)
— Quasi-Linear Types
— Second-Class References
The result is a practical algorithmic type system for Actor-based languages, capable of catching not only type mismatch errors, but also protocol violations (wrong sequencing of messages) and deadlocks. All in the face of selective message receive. Darn impressive.
#plt #paper #actor #typesystem
"Special Delivery: Programming with Mailbox Types"
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
A very neat peace of work. It ties up a pretty diverse and somewhat obscure research topics:
— Regular Expressions (over types, what you expected?)
— Subtyping
— Constraint Solving
— "Backwards" Bidirectional Type-Checking (synthesizing necessary contexts and constraints along the checking)
— Quasi-Linear Types
— Second-Class References
The result is a practical algorithmic type system for Actor-based languages, capable of catching not only type mismatch errors, but also protocol violations (wrong sequencing of messages) and deadlocks. All in the face of selective message receive. Darn impressive.
#plt #paper #actor #typesystem
Proceedings of the ACM on Programming Languages
Special Delivery: Programming with Mailbox Types | Proceedings of the ACM on Programming Languages
The asynchronous and unidirectional communication model supported by mailboxes is
a key reason for the success of actor languages like Erlang and Elixir for implementing
reliable and scalable distributed systems. While many actors may send messages to
...
a key reason for the success of actor languages like Erlang and Elixir for implementing
reliable and scalable distributed systems. While many actors may send messages to
...
❤2
4th ECUMENICAL meeting will be hosted in Stockholm from 18 to 20 February 2026, with online only participation available.
https://sites.google.com/view/ecumenical-4th-meeting/
Registration form: https://forms.office.com/e/6e7iXXPFES
Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. The Leverhulme Trust ECUMENICAL project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the meaning of logical statements is understood in terms of proofs rather than traditional truth-based models. The ECUMENICAL Pt-S approach seeks to provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them and enabling novel methodologies in the study of logic.
https://sites.google.com/view/ecumenical-4th-meeting/
Registration form: https://forms.office.com/e/6e7iXXPFES
Logical ecumenism aims to provide a unified framework in which “rival” logics may peacefully coexist. The Leverhulme Trust ECUMENICAL project explores the fundamental aspects of reasoning via proof-theoretic semantics (Pt-S), where the meaning of logical statements is understood in terms of proofs rather than traditional truth-based models. The ECUMENICAL Pt-S approach seeks to provide a unified framework for different logics, serving as a common ground in which meaningful interactions may occur between them and enabling novel methodologies in the study of logic.
Google
ECUMENICAL 4th meeting
This is the fourth meeting of our Leverhulme ECUMENICAL project!
https://www.youtube.com/watch?v=oFGc4hGJRJQ
Dan Ghica is talking about Huawei and their programming language Cangjie. Now.
Dan Ghica is talking about Huawei and their programming language Cangjie. Now.
YouTube
Dan Ghica: Designing and developing an industrial-strength programming language
Topos Institute Colloquium, 5th of February 2026.
———
For the last five years I have been working as one of the architects of a new programming language called Cangjie (CJ). CJ is part of a new open-source ecosystem for Huawei devices which has the HarmonyOS…
———
For the last five years I have been working as one of the architects of a new programming language called Cangjie (CJ). CJ is part of a new open-source ecosystem for Huawei devices which has the HarmonyOS…
Чтобы избавиться от тревоги, нужно освоить технику заземления!
После этого следует заземлить всю электрическую бытовую технику в доме, и больше не придётся тревожиться, что ёбнет током.
После этого следует заземлить всю электрическую бытовую технику в доме, и больше не придётся тревожиться, что ёбнет током.
👍2🤯1🥱1
Microsoft C/C++ compilation toolchain is quite literally FUBAR for ages. People have written hundreds lines long scripts to simply try to locate all the necessary executables and libraries. Alas, anything short of full filesystem search breaks at one point or the other.
Luckily, Jonathan Marler recently managed to develop a single-file versioned (sic!) installation manager akin to
https://marler8997.github.io/blog/fixed-windows/
Luckily, Jonathan Marler recently managed to develop a single-file versioned (sic!) installation manager akin to
nvm, uv and similar:https://marler8997.github.io/blog/fixed-windows/
👍4
If you found R the language and the libraries quite a bit clunky, crufty and somewhat annoying to make what you want, now you can have much better developer experience and output quality thanks to Uri Simonsohn and coding AI:
https://datacolada.org/132
https://datacolada.org/132
Data Colada
[132] statuser: R in user-friendly mode - Data Colada
t.test(), the R function for running t-tests, is disconcertingly imperfect.
https://www.kickstarter.com/projects/glnc/scp-gallionic
Another SCP-themed short film on Kickstarter. This time animated in the style of Anime.
Watch the trailer, it's really good. "Netflix-quality" in a good way.
Formally, the project is already funded, but they have a lot of very desirable stretch goals. The production timeline is long, which means they probably know what they're doing.
Another SCP-themed short film on Kickstarter. This time animated in the style of Anime.
Watch the trailer, it's really good. "Netflix-quality" in a good way.
Formally, the project is already funded, but they have a lot of very desirable stretch goals. The production timeline is long, which means they probably know what they're doing.
Kickstarter
SCP:GALLIONIC
An animated short set in the SCP universe following a breach and the effects it has on two siblings working within.
👍3
Modern Web Front-End Development time breakdown:
— setting up the project with package managers, bundlers and frameworks: 10%
— writing the code: 5%
— fighting the fucking CORS: 85%
— setting up the project with package managers, bundlers and frameworks: 10%
— writing the code: 5%
— fighting the fucking CORS: 85%
😁7👍1💯1
Research (Maths, Physics, Chemistry, Sociology, History, etc) is PvE.
Beaurocracy (programs, grants, management, etc) is PvP.
Beaurocracy (programs, grants, management, etc) is PvP.
💯4🔥1🤔1
https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
Donald Knuth discovers Vibe-coding and even Vibe-(paper)-proving through his friend Filip Stappers and his friend Claude. 😁
Actually, it's quite a story, and a pleasure to read. The Knuth's comments are deep and enlightening.
Donald Knuth discovers Vibe-coding and even Vibe-(paper)-proving through his friend Filip Stappers and his friend Claude. 😁
Actually, it's quite a story, and a pleasure to read. The Knuth's comments are deep and enlightening.
❤3
Two more somewhat recent blog posts about "vibe-coding" that kinda go along nicely:
https://www.anthropic.com/research/AI-assistance-coding-skills
and
https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software
The first one is about a N=52 study from Anthropic on the question "how much knowledge vibe-coders accumulate about what they're doing?" The answer, like usual, "it depends". In this case, it depends on how you're using an AI assistant, and what questions you ask. One can both learn more from AI compared to no AI, or learn nothing at all — the choice is yours.
The second one is a pretty extensive commentary from Chris Lattner of LLVM and Clang fame on the (in)famous "Claude C Compiler" from Anthropic again. As someone living and breathing compilers pretty much his whole career, Lattner has some deep insights into the significance and challenges of compilers in general, and the "Claude C Compiler" in particular. Sure enough he also have biases. As a leader of an AI company Lattner cannot say "AI is bad", so his vision of "the evolving role of software engineers" might be overly optimistic, but he has good points nevertheless.
Which kinda circles back to the first post: it's not AI in itself, but the way one uses it that matters. Which approach will "win"? We'll see soon enough.
https://www.anthropic.com/research/AI-assistance-coding-skills
and
https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software
The first one is about a N=52 study from Anthropic on the question "how much knowledge vibe-coders accumulate about what they're doing?" The answer, like usual, "it depends". In this case, it depends on how you're using an AI assistant, and what questions you ask. One can both learn more from AI compared to no AI, or learn nothing at all — the choice is yours.
The second one is a pretty extensive commentary from Chris Lattner of LLVM and Clang fame on the (in)famous "Claude C Compiler" from Anthropic again. As someone living and breathing compilers pretty much his whole career, Lattner has some deep insights into the significance and challenges of compilers in general, and the "Claude C Compiler" in particular. Sure enough he also have biases. As a leader of an AI company Lattner cannot say "AI is bad", so his vision of "the evolving role of software engineers" might be overly optimistic, but he has good points nevertheless.
Which kinda circles back to the first post: it's not AI in itself, but the way one uses it that matters. Which approach will "win"? We'll see soon enough.
Anthropic
How AI assistance impacts the formation of coding skills
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.