Tony Finch – link log

2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026 latest

• 2026‑04‑23: Gecko: a fast GLR parser with automatic syntax error recovery.
  2026‑04‑23: https://vnmakarov.github.io/parsing/compilers/c/open-source/2026/04/22/gecko-glr.html
• 2026‑01‑03: Partial evaluation and automatic program generation. (book, 1993)
  2026‑01‑03: https://studwww.itu.dk/~sestoft/pebook/
• 2025‑11‑15: ucs-detect: automatically test the Unicode version and support level of a terminal emulator.
  2025‑11‑15: https://ucs-detect.readthedocs.io/
• 2025‑06‑07: Delta debugging: simplifying and isolating failure-inducing input with automatic test case reduction. (2002)
  2025‑06‑07: https://www.st.cs.uni-saarland.de/publications/details/zeller-tse-2002/
• 2025‑05‑26: Ironies of automation. (1983)
  2025‑05‑26: http://www.complexcognition.co.uk/2021/06/ironies-of-automation.html
• 2025‑01‑20: Automatic server reloading on change in Rust with listenfd and systemfd.
  2025‑01‑20: https://lucumr.pocoo.org/2025/1/19/what-is-systemfd/
• 2024‑11‑21: DBSP: automatic incremental view maintenance for rich query languages.
  2024‑11‑21: http://muratbuffalo.blogspot.com/2024/11/dbsp-automatic-incremental-view.html
• 2024‑06‑04: automemcpy: a framework for automatic generation of fundamental memory operations.
  2024‑06‑04: https://dl.acm.org/doi/10.1145/3459898.3463904
• 2023‑05‑13: Building a baseline JIT for Lua automatically.
  2023‑05‑13: https://sillycross.github.io/2023/05/12/2023-05-12/
• 2022‑11‑23: Building the fastest Lua interpreter.. automatically!
  2022‑11‑23: https://sillycross.github.io/2022/11/22/2022-11-22/index.html
• 2022‑11‑16: git-absorb: git commit --fixup, but automatic.
  2022‑11‑16: https://github.com/tummychow/git-absorb
• 2022‑11‑14: psyche-c: automatic compilation of partially-available sources.
  2022‑11‑14: http://cuda.dcc.ufmg.br/psyche-c/
• 2021‑12‑05: Why is it hard to automatically suggest what index to create?
  2021‑12‑05: https://www.depesz.com/2021/10/22/why-is-it-hard-to-automatically-suggest-what-index-to-create/
• 2021‑11‑28: Amethyst: an automatic tiling window manager for macOS.
  2021‑11‑28: https://github.com/ianyh/Amethyst
• 2021‑11‑26: The return of JavaScript for Mac OS automation, instead of AppleScript.
  2021‑11‑26: https://scriptingosx.com/2021/11/the-unexpected-return-of-javascript-for-automation/
• 2021‑10‑23: Coding for non-programmers: we need better web GUI automation tools.
  2021‑10‑23: https://matduggan.com/why-we-need-better/
• 2021‑07‑04: Electron tube new automatic computer: a homemade valve computer.
  2021‑07‑04: https://ena.computer/
• 2021‑05‑25: RefinedC: automating the foundational verification of C code with refined ownership types.
  2021‑05‑25: https://plv.mpi-sws.org/refinedc/
• 2021‑03‑23: Automatic video editing for presentations.
  2021‑03‑23: https://tratt.net/laurie/blog/entries/automatic_video_editing.html
• 2021‑01‑28: Automatic flamegraphs for benchmarks in Rust.
  2021‑01‑28: https://www.jibbow.com/posts/criterion-flamegraphs/
• 2021‑01‑08: Greybox automatic exploit generation for heap overflows in language interpreters.
  2021‑01‑08: https://sean.heelan.io/2020/11/18/phd-thesis-greybox-automatic-exploit-generation-for-heap-overflows-in-language-interpreters/
• 2020‑11‑18: Automatic syntax error recovery in lrpar.
  2020‑11‑18: https://tratt.net/laurie/blog/entries/automatic_syntax_error_recovery.html
• 2020‑04‑03: Reducing tail latencies with automatic yielding in Tokio on Rust.
  2020‑04‑03: https://tokio.rs/blog/2020-04-preemption/
• 2020‑03‑23: Nornir: an automation framework in Python.
  2020‑03‑23: https://nornir.readthedocs.io/en/latest/
• 2020‑03‑23: Napalm network automation.
  2020‑03‑23: https://napalm-automation.net/
• 2020‑03‑14: Automatic chess boards.
  2020‑03‑14: https://incoherency.co.uk/blog/stories/automatic-chess-board-design.html
• 2020‑01‑10: Ironies of automation.
  2020‑01‑10: https://blog.acolyer.org/2020/01/08/ironies-of-automation/
• 2019‑09‑10: Myths about USB-C.
  2019‑09‑10: https://www.electronicdesign.com/industrial-automation/11-myths-about-usb-type-c
• 2019‑08‑06: Scalable scanning and automatic classification of TLS CBC padding oracle attacks.
  2019‑08‑06: https://github.com/RUB-NDS/TLS-Padding-Oracles/blob/master/TlsPaddingOracleScanning.pdf
• 2019‑07‑24: Automatic index recommendations in PostgreSQL using pg_qualstats and hypopg.
  2019‑07‑24: https://www.percona.com/blog/2019/07/22/automatic-index-recommendations-in-postgresql-using-pg_qualstats-and-hypopg/
• 2019‑07‑22: Do-nothing scripting: a path to gradual automation.
  2019‑07‑22: https://blog.danslimmon.com/2019/07/15/do-nothing-scripting-the-key-to-gradual-automation/
• 2019‑06‑23: The simple essence of automatic differentiation.
  2019‑06‑23: https://github.com/conal/talk-2018-essence-of-ad
• 2019‑03‑13: RFC 8555 ACME: universal encryption through automation.
  2019‑03‑13: https://www.ietf.org/blog/acme/
• 2018‑11‑12: The automation charade.
  2018‑11‑12: https://logicmag.io/05-the-automation-charade/
• 2018‑10‑22: First-class automatic differentiation in Swift: a manifesto.
  2018‑10‑22: https://gist.github.com/rxwei/30ba75ce092ab3b0dce4bde1fc2c9f1d
• 2018‑10‑03: When workers automate their own duties, who should reap the benefits?
  2018‑10‑03: https://www.theatlantic.com/technology/archive/2018/10/agents-of-automation/568795/?single_page=true
• 2018‑08‑22: Home Assistant: open source home automation with Python.
  2018‑08‑22: https://www.home-assistant.io/
• 2018‑08‑22: Automatic code formatting for partially-staged files in git.
  2018‑08‑22: http://www.olioapps.com/blog/automatic-code-formatting/
• 2018‑06‑13: Automatic type coercions with procedural macros in Rust.
  2018‑06‑13: http://willcrichton.net/notes/automatic-type-coercions-macros-rust/
• 2018‑06‑05: Nightmare.js: A high-level browser automation library based on Electron.
  2018‑06‑05: https://github.com/segmentio/nightmare
• 2018‑03‑20: ABA: always be automating, because manual work is a bug.
  2018‑03‑20: https://queue.acm.org/detail.cfm?id=3197520
• 2018‑03‑07: Let's Encrypt: securing the automation of ACME DNS challenge validation.
  2018‑03‑07: https://www.eff.org/deeplinks/2018/02/technical-deep-dive-securing-automation-acme-dns-challenge-validation
• 2017‑12‑28: pg_squeeze: A PostgreSQL extension for automatic bloat cleanup.
  2017‑12‑28: https://github.com/cybertec-postgresql/pg_squeeze
• 2017‑12‑24: A list of software that turns your database into a REST or GraphQL API.
  2017‑12‑24: https://github.com/dbohdan/automatic-api
• 2017‑12‑17: Dance Dance Convolution: automatically generating steps for a rhythm-based video game.
  2017‑12‑17: https://arxiv.org/abs/1703.06891
• 2017‑10‑27: Automatically submitting your Internet-Draft from GitHub.
  2017‑10‑27: https://github.com/martinthomson/i-d-template/blob/master/doc/SUBMITTING.md
• 2017‑08‑30: Fully automatic DNSSEC delegation updates at CZ.NIC with FRED and Knot.
  2017‑08‑30: http://iepg.org/2017-07-16-ietf99/Fully%20automatic%20DNSSEC%20-%20final.pdf
• 2017‑07‑06: MySQL infrastructure testing automation at GitHub.
  2017‑07‑06: https://githubengineering.com/mysql-testing-automation-at-github/
• 2017‑07‑02: Dexter: automatic indexer for PostgreSQL.
  2017‑07‑02: https://medium.com/@ankane/introducing-dexter-the-automatic-indexer-for-postgres-5f8fa8b28f27
• 2017‑06‑16: NANOG discusses templating/automating network configuration.
  2017‑06‑16: https://mailman.nanog.org/pipermail/nanog/2017-June/thread.html#91331
• 2017‑06‑07: Network automation do's and don'ts.
  2017‑06‑07: https://www.nanog.org/sites/default/files/dosdontsnetworkautomation.pdf
• 2017‑03‑13: Kantu: picture-driven web automation.
  2017‑03‑13: https://kantu.io/
• 2017‑02‑21: pg_healer: repairing PostgreSQL problems automatically using data checksums.
  2017‑02‑21: http://blog.endpoint.com/2016/09/pghealer-repairing-postgres-problems.html
• 2017‑01‑20: Fac: a build system that automatically tracks dependencies, by the author of Darcs.
  2017‑01‑20: http://physics.oregonstate.edu/~roundyd/fac/
• 2017‑01‑15: posixcube: a POSIX compliant shell script server automation framework.
  2017‑01‑15: https://github.com/myplaceonline/posixcube
• 2016‑11‑08: NAPALM: network automation and programmability abstraction layer with multivendor support, for Ansible or Salt.
  2016‑11‑08: https://github.com/napalm-automation/napalm
• 2016‑11‑08: A list of headless browsers and related automation tools.
  2016‑11‑08: https://github.com/dhamaniasad/HeadlessBrowsers
• 2016‑10‑03: Manufacturer usage description (MUD): automatic firewall configuration for the Internet of Things.
  2016‑10‑03: https://www.ofcourseimright.com/?p=1859
• 2016‑08‑29: undebt: automatic refactoring for Python.
  2016‑08‑29: https://github.com/Yelp/undebt
• 2016‑08‑19: Automatically dewarping photographs of pages of books.
  2016‑08‑19: https://mzucker.github.io/2016/08/15/page-dewarping.html
• 2016‑05‑22: Automation should be like Iron Man, not Ultron.
  2016‑05‑22: http://queue.acm.org/detail.cfm?id=2841313
• 2016‑05‑08: sshguard: a C program to automatically firewall off brute force login attacks.
  2016‑05‑08: http://www.sshguard.net
• 2016‑05‑03: Stratified Synthesis: automatically learning a formal semantics of the x86-64 instruction set.
  2016‑05‑03: https://stefanheule.com/papers/pldi16-strata.pdf
• 2016‑01‑30: The automation paradox: computerizing jobs often increases the need for human employees.
  2016‑01‑30: http://www.theatlantic.com/business/archive/2016/01/automation-paradox/424437/
• 2015‑12‑05: caddy: a simple web server with automatic letsencrypt TLS provisioning.
  2015‑12‑05: https://github.com/mholt/caddy
• 2015‑08‑21: Automatic patch-based exploit generation.
  2015‑08‑21: http://bitblaze.cs.berkeley.edu/papers/apeg.pdf
• 2015‑06‑24: NAPALM: network automation and programmability abstraction layer with multivendor support. (Ansible support for routers.)
  2015‑06‑24: https://github.com/spotify/napalm
• 2015‑04‑26: rust-bindgen: automatic API converter for Rust.
  2015‑04‑26: https://github.com/crabtw/rust-bindgen
• 2015‑03‑14: Trigger: a network automation toolkit in Python.
  2015‑03‑14: https://trigger.readthedocs.org/en/latest/
• 2014‑11‑18: Relatively complete counterexamples for higher-order programs: automatically find erroneous inputs.
  2014‑11‑18: http://arxiv.org/abs/1411.3967
• 2014‑10‑10: EE, Vodafone, and Three give police mobile call records at click of a button.
  2014‑10‑10: http://www.theguardian.com/world/2014/oct/10/automatic-police-access-customers-mobile-phone-records-like-cash-machine-ripa-three-ee-vodafone
• 2014‑06‑27: Even sweatshops are getting automated.
  2014‑06‑27: http://andrewmcafee.org/2014/05/mcafee-nike-automation-labor-technology-globalization/
• 2014‑06‑24: Chinese hospitals introduce hands-free automatic sperm extractor.
  2014‑06‑24: http://www.sciencedump.com/content/chinese-hospitals-introduce-hands-free-automatic-sperm-extractor
• 2014‑06‑20: Videogrep: automatic supercuts with Python.
  2014‑06‑20: http://lav.io/2014/06/videogrep-automatic-supercuts-with-python/
• 2014‑04‑24: Using automatic language analysis to apply the Bechdel test to movie scripts and conversations on Twitter.
  2014‑04‑24: http://www.sciencedaily.com/releases/2014/04/140423102748.htm
• 2014‑01‑26: Automatically entering the grand C++ error explosion competition.
  2014‑01‑26: http://blog.regehr.org/archives/1088
• 2014‑01‑07: Knot DNS 1.4.0 released with support for automatic DNSSEC signing.
  2014‑01‑07: https://lists.nic.cz/pipermail/knot-dns-users/2014-January/000334.html
• 2014‑01‑06: Edelweiss: automatic storage reclamation for distributed programming.
  2014‑01‑06: http://www.neilconway.org/docs/vldb2014_edelweiss.pdf
• 2013‑03‑13: Automatic: transmit car telemetry data from the on-board diagnostics port to your phone.
  2013‑03‑13: http://www.automatic.com/
• 2013‑03‑06: Malicious Java applet is signed with revoked certificate but still runs automatically.
  2013‑03‑06: http://www.net-security.org/secworld.php?id=14557
• 2012‑09‑14: GitHub downtime: MySQL / heartbeat / pacemaker automatic failover failure.
  2012‑09‑14: https://github.com/blog/1261-github-availability-this-week
• 2012‑06‑28: Tookan automatically reverse-engineers a PKCS#11 token, describes its API to a model checker, which finds attack traces for execution on the token.
  2012‑06‑28: http://secgroup.ext.dsi.unive.it/projects/security-apis/pkcs11-security/tookan/
• 2012‑05‑06: Impressive automatic video stabilization available after upload to YouTube.
  2012‑05‑06: http://googleresearch.blogspot.in/2012/05/video-stabilization-on-youtube.html
• 2012‑04‑05: Automatic porn censorship legislation under consideration in the House of Lords.
  2012‑04‑05: http://www.out-law.com/en/articles/2012/april/automatic-porn-censorship-legislation-proposed/
• 2011‑11‑22: How the automatic gearbox nearly killed off the sperm whale.
  2011‑11‑22: http://shkrobius.livejournal.com/347646.html
• 2011‑08‑31: Flickr: automatic privacy settings based on photo locations.
  2011‑08‑31: http://code.flickr.com/blog/2011/08/30/in-the-privacy-of-our-homes/
• 2011‑04‑28: That's What She Said: automatic double entendre identification.
  2011‑04‑28: http://www.cs.washington.edu/homes/brun/pubs/pubs/Kiddon11.pdf
• 2010‑12‑15: fabricate - a Python build tool with automatic dependency discovery.
  2010‑12‑15: http://code.google.com/p/fabricate/
• 2010‑12‑06: Continuation-passing C: automatically rewriting thraded C into event-passing C.
  2010‑12‑06: http://www.pps.jussieu.fr/~kerneis/software/cpc/
• 2010‑07‑20: Treventus ScanRobot automatic book scanner.
  2010‑07‑20: http://www.treventus.com/index_en.html
• 2010‑06‑13: Bot-in-the-middle social engineering on IRC.
  2010‑06‑13: http://www.irc-junkie.org/2010-06-11/researchers-develop-honeybot-social-engineer-irc-users-automatically/
• 2010‑05‑03: Automatic permanent background SSH tunnels - howto for unix, mac, windows.
  2010‑05‑03: http://www.greenend.org.uk/rjk/2010/autoforward.html
• 2010‑04‑22: Daily-Mail-o-matic: automatic headline generator - Nick Clegg special edition!
  2010‑04‑22: http://www.qwghlm.co.uk/toys/dailymail/
• 2010‑02‑19: How to configure BIND to automatically sign dynamic-update zones for DNSSEC.
  2010‑02‑19: http://www.average.org/dnssec/dnssec-configuring-auto-signed-dynamic-zones.txt
• 2009‑05‑15: Yet Another Build System - a Python-based build system with automatic dependency detection.
  2009‑05‑15: http://www.op59.net/yabs/readme.html
• 2009‑03‑31: Reducing XSS by way of automatic context-aware escaping in template systems.
  2009‑03‑31: http://googleonlinesecurity.blogspot.com/2009/03/reducing-xss-by-way-of-automatic.html
• 2007‑11‑20: Matthew Garrett on Automatix.
  2007‑11‑20: http://mjg59.livejournal.com/77440.html
• 2007‑02‑13: Bundle sysadmin automation tool.
  2007‑02‑13: http://www.eyrie.org/~eagle/software/bundle/
• 2006‑09‑15: Automatic indicator lighs for bikes.
  2006‑09‑15: http://www.safeturn.com/
• 2006‑04‑21: How to (re)start screen automatically on remote logins.
  2006‑04‑21: http://taint.org/wk/RemoteLoginAutoScreen
• 2006‑03‑30: LCFG: automatic configuration and installation system from Edinburgh University.
  2006‑03‑30: http://www.lcfg.org/
• 2005‑07‑04: Automatic coin sorter.
  2005‑07‑04: http://www.firebox.com/index.html?dir=firebox&action=product&pid=960
• 2002‑06‑18: Mechanical automatic gearing in Lego.
  2002‑06‑18: http://ichabod.last-outpost.com/~malakai/lego/index.html