Top all-time · #7946
Simon Fowler
Personal blog · simonjf.comprogramming
Simon Fowler's personal blog at simonjf.com covers programming. Since 2014, 10 different Hacker News readers have linked it 10 times, most often “Session types in programming languages (2016)”. The last post was in 2018, but the archive is still widely read.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link Simon Fowler's papers on programming languages and concurrency, including reactive UIs with WebSharper, choreographic programming in actor languages, and dependently typed programming. One commenter says they are enjoying his WebSharper papers.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Simon Fowler, Lecturer at the University of Glasgow
Most-linked posts?
- Session types in programming languages (2016)2 people · 2 mentions · first linked 2018-10-22
- Cmm_of_wasm: From WebAssembly to Native Code via the OCaml Back End2 people · 2 mentions · first linked 2018-08-27
What Hacker News says?
The Programming Journal ( https://programming-journal.org/ ) and its associated conference seem pretty good to me. At least I find papers there that are interesting to me and are not unnecessarily obtuse in notation etc. On the subject of reactive UIs, I'm quite enjoying reading the WebSharper papers at the moment. The most recent is, I think, http://www.simonjf.com/drafts/reactive-abstractions.pdf Hope that's usefu…
Comment linking /drafts/reactive-abstractions.pdf
on “The culture of rejection in computer science publications”Submitted Cmm_of_wasm: From WebAssembly to Native Code via the OCaml Back End as a story · 49 points
HN discussionthis idris paper, maybe, or how is security guaranteed? http://www.simonjf.com/writing/bsc-dissertation.pdf quote: enforce resource usage protocols inherent in C socket programming, providing safety guarantees,
Comment linking /writing/bsc-dissertation.pdf
on “Dependently Typed Programming”Submitted Session types in programming languages (2016) as a story · 42 points
HN discussionThis seems to be a popular idea recently. After reading this paper[1] I ended up building this into my actor based language[2]. It makes a lot of sense in actor based concurrency, I'd be curious to know what rust devs think of this since it's a bit different from how they often do concurrency. [1] https://simonjf.com/writing/eventactors.pdf [2] https://march-lang.org/docs/choreography/
Comment linking /writing/eventactors.pdf
on “Choreographic Programming in Rust”Submitted Typed Concurrent Functional Programming with Channels, Actors, and Sessions [pdf] as a story · 4 points
HN discussionSubmitted Cmm_of_wasm: From WebAssembly to Native Code via the OCaml Back End as a story · 2 points
HN discussionSubmitted Networked Pong in Idris as a story · 2 points
HN discussionSubmitted Session type in programming languages (2016) as a story · 1 points
HN discussionSubmitted Session types in programming languages---a collection of implementations as a story · 1 points
HN discussion