seL4, the verified microkernel, jas been ported to RISC-V! https://www.theregister.co.uk/2018/04/23/risc_v_sel4_port/
miniblog.
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!)
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.)
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
"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."
https://urbigenous.net/library/alicebob.html
Shipping a generic NES emulator inside a GameCube game! https://kotaku.com/someone-discovered-a-hidden-feature-in-animal-crossings-1827591135
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!
The remarkable lengths that Google goes to in order associate items with search terms: https://sappingattention.blogspot.com/2018/07/google-books-and-open-web.html
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.)
Firefox is now compiling with Clang on all platforms! A major milestone.
https://groups.google.com/forum/m/#!topic/mozilla.dev.platform/wwO48xXFx0A
@uranther@cybre.space I believe Stylish has now been pulled from both Mozilla and Google's extension websites.
https://stevelosh.com/blog/2018/07/fun-with-macros-if-let/ is an excellent post on implementing if-let and when-let macros.
It discusses the different ways you could expand the code, and ensuring the macro composes with other (Common) Lisp features.
Really useful macro too, I'm a big fan of the elisp equivalent.
I've just released v0.3 of deadgrep: https://github.com/Wilfred/deadgrep
This new version allows you to collapse file results, and is much smarter about regexp, case and file type settings!
https://github.com/crdoconnor/strictyaml is a neat project deliberately subsetting YAML to remove the unsafe or complex features.
It also has types and even allows you to make round-trip edits with comments preserved!
Whilst JSON does not support comments, today I learnt that npm reserves the key "//" for you to add comments to the top level object in package.json: https://stackoverflow.com/a/14221781/509706
What type would you expect for a function that takes a string of the form "123" and returns an integer?
I've seen str -> int (with an exception message), str -> option<int> (no info on what was wrong) and str -> result<int,int_error> (exposes all the error types to callers).
Stylish was an awesome browser extension that enabled you to override CSS on websites. Turns out that it logs every single URL you visit! https://robertheaton.com/2018/07/02/stylish-browser-extension-steals-your-internet-history/
For Google searches, it also records the search term and search results. Yikes.
Docker Hub has this lovely feature where *they* provide builds of Dockerfiles. For example: https://hub.docker.com/r/etsy/hound/
This is great for making software more trustworthy. I can review the code on GitHub and be confident that I'm running the same code. More platforms should do this.
Inspired the helpful Using Emacs series: https://cestlaz.github.io/posts/using-emacs-6-swiper/ I've been experimenting with C-s bound to swiper rather than isearch.
I'm a big fan of Anzu: https://github.com/syohex/emacs-anzu for enhancing isearch, but I'm finding that I use swiper more with this new keybinding.
https://www.msreverseengineering.com/blog/2018/2/26/concrete-and-abstract-interpretation-explained-through-chess uses chess to describe concrete and abstract interpretation: considering state spaces, approximating, and dealing with intractably large sets of possibilities!
Showing 301-320 of 657 posts