The remarkable lengths that Google goes to in order associate items with search terms:
miniblog.
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.
@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:
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!
newLISP has an approach to cons that I haven't seen before.
(cons 1 '(2)) => '(1 2)
(cons 1 2) => '(1 2)
If the second argument isn't a proper list, then cons behaves like the function list! https://www.newlisp.org/newlisp_manual.html#nil_and_true
(I have a soft spot for lisps that avoid improper lists.)
What happens if you do a survey on Mechanical Turk asking programmers what semantics they expect of their languages?
https://blog.brownplt.org/2017/07/06/crowd-pl-design.html has the answer! Direct link to PDF: https://cs.brown.edu/~sk/Publications/Papers/Published/tpk-crowdsource-lang-design/paper.pdf
Thread.
Showing 2,716-2,730 of 7,583 posts