Aphorisms on programming language design https://www.rntz.net/post/2017-01-27-aphorisms-on-pl-design.html (fun post critiquing some common themes in PL design)
miniblog.
140 chars on Twitter feels so much more limiting after tooting!
TIL Debian disabled xwidgets in their Emacs build due to security concerns with embedded webkit: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=843462 (understandable)
New blog post:
"Helpful: Adding Contextual Help to Emacs"
@Jelv Fantastic, thank you!
Extracting machine-readable specs from natural language specs for ARM architectures, and finding ambiguities!
Still learning how to discover interesting papers. Google Scholar's related articles helps,and I'm trying citeulike, but there must be more.
Shower thought: can types be viewed as a subset of contracts?
Interesting claim: to what extent does OO promote setters simply to avoid unwanted/accidental mutation? From
Blogged: Helpful: Adding Contextual Help to Emacs
Applying type-based program synthesis to code completion, leading to snippets, not just method names. Clever!
What if code completion / search was implemented in a graph database? A fascinating discussion by some Haskellers:
Smalltalk is sufficiently alien that it can be hard to get started. There's a really helpful intro here: https://ceronio.net/2017/07/first-steps-with-pharo-smalltalk/
Racket's docs have some lovely examples of programming by contract: https://docs.racket-lang.org/guide/contracts-examples.html
Conditional syntax in @pharoproject still feels rather alien to me. Reviews welcome! Copy-pasteable version:
Showing 3,316-3,330 of 7,549 posts