Tootfinder

from my link log —
Write tracking for Nim.
https://nim-lang.org/blog/2020/09/01/write-tracking.html
saved 2020-09-02 https://

Write Tracking for Nim (Part 2)
7 years ago I wrote how Nim would get “write tracking” as an alternative to adding const to Nim’s type system. This year it finally made it into Nim nightly! Since then the feature was reimplemented and all the details how it works did change.

{testthat} is great for automatic testing. Here are some tricks for the heavy user: #rstats

from my link log —
Range: My least favorite Rust type.
https://ridiculousfish.com/blog/posts/least-favorite-rust-type.html
saved 2020-09-21

Donald Trump’s efforts to overturn the results of the 2020 election were brazenly antidemocratic.
Yet Trump and his supporters nonetheless justified their actions under the dubious pretense of preserving American democracy
– as a matter of getting the vote right, of reversing voter fraud.
There’s a good reason they took this approach.
Authoritarianism has long been rejected across the political spectrum.
Democrats and Republicans routinely lob insults like “di…

ngscopeclient now has a newly unbitrotted RGMII protocol decode!
We had this years ago in scopeclient but it used the old inefficient (std::vector<bool> at each sample) parallel bus data model and was commented out for ngscopeclient until we could come up with a better data model.
Now it's back, in time for v0.2.
I also had to un-bitrot this session file: it was an ancient (June 2020) dataset that predated the modern multi-instrument data model in ngscopeclient.…

@… Mearls, iirc war das in 2020

from my link log —
Query-based compiler architectures.
https://ollef.github.io/blog/posts/query-based-compilers.html
saved 2020-06-25 ht…

from my link log —
What is the Scudo hardened allocator? (used by LLVM sanitizers and Android)
http://expertmiami.blogspot.com/2019/05/what-is-scudo-hardened-allocator_10.html
saved 2020-07-01

On Website Technicals (2020-02) - Tech updates: GSC Review annoyance, CSS dark mode, video captions, lazy loading, srcset issues. - https://www.earth.org.uk/note-on-site-technicals-33.html

On Website Technicals (2020-02)
Tech updates: GSC Review annoyance, CSS dark mode, video captions, lazy loading, srcset issues.

A guy I was trying to get a job interview with in March of 2020 just posted this long thing about how he uses AI at work.
Dodged a bullet thanks to COVID I guess?

White House officials appointed
Gregg Phillips in December to lead FEMA’s Office of Response and Recovery,
-- one of the agency’s most consequential leadership roles,
-- apparently due to his history of promoting election conspiracy theories, particularly in the aftermath of the 2020 election.
He came under national scrutiny in March after CNN reported on a cache of outlandish comments from his appearances on right-wing podcasts, -- including the bizarre claim that h…

FEMA official who claimed he teleported to Waffle House ousted from agency, sources say
Top FEMA official Gregg Phillips who had drawn scrutiny for bizarre past remarks — including claiming he teleported to a Waffle House — has been pushed out of the agency, four sources tell CNN.

I live in a part of San Francisco called the APE Zone.

from my link log —
CVE-2020-13777 GnuTLS passive plaintext recovery vulnerability.
https://anarc.at/blog/2020-06-10-gnutls-audit/
saved 2020-07-27 http…

CVE-2020-13777 GnuTLS audit: be scared
anarcat

psi: Plant Photosystem I excitation energy transfer network (2020)
Weighted directed network of the light-harvesting Photosystem Ι (PSI) of the plant Pisum sativum. The nodes represent chromophores with different identities (i.e. chlorophyll a, chlorophyll b, β-carotene and derivates, lutein, violaxanthin), while edges represent FRET transfer between chromophores. The link directionality connecting nodes in the PSI network depends on the energy levels of the connected chromophores. The…

from my link log —
cproc: a C11 compiler using QBE as a backend.
https://github.com/michaelforney/cproc
saved 2020-08-06 https://dotat.at/:/3GNQW…

GitHub - michaelforney/cproc: C compiler (mirror)
C compiler (mirror). Contribute to michaelforney/cproc development by creating an account on GitHub.

from my link log —
The ARM Morello board: porting experimental capability extensions from CHERI-MIPS.
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-morello.html
saved 2020-07-01

Former Cowboys DL Aldon Smith dies at 36 https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2026/06/13/cowboys-dl-aldon-smith-obituary/90544064007/

from my link log —
New amd64 micro-architecture levels.
https://sourceware.org/pipermail/libc-alpha/2020-July/116135.html
saved 2020-11-08

from my link log —
Reverse engineering a forgotten 1970s Intel dual core beast: 8271, a new ISA.
https://scarybeastsecurity.blogspot.com/2020/11/reverse-engineering-forgotten-1970s.html
saved 2020-11-16

Reverse engineering a forgotten 1970s Intel dual core beast: 8271, a new ISA
" As I recall, those two chips were fairly large. And fairly late -- to the marketplace. We had lots of issues with them. [...] Sometimes th...

from my link log —
Loko Scheme: an optimizing R6RS Scheme compiler.
https://scheme.fail/
saved 2020-09-09 https://dotat.at/:/E73QF.html

from my link log —
John Conway's FRACTRAN, a ridiculous yet surprisingly deep language.
http://raganwald.com/2020/05/03/fractran.html
saved 2020-05-11

from my link log —
PostgreSQL PostGIS trajectories through space and time.
https://blog.rustprooflabs.com/2020/11/postgis-trajectory-intro
saved 2020-12-02

from my link log —
Rust in a KDE project.
https://jbbgameich.github.io/misc/2020/12/21/rust-in-a-kde-project.html
saved 2020-12-28

from my link log —
What made the 1960s CDC6600 supercomputer fast?
https://cpldcpu.wordpress.com/2020/02/14/what-made-the-cdc6600-fast/
saved 2020-02-15 …

from my link log —
What science can tell us about C and C 's security.
https://alexgaynor.net/2020/may/27/science-on-memory-unsafety-and-security/
saved 2020-05-28

from my link log —
yubikey-agent: a seamless ssh-agent for YubiKeys.
https://github.com/FiloSottile/yubikey-agent
saved 2020-07-08 https://

GitHub - FiloSottile/yubikey-agent: yubikey-agent is a seamless ssh-agent for YubiKeys.
yubikey-agent is a seamless ssh-agent for YubiKeys. - FiloSottile/yubikey-agent

from my link log —
LLVM's getelementptr, by example.
https://blog.yossarian.net/2020/09/19/LLVMs-getelementptr-by-example
saved 2020-09-20

LLVM's getelementptr, by example

from my link log —
It is high time we let go of the Mersenne Twister.
https://arxiv.org/abs/1910.06437
saved 2020-11-20 https://dotat.at/:/6EPK8.html…

It is high time we let go of the Mersenne Twister
When the Mersenne Twister made his first appearance in 1997 it was a powerful example of how linear maps on $\mathbf F_2$ could be used to generate pseudorandom numbers. In particular, the easiness with which generators with long periods could be defined gave the Mersenne Twister a large following, in spite of the fact that such long periods are not a measure of quality, and they require a large amount of memory. Even at the time of its publication, several defects of the Mersenne Twister were …

from my link log —
Don't Panic! Better, fewer, syntax errors for LR parsers.
https://soft-dev.org/pubs/html/diekmann_tratt__dont_panic/
saved 2020-07-07

from my link log —
The alias method for efficiently sampling from a discrete probability distribution.
https://en.wikipedia.org/wiki/Alias_method
saved 2020-07-02

Alias method - Wikipedia

from my link log —
Byrne's Euclid.
https://www.c82.net/euclid/
saved 2020-04-27 https://dotat.at/:/YEFV2.html

Byrne's Euclid
A reproduction of Oliver Byrne's celebrated work from 1847 plus interactive diagrams, cross references, and posters designed by Nicholas Rougeux

from my link log —
chibicc: a small C compiler.
https://github.com/rui314/chibicc
saved 2020-10-04 https://dotat.at/:/HB8B4.html

GitHub - rui314/chibicc: A small C compiler
A small C compiler. Contribute to rui314/chibicc development by creating an account on GitHub.

from my link log —
ip2unix: turn IP sockets into Unix domain sockets.
https://github.com/nixcloud/ip2unix
saved 2020-07-08 https://dotat.at/:/5A9WC.…

from my link log —
Linux eBPF projects and documentation.
https://ebpf.io/
saved 2020-08-12 https://dotat.at/:/WV3ZE.html

eBPF - Introduction, Tutorials & Community Resources
eBPF is a revolutionary technology that can run sandboxed programs in the Linux kernel without changing kernel source code or loading a kernel module.

from my link log —
GNU Recutils: a database management system using human-readable text files.
https://labs.tomasino.org/gnu-recutils/
saved 2020-01-26 https://

GNU Recutils
Fred and George, Turtles in love There are hundreds of cool command line tools that have been made over the years built on the unix philosophy. Plain text is powerful, ubiquitous, and human-centric. It was also the only option for computing for quite a while. It’s no surprise that some of the most sophisticated tools are focused on it. One such package is GNU Recutils, a set of tools and libraries to access human-editable, plain text databases called recfiles.

from my link log —
Packaging a Rust project for Debian.
https://blog.hackeriet.no/packaging-a-rust-project-for-debian/
saved 2020-02-01

from my link log —
Finding a goroutine bug with TLA .
https://www.hillelwayne.com/post/tla-golang/
saved 2020-09-25 https://dotat.a…

from my link log —
OLTP performance since PostgreSQL 8.3.
https://www.2ndquadrant.com/en/blog/oltp-performance-since-postgresql-8-3/
saved 2020-10-08

EDB Home - EDB Postgres AI
Explore EDB Postgres AI's solutions, gain insights from experts, and learn about AI strategy behind 5x ROI. Sign up for interactive sessions & download insightful reports.

from my link log —
MLIR: a compiler infrastructure for the end of Moore's Law.
https://arxiv.org/abs/2002.11054
saved 2020-02-27 https://dotat.at/:…

MLIR: A Compiler Infrastructure for the End of Moore's Law
This work presents MLIR, a novel approach to building reusable and extensible compiler infrastructure. MLIR aims to address software fragmentation, improve compilation for heterogeneous hardware, significantly reduce the cost of building domain specific compilers, and aid in connecting existing compilers together. MLIR facilitates the design and implementation of code generators, translators and optimizers at different levels of abstraction and also across application domains, hardware targets …