How software engineers view science:
Science is the reverse engineering of nature.
Ciro Santilli had once assigned this as one of Ciro Santilli's best random thoughts, but he later found that Wikipedia actually says exactly that: en.wikipedia.org/wiki/Reverse_engineering ("similar to scientific research, the only difference being that scientific research is about a natural phenomenon") so maybe that is where Ciro picked it up unconsciously in the first place.
Video 1. Alegria, Alegria by Caetano Veloso (1968)Source. Critique of Military dictatorship in Brazil.
- 1972
- Transa (1972) album. Literally: "The Fuck", good old seventies. Caetano himself later mentions that this is one of his own favorite albums.[ref] The album was composed when he was living in London.
Video 2. Triste Bahia by Caetano Veloso (1972)Source. Inspired by (or more likely: actually is) Capoeira music.Video 3. Mora na Filosofia by Caetano Veloso (1972)Source.
Video 4. Você Não Entende Nada by Caetano Veloso (1970)Source.Amazing performance at Coliseu dos Recreios, Lisbon. 1981. Discogs says original album is Legal (1970), but wiki page and photos of back disagree...This song talks about a man's mixed desires to remain with his partner and also escape to adventure. It contains one of the most amazing sexual innuendo ever recorded: the man describes foods that his partner will serve him, and the he endlessly eats and eats and eats:translation:eu como, eu como, eu como, você [... huge intentional pause ...] não está entendendo quase nada do que eu digo.
which makes it unclear "you" is part of "I eat you" (to eat (comer) is a slang for fucking), or if "you" is part of the next sentence.I eat, I eat, I eat, you [... huge intentional pause ...] don't understand anything that I'm saying.
Video 5. Partido Alto by Caetano Veloso (1972)Source. Atheism song (theodicy)! Lyrics by Chico Buarque, but Ciro Santilli prefers this interpretation. From the 1972 "Caetano E Chico Juntos E Ao Vivo" joint album with Chico Buarque.
- 1975 Qualquer coisa album
Video 6. Qualquer Coisa by Caetano Veloso (1975)Source.Video 7. Samba e Amor by Caetano Veloso (1975)Source. Cover from original song by Chico Buarque, original album Chico Buarque de Hollanda - Nº4. Desperately reminds Ciro of his University day weekend nights. Except that there was no Samba. And little Amor. Mostly a silent and wholesome loneliness and emulation.Video 8. Georde de Capadócia by Caetano Veloso (1975)Source.Composed by Jorge Ben, but this interpretation is remarkable. corpo fechado (closed body) style song. This idea is much linked to Capoeira/African religion idea. E.g. a more traditional capoeira corpo fechado song: www.youtube.com/watch?v=tfd9j6XFmSgVideo 9. Coricos' prayer scene from Black God, White Devil (1964)Source. This shows an Amazing corpo fechado scene from an amazing old black an white Brazilian film.
- 1976 Doces Bárbaros (1976) album
Video 10. Um Índio by Caetano Veloso (1976)Source. Recording from 1992. Also appeared in the Bicho (1977) album. - 1977 Bicho (1977)
Video 11. Tigresa by Caetano Veloso (1977)Source. Talks about a strong willed, unapologetic, disenchanted, but also hopeful brown skinned lover: a tigress. Ciro once knew one, but it wasn't meant to be.
- 1978 album Muito (Dentro da Estrela Azulada)
Video 12. Sampa by Caetano Veloso (1978)Source."Sampa" is an affectionate slang for São Paulo City. The song perfectly captures the city, and reminds Ciro so badly of his University days there.[D]a força da grana que ergue e destroi coisas belas
The power of money that builds and destroy beautiful thingsVideo 13. Terra by Caetano Veloso (1978)Source."Terra" means Earth in Portuguese.Ciro used to watch a television nature show called "Planeta Terra" in the legendary TV Cultura with his parents in the couch when he was young, and under a duvet when it was a bit cold. Those days were the best. The narrator's lady voice was particularly soothing, and would easily put you in a kind of sleepy trance, her name is Valéria GrilloTODO what was the original show exactly? Here is a sample: www.youtube.com/watch?v=vNwfYEMdrRU Very likely just a translation of some British nature show with a custom Brazilian intro and presenter. Credits at end mention English narrator: "Eugene Fraser", and "Thirteen WNET Nature" production, which produced Nature (1982) that ran since 1982, making that a likely candidate. - 1980
Video 14. Menino do Rio by Caetano Veloso (1980)Source. Apparently served as inspiration for the Menino do Rio (1980) movie, which is silly, but a worthwhile record of the times. - 1984 Velô (1984)
Video 15. O Quereres by Caetano Veloso (1984)Source. Notable quote from the chorus that is often in Ciro's mind:translation:Ah, bruta flor, do querer
Oh, brute flower of the wanting
Holds strings for the symbol table.
This section has
sh_type == SHT_STRTAB.It is pointed to by outputs:
sh_link == 5 of the .symtab section.readelf -x .strtab hello_world.oHex dump of section '.strtab':
0x00000000 0068656c 6c6f5f77 6f726c64 2e61736d .hello_world.asm
0x00000010 0068656c 6c6f5f77 6f726c64 0068656c .hello_world.hel
0x00000020 6c6f5f77 6f726c64 5f6c656e 005f7374 lo_world_len._st
0x00000030 61727400 art.This implies that it is an ELF level limitation that global variables cannot contain NUL characters.
Envelope.
Generalization of AlphaGo Zero that plays Go, Chess and shogi.
- www.science.org/doi/10.1126/science.aar6404 A general reinforcement learning algorithm that masters Chess, Shogi, and Go through self-play by Silver et al. (2018), published without source code
- www.quora.com/Is-there-an-Open-Source-version-of-AlphaZero-specifically-the-generic-game-learning-tool-distinct-from-AlphaGo
www.quora.com/Which-chess-engine-would-be-stronger-Alpha-Zero-or-Stockfish-12/answer/Felix-Zaslavskiy explains that it beat Stockfish 8. But then Stockfish was developed further and would start to beat it. We know this because although AlphaZero was closed source, they released the trained artificial neural network, so it was possible to replay AlphaZero at its particular stage of training.
Arghh, why so hard... tested 2021:
- SendGrid: this one is the first one I got working on free tier!
- Mailgun: the Heroku add-on creates a free plan. This is smaller than the flex plan and does not allow custom domains, and is not available when signing up on mailgun.com directly: help.mailgun.com/hc/en-us/articles/203068914-What-Are-the-Differences-Between-the-Free-and-Flex-Plans- And without custom domains you cannot send emails to anyone, only to people in the 5 manually whitelisted list, thus making this worthless. Also, gmail is not able to verify the DNS of the sandbox emails, and they go to spam.Mailgun does feel good otherwise if you are willing to pay. Their Heroku integration feels great, exposes everything you need on environment variables straight away.
- CloudMailin: does not feel as well developed as Mailgun. More focus on receiving. Tried adding TXT xxx._domainkey.ourbigbook.com and CNAME mta.ourbigbook.com entires with custom domain to see if it works, took forever to find that page... www.cloudmailin.com/outbound/domains/xxx Domain verification requires a bit of human contact via email.They also don't document their Heroku usage well. The envvars generated on Heroku are useless, only to login on their web UI. The send username and password must be obtained on their confusing web ui.
Brother of andrew the Apostle, called by Jesus in fishers of men. Born Simon, but Jesus renamed him to Peter, thus the weird "Simon called Peter" way he is referred to as in some versions of the Bible.
"Intel Research Lablets", that's a terrible name.
Section type:
sh_type == SHT_SYMTAB.Common name: "symbol table".
First the we note that:
sh_link=5sh_info=6
For
SHT_SYMTAB sections, those numbers mean that:- strings that give symbol names are in section 5,
.strtab - the relocation data is in section 6,
.rela.text
A good high level tool to disassemble that section is:which gives:
nm hello_world.o0000000000000000 T _start
0000000000000000 d hello_world
000000000000000d a hello_world_lenThis is however a high level view that omits some types of symbols and in which the symbol types . A more detailed disassembly can be obtained with:which gives:
readelf -s hello_world.oSymbol table '.symtab' contains 7 entries:
Num: Value Size Type Bind Vis Ndx Name
0: 0000000000000000 0 NOTYPE LOCAL DEFAULT UND
1: 0000000000000000 0 FILE LOCAL DEFAULT ABS hello_world.asm
2: 0000000000000000 0 SECTION LOCAL DEFAULT 1
3: 0000000000000000 0 SECTION LOCAL DEFAULT 2
4: 0000000000000000 0 NOTYPE LOCAL DEFAULT 1 hello_world
5: 000000000000000d 0 NOTYPE LOCAL DEFAULT ABS hello_world_len
6: 0000000000000000 0 NOTYPE GLOBAL DEFAULT 2 _startThe binary format of the table is documented at www.sco.com/developers/gabi/2003-12-17/ch4.symtab.html
The data is:which gives:
readelf -x .symtab hello_world.oHex dump of section '.symtab':
0x00000000 00000000 00000000 00000000 00000000 ................
0x00000010 00000000 00000000 01000000 0400f1ff ................
0x00000020 00000000 00000000 00000000 00000000 ................
0x00000030 00000000 03000100 00000000 00000000 ................
0x00000040 00000000 00000000 00000000 03000200 ................
0x00000050 00000000 00000000 00000000 00000000 ................
0x00000060 11000000 00000100 00000000 00000000 ................
0x00000070 00000000 00000000 1d000000 0000f1ff ................
0x00000080 0d000000 00000000 00000000 00000000 ................
0x00000090 2d000000 10000200 00000000 00000000 -...............
0x000000a0 00000000 00000000 ........The entries are of type:
typedef struct {
Elf64_Word st_name;
unsigned char st_info;
unsigned char st_other;
Elf64_Half st_shndx;
Elf64_Addr st_value;
Elf64_Xword st_size;
} Elf64_Sym;Like in the section table, the first entry is magical and set to a fixed meaningless values.
TODO what does this Chinese forum track? New registrations? Their focus seems to be domain name speculation
Some of the threads contain domain dumps. We haven't yet seen a scrapable URL pattern, but their data goes way back and did have various hits. The forum seems to have started in 2006: club.domain.cn/forum.php?mod=forumdisplay&fid=41&page=10127
club.domain.cn/forum.php?mod=viewthread&tid=241704 "【国际域名拟删除列表】2007年06月16日" is the earliest list we could find. It is an expired domain list.
Some hits:
- club.domain.cn/forum.php?mod=viewthread&tid=709388 contains
alljohnny.comThe thread title is "2009.5.04". The post date 2009-04-30Breadcrumb nav: 域名论坛 > 域名增值交易区 > 国际域名专栏 (domain name forum > area for domain names increasing in value > international domais)
TODO human presumably?
I don't think it has any advantage over KEGG however, besides historical interest? Maybe slightly more manual layout and so more beautiful?
James Somers (rightly) likes to point to it as a "biology is awesome" thing.
Appears to be the best classic open source roguelike of the 2020's.
This website is really cool! crawl.akrasiac.org:8080/#lobby You can spectate players live and chat! Also has statistics.
Devs of this game are smart, they have one good in-tree tileset, unlike some other text-based games that didn't have an in-tree option...
Build on Ubuntu 21.10:
sudo apt install build-essential libncursesw5-dev bison flex liblua5.1-0-dev \
libsqlite3-dev libz-dev pkg-config python3-yaml binutils-gold python-is-python3 \
libsdl2-image-dev libsdl2-mixer-dev libsdl2-dev libfreetype6-dev libpng-dev \
fonts-dejavu-core advancecomp pngcrush
git clone --depth 1 --branch 0.28.0 https://github.com/crawl/crawl
cd crawl/crawl-ref/source
echo 0.28-a > util/release_ver
make -j`nproc` TILES=y
./crawlThis launches the UI version already for you.
Now that we've done one section manually, let's graduate and use the
readelf -S of the other sections: [Nr] Name Type Address Offset
Size EntSize Flags Link Info Align
[ 2] .text PROGBITS 0000000000000000 00000210
0000000000000027 0000000000000000 AX 0 0 16.text is executable but not writable: if we try to write to it Linux segfaults. Let's see if we really have some code there:objdump -d hello_world.ohello_world.o: file format elf64-x86-64
Disassembly of section .text:
0000000000000000 <_start>:
0: b8 01 00 00 00 mov $0x1,%eax
5: bf 01 00 00 00 mov $0x1,%edi
a: 48 be 00 00 00 00 00 movabs $0x0,%rsi
11: 00 00 00
14: ba 0d 00 00 00 mov $0xd,%edx
19: 0f 05 syscall
1b: b8 3c 00 00 00 mov $0x3c,%eax
20: bf 00 00 00 00 mov $0x0,%edi
25: 0f 05 syscallIf we grep
b8 01 00 00 on the hd, we see that this only occurs at 00000210, which is what the section says. And the Size is 27, which matches as well. So we must be talking about the right section.This looks like the right code: a
write followed by an exit.The most interesting part is line to pass the address of the string to the system call. Currently, the This modification is possible because of the data of the
a which does:movabs $0x0,%rsi0x0 is just a placeholder. After linking happens, it will be modified to contain:4000ba: 48 be d8 00 60 00 00 movabs $0x6000d8,%rsi.rela.text section.They died so completely, Googling "ICL" now has higher hits such as Imperial College London.
Why the UK's IBM Failed by Asianometry (2022)
Source. Main lesson perhaps: don't put national money to fight already established markets. You have to fight for what is coming up next. E.g. that is part of the reason for TSMC's success. Unlisted articles are being shown, click here to show only listed articles.