aarchi
No user record in our sample, but aarchi has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but aarchi has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
PostgreSQL is Turing-complete, as proven by implementations of a cyclic tag system[0] and Turing machine[1]. The Mandelbrot set[2] and travelling-salesman problem[3] have also been implemented in it. Transact-SQL is…
I'm currently building a couple of regexp engines: One, that's a formalization[0] in Coq with big-step semantics, which uncommonly has the intersection operator, and includes several equivalence relations and a proof of…
The (preprint) paper links to its repository, where its code eventually will be. I suspect it will be pushed around August 2023, before USENIX Security'23, where it will be published.…
> Other contamination was also found in or on: three buses, 42 houses, fourteen cars, five pigs, and 50,000 rolls of toilet paper Why such a large figure for toilet paper? Is it somehow more easily contaminated by…
This makes me want to dump all my TI-Basic programs from my calculator and put them into source control.
I just got a terrible idea: combine this with another project, that built Tetris in Conway's Game of Life. That would enable executing an arbitrary program in Tetris, simulated in Game of Life.…
Zettelkästen certainly aren't new, as the technique was popularized in the 1950s and had been around for much longer.
Try doing it in Whitespace then :) https://github.com/andrewarchi/ws-challenges
I've created a similar repo of puzzles, including Advent of Code, but solved in the Whitespace programming language. Even otherwise easy puzzles are made significantly more difficult in Whitespace, as it is a quite…
To see if gojq works even with complex jq programs, I tested it on my wsjq[0] Whitespace language interpreter, which uses most of the advanced jq features. It impressively appears to support the full jq language, though…
According to Guinness, the top is Voyager 2: > The computer system that has been in continual operation for the longest period is the Computer Command System (CCS) onboard NASA's Voyager 2 spacecraft. This pair of…
In my fork of the article, I added documentation links and ordered the sections more sensibly: https://github.com/andrewarchi/compiler-notes/blob/main/rust...
> you can use a "folder structure" of tags. You can name tags things like subcomponent/v1.0.2. […] Doing that can confuse git describe Using the --match option, `git describe --match='subcomponent/*'` fixes this…
In fact, jq already has `map`, which would replace the article's pattern of `[.[]|add]` with `map(add)`. It is defined as such: def map(f): [.[] | f]; Many built-in functions in jq are implemented in jq, in terms of a…
> Parcel CSS is based on the cssparser[0] Rust crate, a browser-grade CSS tokenizer created by Mozilla and used in Firefox. This provides a solid foundation, including tokenization and basic parsing. However, it does…
Was this a port of the Flash app or reverse engineering it? The description on GitHub mentions that the Flash version was made by your friend, so I presume you have the original source available. I've wanted to port an…
I'm solving Advent of Code in Whitespace, a quintessential esolang. https://github.com/andrewarchi/ws-challenges
Sounds like the Nand to Tetris course, gamified. https://www.nand2tetris.org/
I implemented a Whitespace interpreter in jq! https://github.com/andrewarchi/wsjq
What timezone is that? I don’t see it in the tz database. My favorite may be Lord Howe Island in Australia (Australia/Lord_Howe), which uses +10:30 in the winter and +11:00 in the summer.
> instead of refreshing like a lunatic for new information all the time during your day. You simply search for a solution only when you are experiencing a problem. > You treat social media like any other website online.…
I’m in the early stages of working a compiler in Rust and haven’t gotten to the IR infrastructure yet. With Rust’s borrow checker, how can I make the IR graph safe, with its control flow preds and succs and data flow…
I always find it interesting how frequently Dutch is intelligible, knowing German and some basic sound shifts: „Ihr Gulden ist hier einen Thaler wert“
Nuitka looks like a traditional ahead-of-time compiler using SSA form[0] and is written in Python. I’d be interested in seeing performance comparisons with PyPy, which uses the second Futamura protection and is written…
> This was all done within Europe where we have the highest concentration of tor nodes. So Tor nodes take locality into account? Although, that would improve speeds, it seems like an information leak.