Started 25Oct2023, updated 30Oct2023. This will be is in group Technology if I think it would be might be worth it. At first I will try to list up relevant other blog notes or lectures I have done or presented over the years, those may have filled in the same points that I initially thought […]
Started 07Jan2025, updated 25Mar2026 (microgpt etc.. Vibe coding? to HW?. LLMs for Code Evaluation) This note is in group Technology, sub-groups My Beep-BRRR pages and My XMOS pages. Intro I will let the screen clip layout (below) from my first encounter with the AI-powered Cursor text editor and my XC code more or less speak for […]
New 05Oct2023 – updated 18Sep2025 (Overflow buffer). This paper is in group Publications. This note is a restoration and update of XCHANs: Notes on a New Channel Type. See the still existing CPA 2012 page. XCHANs: Notes on a New Channel Type Øyvind Teig. Autronica Fire and Security (AFS) (A UTC Fire and Security company) […]
New 29Apr2024. Updated 31Oct2025 (Binding Rust with Go. Typo. New style of References. [8] and those below in the list++. In work. This page is in group Technology I guess it’s a post where I try to understand its process model (or task model), and end up being somewhat sceptical of any potential usage on […]
Theme from 1988, moved here 12Apr2022. Updated: 18Mar2026 (Internet Archive. Removed Modula 2 code but kept as encrypted zip. TRANSER. Actor model). Part of group NOTES FROM THE VAULT Intro This note, in a wider context, is about how I learned about the need for a task concept, and «below» tasks, about an early but necessary […]
New (here) 01Oct2020. Updated 06Sep2025 This page is a mirror of the https://www.teigfam.net/oyvind/pub/pub.html. However, I update more detail here. The references here would add to my blog posts, which are less formal I guess. Both publications and blog notes are all © Øyvind Teig In English Updated 07Jul2025. Newest on top of the lists: Publications […]
Published 22Dec2016. More like a scratchpad, updated 15July2019 This page is in group Technology. If you want to follow me to try to find out why queueing of entry calls in Ada causes nondeterminstic (scheduling? timing? deadline?) and try to understand why the scheduling of processes on the defunct transputer is the opposite(?), then jump […]
New: 03Nov2016. Last updated 16Sep2025 JCSP This page is in group Technology. This note started with an attempt to look at how channels are modelled (in code, really) but then ended up with trying to systemise what I found. The note was even called Channel structures at the start. Towards a classification of CSP-based systems? This might be […]
Excerpt: Can time be part of a contract? Is it a contract when time is included? «Shall we meet at half past eight at the Pub for a beer?» Let’s steer past that one. Timing requirements are important, they are extensively used in hard real-time systems. In some protocols a client does not need to send any «end of request» signal as the server times out after a period of inactivity to close the connection (like HTTP persistent connections). This blog note tries to discuss when timeouts are fine to use, and when they do turn the components’ interactions into a quiz.
Excerpt: I hope it to be a note showing whether it’s possible to code the animated tree in concurrent JavaScript code. Or rather, which solution to choose – or which that suits best. «JavaScript is the most commonly used programming language on earth. Even Back-End developers are more likely to use it than any other language» – stackoverflow Developer Survey Results 2016. In other words: most of the world’s programmers are deprived of concurrency support in their programming language.
