New Dec2011, here Jan2014 (updated 12Feb2014) This page is in group Technology Intro This note is about programming language source code’s syntax and semantics. (Some implicit references are at Wiki-refs) I will try to explain WYSIWYG semantics and discuss whether the new term stuttering semantics is of any value. It’s new here and meant to […]
New 4Dec2013, ready 08:09:10 11.12.13 (updated 15Mar2014) This page is in group Technology. Intro My starting point with this note was my surprise of the JavaScript «concurrency model» [01] – as described in HTLM5 [02] («WebAppAPIs»). I asked myself whether this «single-threaded» model had been influenced by the Model-View-Controller (MVC) [03]. Maybe, in any case […]
New: 10Nov2013, updated 22Feb2024 (Some moved to 254:[] typos, plus added some). This page is in group Technology. This note on the Internet Archive‘s Wayback Machine: A reactive manifest Disclaimer Whether this note manifests itself as a manifest, remains to be manifested. Background I will in this blog try to critically analyse The Reactive Manifesto [1]. The […]
Started 12Sep2013, finished 19Sep2013. Updated 28Jan2014 This page is in group Technology. Intro In this blog page I will try to understand how so-called «single threaded» software architectures based on «event-loop concurrency» and callbacks (where mostly all blocking is «evil»), differs from light-weight processes that communicate using channels (where any needed non-blocking is built explicitly (or by […]
1Sep2013 – updated 19Feb2015 This page is in group Technology. This is a small contribution for software programmers who do concurrent programming. It is a naïve follow-up from a previous blog note: Pike & Sutter: Concurrency vs. Concurrency, meant to install a gut feeling of when blocking is not evil. Looking back I have discovered some milestones […]
New: 25July2013, updated 29Apr2024 This page is in groups Technology and My Go (golang) notes. Updates An aside on async/await 28Apr2024. Rob Pike, at GopherConAU 2023 gave a lecture called «What We Got Right, What We Got Wrong» (here). He talks about Go concurrency at 11.30. My point here is his aside on the increasingly popular async/await paradigm. […]
«Becoming textual: attempting to model ‘XCHAN’ with CSPm» «Using FDR2 and ProBE tools when state-ing is not enough» This page is in group Technology. By Øyvind Teig, Autronica Fire and Security. Original 15April2013, updated August2013 Delivered as exam lecture for «TK8112 – The Theory of Concurrency in Real-Time Systems» All original lecture material: http://www.teigfam.net/oyvind/blog_notes/063/063-Teig-NTNU.zip. It’s not […]
Published 7April2013, updated 23Aug2013 (09Oct2023, marking colouring) This page is in group Technology. First, the epilogue.. This blog note spurred a paper «Selective choice ‘feathering’ with XCHANs» that I had accepted for CPA-2013. It’s at [4] to read, but you might perhaps read this blog note first. It’s probably a prerequisition. Blog note This note is […]
History: 12.sept.2007 [1] – updated 27Apr2023 This page is in group Technology. Wishes for a folding editor Intro This post is meant for us to collect thoughts. I would appreciate anyone to comment here, and hope that we could collectively bring about a spec for a new folding editor. Maybe a programmer would emerge, too? Folding […]
Published 3Jan2013, updated 20Nov2018 This page is in group Technology. In this blog I will jot down some experience with installation and use of the FDR2 tool [1] which analyses CSP (Communicating Sequential Processes) specifications [5]. My experience is that I try to avoid Unix, OSX, Terminal and bash scripting. But here is my last journey into it. Important notice about […]