aarchi

Well Germany also requires that you surrender other citizenships when you get a German citizenship, unless you are a German dual citizen through ancestry.

Looks like the only use on GitHub so far is Gorgonia, a Go ML library, along with a fast tanh function.

https://github.com/gorgonia/gorgonia/blob/master/math_fast.g...

I like these discretionary ligatures. They give a text character.

> The P521 curve implementation has been rewritten using code generated by the fiat-crypto project, which is based on a formally-verified model of the arithmetic operations. It is now constant-time and three times faster on amd64 and arm64. The observable behavior has not otherwise changed.

This is exciting to see formally-verified Coq code being pulled into Go.

https://github.com/mit-plv/fiat-crypto

It seems that if he didn't explain his motives (i.e. art, not hacking), his actions may have easily been construed differently.

The author divulged passwords, which weren't covered by the warrant.

> "Do I have to give you my password?"

> "If we find something protected that we need access to, we'll have to come back."

> Later I learned that there are different kinds of warrants for retrieving hardware versus getting access to secure information, or even accessing email. But I didn't know this yet. "There's no password on the Mac. It should automatically log you in to anything you need access to." It was kind of ambiguous if I had just given them the right to access my email. "There is a password on the PC. But again, there's nothing there."

I’ve tried Little Snitch, but was quickly annoyed at the high interaction required. Maybe I should give it another shot, especially since I use uMatrix on Firefox, which is a similar concept.

Reminds me of my Whitespace Corpus in its organization, especially the table in the README. I cataloged all known implementations of the Whitespace programming language, including interpreters, compilers, and programs. I recorded detailed information about each in projects.json, then generate the table and other documents.

https://github.com/wspace/corpus

In high school, I discovered a way to print to every printer in the entire district. Every computer would mount the NETLOGON network drive while the user signs in and run a jumble of BAT/VBS scripts to initialize settings for their school, including registering nearby printers and setting up the share drives. Windows Explorer couldn't open the NETLOGON share directly, but that was easy to bypass by opening the containing directory for shortcuts to applications stored on there. I combined the printer init scripts for all the schools, giving my machine access to around 1000 printers and all share drives. I found a lot of interesting things in there like spreadsheets containing substitute teacher and default user credentials. I was nearing graduation, so I wanted to print some prank to all of these printers simultaneously, but I unfortunately didn't follow through because I was afraid of the repercussions. I should have done it.

I've wanted to do this prank ever since I saw it on XKCD, but I think it's largely obsolete now, with the widespread use of HTTPS.

The Vault 7 page on Wikipedia lists a strange ordering for E2EE messengers. Telegram has the weakest security and has only opt-in E2EE for chats, yet is listed first. WhatsApp's Facebook ownership is obviously problematic, but irrelevant to the specific context. I'd reorder it as “Signal, WhatsApp, and Telegram”.

> While the encryption of messengers that offer end-to-end encryption, such as Telegram, WhatsApp and Signal, wasn't reported to be cracked, ...

https://en.wikipedia.org/wiki/Vault_7#Messaging_services

They both start at the entry block (or exported symbols if it's a lib) and traverse the program graph, keeping only live branches. There is no “other direction”. Tree shaking is the same as dead code elimination.

The Windows button is useless if you use the Windows key

“Trusting Trust” is one of my favorites.

I bootstrapped Go 1.14 for FreeBSD 8, with a couple of patches for older syscalls, but I didn't go as far as bootstrapping GCC. I wanted to build a tool that would automatically bootstrap Go (gc and gccgo), but I lost momentum before finishing.

More recently, I bootstrapped Rebol 3, which is a self-hosted compiler, but I couldn't get to the bottom turtle since old versions were closed-source.

(2020)

Several are just ordinary code from BBC repos:

https://github.com/bbc/res/blob/master/lib/res.rb

https://github.com/bbc/audiowaveform/blob/master/src/SndFile...

The JavaScript one is some usage of this library:

https://github.com/bbc/http-transport-circuit-breaker

One of the snippets prints Fibonacci in the Chef programming language via a caramel recipe.

https://www.dangermouse.net/esoteric/chef_fib.html

DDG will add more results, if enough are hidden. If I search "w3schools" with my filter, there are only two results on the first page that are not hidden, so it immediately displays the second page below. It seems that they planned for this use case.

If you're referring to user-curated search result blocking, that's very easy with DuckDuckGo and uBlock Origin (just block elements like [data-domain="w3schools.com"]; see my comment to the GP). I don't know of any large extant lists like this though.

Wow that's a phenomenal effort! It's surprisingly complex converting between regexp dialects.

A logic programming language like Prolog seems like it would have been a good fit for solving the bytecode packing with constraints.

Fortran has a lot of interesting current compiler work leveraging MLIR, a subproject of LLVM: Flang [0] and CIL for C/C++/Fortran [1]. It seems like Fortran tooling is making somewhat of a comeback.

[0]: https://github.com/llvm/llvm-project/tree/main/flang

[1]: https://llvm.org/devmtg/2020-09/slides/CIL_Common_MLIR_Abstr...

What would you recommend that covers data flow analysis better than the dragon book? I'm currently starting data flow analysis for my own compiler using intervals and/or modular congruences (operations can be reduced to congruences, then combined with the Chinese Remainder Theorem). What are the theoretical advantages of intervals and what do you recommend over that?

The circle is centered around Green Island. Several more circles can be seen further south near Ras Abu Rudeis. It seems that water only seems to be displayed near land and is replaced with simulated blue otherwise.

“Everybody” is too strong of a quantifier. The named companies (EFF, Mozilla, Brave, Vivaldi, and DuckDuckGo) are all well-known privacy advocates. Not included are user perceptions or competing adtech views.

The trouble with the Compass app is that it's infrequently used, so will usually be automatically offloaded and will need to be downloaded again when you're lost with limited internet access.

Whereas in Pijul and Darcs, commits (called patches) are diffs, not snapshots. They are based on a sound theory of patches, which allows for operations not supported by Git like commuting, as long as the commits aren't interdependent. Plus, language-specific tools can extend the notion of dependency from line-based to semantic.

It should work with Brave too.

Here are some notes on the paper's authenticity (in German): https://blog.fefe.de/?ts=9ec00c82

Amusingly, at the bottom of the page, it states “Proudly made without PHP, Java, Perl, MySQL and Postgres”.

There's also Archive Team, focused on preserving at-risk sites before being taken offline.

https://wiki.archiveteam.org/