Lobsters is a user on botsin.space. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Lobsters @lobsters

Feed for stories that have reached the front page of lobste.rs. Administrator: @albino | Source code: https://git.fuwafuwa.moe/albino/lobstertoot

malcolmstill/ulubis - A Wayland compositor written in Common Lisp https://github.com/malcolmstill/ulubis | https://lobste.rs/s/lwg8l3 #graphics #lisp

Getting compilers right: a reliable foundation for secure software https://www.microsoft.com/en-us/research/blog/getting-compilers-right-secure-software/ | https://lobste.rs/s/mebyy7 #compilers #formalmethods #security

Discord: Rise Of The Bot Wars https://blackhole12.blogspot.com/2017/06/discord-rise-of-bot-wars.html | https://lobste.rs/s/2m1nz2 #api #security

WiFi232 with a Macintosh 512ke https://jcs.org/2017/06/23/wifi232 | https://lobste.rs/s/chpozt #hardware

Welcome Inside the Head of Larry Wall - Joe Armstrong and Larry Wall https://www.youtube.com/watch?v=SpH9BTMZKXc | https://lobste.rs/s/bqlbyh #compsci #perl #person #video

Frame-Based Editing https://kclpure.kcl.ac.uk/portal/files/71018111/Frame_based_editing.pdf | https://lobste.rs/s/xun8ch #compsci #pdf

Pinterest for Coders https://www.codemade.io/ | https://lobste.rs/s/6bnohr #education

Simple Verification of Rust Programs with Functional Purification (2016) https://pp.info.uni-karlsruhe.de/uploads/publikationen/ullrich16masterarbeit.pdf | https://lobste.rs/s/z7yoz7 #formalmethods #pdf #programming #rust

5 Great Talks From VueConf 2017, The First Vue.js Conference http://vuejsdevelopers.com/2017/06/25/vue-conf-2017/?jsdojo_id=lob_vcf | https://lobste.rs/s/z0oldl #web

Myers Diff Algorithm - Code & Interactive Visualization http://blog.robertelder.org/diff-algorithm/ | https://lobste.rs/s/ml7wgv #compsci #python

Scraping a Subreddit With a One-Liner https://unnikked.ga/scraping-a-subreddit-with-a-one-liner-6322f74134df | https://lobste.rs/s/um9pmm #unix #web

Typing Nix http://www.tweag.io/posts/2017-05-23-typing-nix.html | https://lobste.rs/s/gxmhgx #linux

One Model To Learn Them All https://arxiv.org/abs/1706.05137 | https://lobste.rs/s/iuooux #ai

We had a unit test which only failed on Sundays https://qntm.org/unit | https://lobste.rs/s/hn9mpg #testing

Clojure concurrency and blocking with core.async http://eli.thegreenplace.net/2017/clojure-concurrency-and-blocking-with-coreasync/ | https://lobste.rs/s/scry1s #lisp #programming

Luca Cardelli http://lucacardelli.name/ | https://lobste.rs/s/vkuv74 #person

Working with the new Phoenix 1.3 directory structure – A Love Story https://blog.jakewilkins.com/2017/06/23/working-with-phoenix-1-3-directory-structure-a-love-story/ | https://lobste.rs/s/gj2mxa #elixir #web

How Chaos Cures Metaphysics http://nautil.us/issue/49/the-absurd/chaos-makes-the-multiverse-unnecessary | https://lobste.rs/s/tayyy2 #philosophy #science

Google Will Stop Reading Your Emails for Gmail Ads https://www.bloomberg.com/news/articles/2017-06-23/google-will-stop-reading-your-emails-for-gmail-ads | https://lobste.rs/s/ivcnft #privacy

GitHub API Authentication using OAuth 2.0 within Insomnia https://insomnia.rest/blog/oauth2-github-api/ | https://lobste.rs/s/ho40pt #api #programming