miniblog.

Jul 20, 2018
PhpStorm shows annotations on method calls so you can see argument names. https://blog.jetbrains.com/phpstorm/2017/03/new-in-phpstorm-2017-1-parameter-hints/ The heuristic is really interesting: it only shows hints for literals and null! Presumably other values are considered to be more obvious.
Photo
New in PhpStorm 2017.1 - Parameter Hints | The PhpStorm Blog
X / ?
Jul 19, 2018
Interesting short article arguing that software cannot (or should not) iterate on features faster than users can adapt:
The Milo Criterion
Jul 18, 2018
Cute example of configuring Emacs to avoid GC when the minibuffer is open (so completion is quick):
Why are you changing gc-cons-threshold?
Jul 18, 2018
Applying evolutionary algorithms to antenna design!
Evolved antenna - Wikipedia
Evolved antenna - Wikipedia
Jul 18, 2018
seL4, the verified microkernel, jas been ported to RISC-V!
Brains behind seL4 secure microkernel begin RISC-V chip port
Unveil first code, join giants in industry-standards club
Jul 18, 2018
How much do users read on web pages, and how does it scale with word count? https://www.nngroup.com/articles/how-little-do-users-read/ (It's only around 20%, and you're better off keeping your content short!)
How Little Do Users Read?
How Little Do Users Read?
On the average Web page, users have time to read at most 28% of the words during an average visit; 20% is more likely.
Jul 17, 2018
Cute idea (in a rather dramatic blog post): randomly generate strings for PL keywords, and apply the same transformation to your source code. This prevents code injection: https://blog.polyverse.io/introducing-polyscripting-the-beginning-of-the-end-of-code-injection-fe0c99d6f199 (I suppose you could brute force, and they don't say if it breaks eval.)
Jul 17, 2018
Fun post on team structure, mental models, shared learning and the transformative impact of software tools: https://the-composition.com/the-origins-of-opera-and-the-future-of-programming-bcdaf8fbe960
Jul 15, 2018
"Over the years Alice and Bob have tried to defraud insurance companies, played poker for high stakes by mail, and exchanged secret messages over tapped telephones. ... This may be the first time a definitive biography of Alice and Bob has been given."
John Gordon: The Alice and Bob After Dinner Speech
Jul 15, 2018
Shipping a generic NES emulator inside a GameCube game!
Animal Crossing On GameCube Can Actually Play Any NES Game - Kotaku
Animal Crossing On GameCube Can Actually Play Any NES Game - Kotaku
A deleted feature from Animal Crossing for the GameCube would have let you play a library of 8-bit Nintendo Entertainment System games off of your memory
Jul 15, 2018
I've added a neat little feature to deadgrep: when you navigate to a line, the matched part of the line is highlighted! See the bottom half of my screenshot. This was inspired by the excellent roadmap in helm-rg!
Photo
GitHub - Wilfred/deadgrep: fast, friendly searching with ripgrep and Emacs
GitHub - Wilfred/deadgrep: fast, friendly searching with ripgrep and Emacs
fast, friendly searching with ripgrep and Emacs. Contribute to Wilfred/deadgrep development by creating an account on GitHub.
X / ?
Jul 13, 2018
The remarkable lengths that Google goes to in order associate items with search terms:
Sapping Attention: Google Books and the open web.
Jul 13, 2018
Profiling symbolic execution by measuring the symbolic heap and the symbolic execution graph to ensure solver-aided tools are performant: https://2018.splashcon.org/event/splash-2018-oopsla-finding-code-that-explodes-under-symbolic-evaluation (Part of the remarkable Rosette project.)
Finding Code That Explodes Under Symbolic Evaluation (SPLASH 2018 - OOPSLA) - SPLASH 2018
PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL will present their work at OOPSLA in Boston. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and ...
Jul 11, 2018
Firefox is now compiling with Clang on all platforms! A major milestone.
Redirecting to Google Groups
Jul 9, 2018
@uranther@cybre.space I believe Stylish has now been pulled from both Mozilla and Google's extension websites.
Showing 2,671-2,685 of 7,549 posts