Common Table Expression by Ciro Santilli 37 Updated +Created
rm -f tmp.sqlite
sqlite3 tmp.sqlite 'create table t(i integer)'
sqlite3 tmp.sqlite 'insert into t values (1), (2)'
sqlite3 tmp.sqlite 'with mycte as ( select * from t ) delete from mycte where i = 1'
sqlite3 tmp.sqlite 'select * from t'
Nested set model in SQL by Ciro Santilli 37 Updated +Created
How to implement Nested set model in SQL:
python/sympy_cheat/logarithm_integral.py by Ciro Santilli 37 Updated +Created
torchvision ResNet by Ciro Santilli 37 Updated +Created
That example uses a ResNet pre-trained on the COCO dataset to do some inference, tested on Ubuntu 22.10:
cd python/pytorch
wget -O resnet_demo_in.jpg https://upload.wikimedia.org/wikipedia/commons/thumb/6/60/Rooster_portrait2.jpg/400px-Rooster_portrait2.jpg
./resnet_demo.py resnet_demo_in.jpg resnet_demo_out.jpg
This first downloads the model, which is currently 167 MB.
We know it is COCO because of the docs: pytorch.org/vision/0.13/models/generated/torchvision.models.detection.fasterrcnn_resnet50_fpn_v2.html which explains that
FasterRCNN_ResNet50_FPN_V2_Weights.DEFAULT
is an alias for:
FasterRCNN_ResNet50_FPN_V2_Weights.COCO_V1
The runtime is relatively slow on P51, about 4.7s.
After it finishes, the program prints the recognized classes:
['bird', 'banana']
so we get the expected bird, but also the more intriguing banana.
By looking at the output image with bounding boxes, we understand where the banana came from!
Figure 1.
python/pytorch/resnet_demo_in.jpg
. Source.
Figure 2.
python/pytorch/resnet_demo_out.jpg
. The beak was of course a banana, not a beak!
Chess UI by Ciro Santilli 37 Updated +Created
Computer science YouTube channel by Ciro Santilli 37 Updated +Created
Student society by Ciro Santilli 37 Updated +Created
Symmetry breaking by Ciro Santilli 37 Updated +Created
Tensor product by Ciro Santilli 37 Updated +Created
Classification of finite rings by Ciro Santilli 37 Updated +Created
accounts for them all, which we know how to do due to the classification of finite fields.
So we see that the classification is quite simple, much like the classification of finite fields, and in strict opposition to the classification of finite simple groups (not to mention the 2023 lack of classification for non simple finite groups!)
1972 Nobel Prize in Physics by Ciro Santilli 37 Updated +Created
Animal-in-the-loop by Ciro Santilli 37 Updated +Created
Ciro Santilli invented this term, it refers to mechanisms in which you put an animal in a virtual world that the animal can control, and where you can measure the animal's outputs.
Regular language by Ciro Santilli 37 Updated +Created
Galactic algorithm by Ciro Santilli 37 Updated +Created

There are unlisted articles, also show them or only show them.