Ciro Santilli @cirosantilli 37

The following things come to mind when you look into research in this area, especially the search for BB(5) which was hard but doable:

Bibliography:

If you can reduce a mathematical problem to the Halting problem of a specific turing machine, as in the case of a few machines of the Busy beaver scale, then using Turing machine deciders could serve as a method of automated theorem proving.

That feels like it could be an elegant proof method, as you reduce your problem to one of the most well studied representations that exists: a Turing machine.

However it also appears that certain problems cannot be reduced to a halting problem... OMG life sucks (or is awesome?): Section "Turing machine that halts if and only if Collatz conjecture is false".

ECDH has smaller keys. youtu.be/gAtBM06xwaw?t=634 mentions some interesting downsides:

Stopped 2019 apparently. Shame. We need something to be upstreamed!

bbchallenge.org/story#what-is-known-about-bb lists some (all?) cool examples,

wiki.bbchallenge.org/wiki/Cryptids contains a larger list. In June 2024 it was discovered that BB(6) is hard.

Turing machine acceleration refers to using high level understanding of specific properties of specific Turing machines to be able to simulate them much fatser than naively running the simulation as usual.

Acceleration allows one to use simulation to find infinite loops that might be very long, and would not be otherwise spotted without acceleration.

This is for example the case of www.sligocki.com/2023/03/13/skelet-1-infinite.html proof of Skelet machine #1.

This is a neologism by Ciro Santilli, it refers to the fact that Zatoichi was not fully blind, but extremely hard of sight, which makes him:and metaphorically refers to similar situations where a person or group of people are in the middle of two groups and not part of either of them.

A related thing that comes to mind is Aum Shinrikyo's Prophet Shoko Asahara, who was semi blind, and would bully the fully blind people of his school for blind people.

epigenetics mechanism.

This shows how to produce a minimized fully embedded CSS file with webpack from a sass:That example produces a dist/main.css file which is a compresesd combination of:

The example under verilog/interactive showcases how to create a simple interactive visual Verilog example using Verilator and SDL.

You could e.g. expand such an example to create a simple (or complex) video game for example if you were insane enough. But please don't waste your time doing that, Ciro Santilli begs you.

The example is also described at: stackoverflow.com/questions/38108243/is-it-possible-to-do-interactive-user-input-and-output-simulation-in-vhdl-or-ver/38174654#38174654

Usage: install dependencies:then run as either:Tested on Verilator 4.038, Ubuntu 22.04.

File overview:

In those examples, the more interesting application specific logic is delegated to Verilog (e.g.: move game character on map), while boring timing and display matters can be handled by SDL and C++.

Since you can't escape shitty browser GUIs and live in the command line, the next best thing you can do is to bring Vim bindings to your browser :-)

There is one major annoyance: you can't use ESC to leave the address bar focus, but using Tab as a workaround works:

Here is a vendor showcasing their device. They claim in that video that a single photon is produced and detected:

Concrete device described at: Video "How to use an SiPM - Experiment Video by SensLTech (2018)".