Langsec after Spectre may push us towards more of a 'basic science to figure out how things work' model: https://wingolog.org/archives/2018/01/11/spectre-and-the-end-of-langsec
miniblog.
Regular interruptions leading to an increase in procrastination!
https://www.theglobeandmail.com/technology/your-smartphone-is-making-you-stupid/article37511900/ (the article is partly fearmongering, but makes some nuanced points)
This is wild: compiling SMT problems to C++ then using coverage guided fuzzing to find solutions!
https://github.com/delcypher/jfs
If you someone made a concerted effort to put malware in a low level npm package, how hard would it be to detect?
Worryingly, it would be really difficult.
https://hackernoon.com/im-harvesting-credit-card-numbers-and-passwords-from-your-site-here-s-how-9a8cb347c5b5
Lovely talk from @strangeloop_stl showing Black, a Scheme where you can recursively make changes to evaluation!
In the picture, Nada is demonstrating adding a special form (not macro!) for instrumentation. Mind bending.
I find mypy very helpful for refactoring Python codebases. It sometimes finds bugs before I run my refactored code, but a large percentage of the time it's just helpfully pointing out where I have the wrong number of args.
Pareto principle strikes again.
Blogged: The Emacs Guru Guide to Key Bindings
https://www.wilfred.me.uk/blog/2018/01/06/the-emacs-guru-guide-to-key-bindings/
'Component-based Program Synthesis in OCaml' is a nice 2017 paper on program synthesis in OCaml. https://www-scf.usc.edu/~zhanpenl/prog_syn.pdf
Some impressive examples, but programmatically generating friendly variable names remains a hard problem. JSNice is the only nice solution I've seen.
Interpreters are a great example of software tools where it's easy to settle for something that's easy to implement.
Many interpreters don't have native support for displaying result data types as images. I've only seen Racket and Smalltalk offer this.
Emacs has a wonderful mode called dired, which is great for viewing or bulk renaming the contents of directories.
Apparently, there's a C program of the same name, and it's unknown which came first! https://invisible-island.net/ded/
Thoughtful article on a trend of building smaller, kinder online communities: https://www.theverge.com/2017/12/28/16795090/internet-community-2017-post-mortem-tumblr-amino-drip-tinyletter
Traditionally we distinguish between 'plaza' and 'rabbit warren' designs of social media, but perhaps there are interesting designs between those extremes.
Dramatic post arguing that 'IO type' is far better for explaining Haskell than 'IO monad': https://blog.jle.im/entry/io-monad-considered-harmful.html
The Patchworks editor is an interesting project using a 3x2 grid of code snippets to try to help developers navigate code more effectively.
30 second video: https://www.youtube.com/watch?v=tGkGjZI21Mw
Preliminary study: https://austinhenley.com/pubs/Henley2014VLHCC_GC_Patchworks.pdf
In-depth study: https://www.cs.memphis.edu/~sdf/publications/Henley_et_al_VLHCC_2014.pdf
Designing a online communication tool *without* a green dot to inform users when you're online, to maximise productivity: https://m.signalvnoise.com/the-presence-prison-4c776292c8d2
Will society adapt to the new challenges of global social media? A hopeful perspective: https://www.usatoday.com/story/opinion/2017/11/20/social-media-threat-people-survived-disease-we-can-handle-twitter-glenn-reynolds-column/879185001/
Best book I read last year: hands down, The Name Of The Wind.
A masterfully written fantasy story. Sadly it's a trilogy and the third book hasn't been written yet. You have been warned :)
Happy New Year!
Feliĉan Novan Jaron!
Showing 641-657 of 657 posts