It's really interesting that Smalltalk has both ifTrue:ifFalse: and ifFalse:ifTrue:. Many other languages discourage if(!foo) {…} else {…}.
miniblog.
Model-based development, formal verification, and trusting software used in cars: https://www.theatlantic.com/technology/archive/2017/09/saving-the-world-from-code/540393/
Back in London after a fantastic @strangeloop_stl! Great talks, interesting people, and a good city with lovely weather!
Fun post on finding autoconf usage bugs in GTK: https://undeadly.org/cgi?action=article;sid=20170930133438 (always heartening to see experienced devs wrestle with tricky bugs)
Excellent article on the web, its original goals, and the extent to which it can enact change today: https://medium.com/@iotwatch/the-tech-that-does-or-doesnt-matter-thoughts-after-cph150-e3e3f582334c
All PLs have strengths and weaknesses, the notion of a 'general purpose PL' can stop us thinking critically. From
Mind expanding talk! ATS has some extraordinary features: recursion termination checks, first class lifetimes, disciplined data holes. https://twitter.com/deech/status/914202899588288512
Good article on growing a contributor base and commit bit policies https://opensource.com/life/16/5/growing-contributor-base-modern-open-source (talks about nodejs lessons learnt)
Fascinating, dynamic @alvinkcheung talk at @strangeloop_stl on using Program Synthesis to translate code snippets! https://casper.uwplse.org/
I'm at Strange Loop conference! Do say hello if you're around.
OH agile philosophy: "postpone decision making until the last responsible moment"
Infer, a static analysis tool, has a DSL for declaring forbidden patterns: https://code.facebook.com/posts/277643589367408/ (it models ASTs with *temporal* logic!)
Nim's term-rewriting macros are wild: https://nim-lang.org/docs/manual.html#term-rewriting-macros (you can leverage Nim's side-effect analysis or enforce canonicalisation!)
Using 'final' to avoid dynamic dispatch on Swift: https://developer.apple.com/swift/blog/?id=27 (interesting keyword choice, I associate final with immutability)
Sadly, I've had to start muting words related to political topics. Politics produces lots of tweets in my feed saying the same thing.
Showing 3,166-3,180 of 7,508 posts