VirtualTam's bookmarks

121. Property-based testing 2020-01-06

     tags: hypothesis, programming/go, programming/haskell, programming/python, programming/test-driven-development, programming/testing, programming/testing/property-based-testing

     [ permalink ]

     • https://github.com/leanovate/gopter
     • https://itnext.io/gopter-property-based-testing-in-golang-b36728c7c6d7
     • https://hypothesis.works/articles/what-is-property-based-testing/
     • https://hypothesis.works/articles/integrated-shrinking/
     • https://hackage.haskell.org/package/QuickCheck
     • https://github.com/emil-e/rapidcheck
     • https://labs.spotify.com/2015/06/25/rapid-check/
     • https://andrealeopardi.com/posts/the-guts-of-a-property-testing-library/
122. avx-turbo: Test the non-AVX, AVX2 and AVX-512 speeds across various active core counts 2019-12-31

     tags: hardware/cpu, instruction, intel, performance, performance/benchmark, processor

     [ permalink ]

     • https://en.wikipedia.org/wiki/Advanced_Vector_Extensions
     • https://www.intel.com/content/www/us/en/architecture-and-technology/avx-512-overview.html
123. simdjson: Parsing gigabytes of JSON per second 2019-12-31

     tags: data, file, parser, performance, programming/c++, programming/json

     [ permalink ]

     • https://arxiv.org/abs/1902.08318
     • https://branchfree.org/2019/02/25/paper-parsing-gigabytes-of-json-per-second/
124. Athens | A Go Module Proxy 2019-12-03

     tags: continuous-integration, dependency, network/http, network/proxy, programming/go, storage/cache

     [ permalink ]

     • https://github.com/gomods/athens
     • https://arslan.io/2019/08/02/why-you-should-use-a-go-module-proxy/
     • https://golang.org/cmd/go/#hdr-Module_proxy_protocol
125. Writing userspace USB drivers for abandoned devices 2019-11-18

     tags: driver, image, linux, reverse-engineering, usb, video

     [ permalink ]

     • https://ghidra-sre.org/
     • https://en.wikipedia.org/wiki/Philips_PM5544
     • https://github.com/benjojo/userspace-vga2usb/
126. mp4analyser: mp4 file analyser written in Python 2019-11-14

     tags: codec, codec/mp4, data, programming/python, streaming, video

     [ permalink ]

     • https://standards.iso.org/ittf/PubliclyAvailableStandards/
     • https://standards.iso.org/ittf/PubliclyAvailableStandards/c068960_ISO_IEC_14496-12_2015.zip
     • https://bitmovin.com/mpeg-dash-hls-examples-sample-streams/
127. Coding Standards for pure C (not C++) - Stack Overflow 2019-11-07

     tags: guidelines, programming/c

     [ permalink ]

     • https://stackoverflow.com/questions/415452/object-orientation-in-c
     • https://sites.google.com/site/cinterfacesimplementations/
     • http://web.archive.org/web/20190125125043/http://homepages.inf.ed.ac.uk/dts/pm/Papers/nasa-c-style.pdf
     • https://www.maultech.com/chrislott/resources/cstyle/
     • https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Coding+Standard
128. Bollinger Bands with Prometheus and Grafana 2019-10-23

     tags: observability, observability/grafana, observability/time-series/prometheus, visualization

     [ permalink ]

     • https://en.wikipedia.org/wiki/Bollinger_Bands
     • https://www.investopedia.com/terms/b/bollingerbands.asp
     • https://github.com/grafana/grafana/issues/409
     • https://github.com/grafana/grafana/issues/940
129. RFC 2222 - Simple Authentication and Security Layer (SASL) 2019-10-21

     tags: email, linux, network/ldap, network/smtp, security, security/authentication, unix

     [ permalink ]

     • https://en.wikipedia.org/wiki/Simple_Authentication_and_Security_Layer
     • https://tools.ietf.org/html/rfc2444
     • https://tools.ietf.org/html/rfc4422
     • https://tools.ietf.org/html/rfc4752
130. gendesk: Generate .desktop files and download .png icons by specifying a minimum of information 2019-10-19

     tags: desktop, linux, package

     [ permalink ]

     • https://gendesk.roboticoverlords.org/
131. Collapse OS — Bootstrap post-collapse technology 2019-10-09

     tags: operating-system, post-apocalyptic, programming/assembly, programming/c

     [ permalink ]

     • https://collapseos.org/why.html
     • https://github.com/hsoft/collapseos
132. A Comprehensive Guide to Using WebSockets in Go 2019-10-01

     tags: network, network/http, programming/api, programming/go, websocket

     [ permalink ]

     • https://www.gorillatoolkit.org/pkg/websocket
     • https://godoc.org/github.com/gobwas/ws
133. ddate(1) - Linux man page 2019-09-23

     tags: calendar, date, easter-egg, linux, wtf

     [ permalink ]

     • https://en.wikipedia.org/wiki/Discordianism
     • https://en.wikipedia.org/wiki/Discordian_calendar
     • https://www.reddit.com/r/linux/comments/1wnaw7/accidentally_typed_ddate_instead_of_date_got/
134. automation - Cron job to run on the last day of the month - Stack Overflow 2019-09-23

     tags: calendar, cron, linux, time

     [ permalink ]

     • https://backreference.org/2010/04/05/last-day-of-month-cron-job/
     • https://unix.stackexchange.com/questions/149474/how-can-i-start-a-cronjob-1-hour-later-each-day
135. AWS | Enable Enhanced Networking with Elastic Network Adapters for vintage OS AMIs 2019-09-17

     tags: chroot, cloud/aws, linux, linux/debian, linux/kernel, virtualization, xen

     [ permalink ]

     Paravirtual (PV) to Hardware Virtual Machine (HVM):

     • https://stackoverflow.com/questions/24330721/amazon-ec2-how-to-convert-an-existing-pv-ami-to-hvm

     ENA support:

     • https://docs.aws.amazon.com/AWSEC2/latest/UserGuide/enhanced-networking-ena.html
     • https://forums.aws.amazon.com/thread.jspa?threadID=166135
     • https://aws.amazon.com/premiumsupport/knowledge-center/boot-error-linux-m5-c5/
     • https://bugs.centos.org/view.php?id=14107
     • https://ygrene.tech/how-to-enable-ena-support-for-aws-amis-in-5-steps-and-make-your-bamboo-remote-jobs-really-fast-f2a4254a9955

     Build Debian AMIs from scratch:

     • https://bootstrap-vz.readthedocs.io/en/master/
     • https://github.com/andsens/bootstrap-vz
     • https://www.slideshare.net/JamesBromberger/debian-cloud-building-the-debian-amis
     • https://blog.james.rcpt.to/2012/12/06/official-debian-images-on-amazon-web-services-ec2/

     Squeeze:

     • https://lists.debian.org/debian-cloud/2013/02/msg00023.html

     Wheezy:

     • https://lists.debian.org/debian-cloud/2014/10/msg00009.html
     • https://lists.debian.org/debian-cloud/2014/11/msg00000.html

     Boot to chroot:

     • https://unix.stackexchange.com/questions/85714/boot-into-a-chroot
     • https://wiki.debian.org/chroot
     • https://wiki.debian.org/Debootstrap
     • https://superuser.com/questions/384437/booting-linux-system-from-chroot-is-there-a-better-way-to-do-this/384457#384457
     • https://github.com/lemonsqueeze/boot-chroot
136. knuth-elevator: A Go implementation of the elevator simulator described by Donald E. Knuth. 2019-09-16

     tags: algorithm, elevator, knuth, programming, programming/go

     [ permalink ]

     > One of the references on Wikipedia’s Elevator Paradox page is a paper written by Donald E. Knuth dated many years prior to his simulator. A side-effect of that research experience may have been a lasting interest in the intricate details of elevator systems.

     • https://en.wikipedia.org/wiki/The_Art_of_Computer_Programming
     • https://en.wikipedia.org/wiki/Discrete-event_simulation
137. jrnl - The Command Line Journal 2019-09-10

     tags: calendar, journal, knowledge, personal-knowledge/blog, programming/python

     [ permalink ]

     • https://github.com/jrnl-org/jrnl
     • https://jrnl.sh/overview/
138. 0.30000000000000004 2019-09-09

     tags: approximation, arithmetic, float, hardware/ram, memory, programming

     [ permalink ]

     • https://en.wikipedia.org/wiki/Floating-point_arithmetic
     • https://standards.ieee.org/standard/754-2008.html
     • https://stackoverflow.com/questions/588004/is-floating-point-math-broken/588014#588014
     • https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html
139. James Gurney 2019-09-02

     tags: art, dinosaur, fantasy, paint, painting

     [ permalink ]

     • https://gurneyjourney.blogspot.com/search?updated-max=2019-08-24T09:11:00-04:00&max-results=10
     • https://www.instagram.com/jamesgurneyart/
     • https://en.wikipedia.org/wiki/Dinotopia
140. [Archaeology] Why is all the ancient stuff buried? Like wells, roman walls an such. Does the earth eat it? : askscience 2019-08-24

     tags: archaeology, civilization, dirt, plant, ruin, soil, worm

     [ permalink ]

     • https://www.reddit.com/r/AskHistorians/comments/17je7i/archeologists_are_always_digging_up_ancient_ruins/
     • https://en.wikipedia.org/wiki/The_Formation_of_Vegetable_Mould_through_the_Action_of_Worms
     • https://www.thoughtco.com/what-is-a-tell-169849
     • https://www.quora.com/Why-are-ancient-buildings-buried-deep-underground