Ciro Santilli @cirosantilli 40

One of the first formal proof systems. This is actually understandable!

This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).

TODO what are its limitations? Why were other systems created?

Verilog simulator that transpiles to C++.

One very good thing about this is that it makes it easy to create test cases directly in C++. You just supply inputs and clock the simulation directly in a C++ loop, then read outputs and assert them with assert(). And you can inspect variables by printing them or with GDB. This is infinitely more convenient than doing these IO-type tasks in Verilog itself.

Some simulation examples under verilog.

First install Verilator. On Ubuntu:Tested on Verilator 4.038, Ubuntu 22.04.

Run all examples, which have assertions in them:

File structure is for example:

Example list:

One nerve fiber under a scanning electron microscope: www.quora.com/Is-a-human-head-transplant-possible-in-the-future/answer/Dimitrios-Michmizos

Also sometimes called helium II, in contrast to helium I, which is the non-superfluid liquid helium phase.

The Hadamard gate takes $|0⟩$ or $|1⟩$ (quantum states with probability 1.0 of measuring either 0 or 1), and produces states that have equal probability of 0 or 1.

Leads to the Dirac equation.

Leads to the Proca equation.

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++.

YouTube channel: www.youtube.com/channel/UCHnyfMqiRRG1u-2MsSQLbXA

Does have some gems worth looking at. But generally always too superficial as can be expected from any self-sufficient YouTubber.

Applications:

The projects you do must always aim to achieving some novel result.

You don't have to necessarily reach it. But you must aim for it.

Novel result can be taken broadly.

E.g., a new tutorial that explains something in a way never done before is novel.

But there must be something to your project that has never been done before.

You can start by reproducing other's work.