Array of
Elf64_Shdr structs.Each entry contains metadata about a given section.
e_shoff of the ELF header gives the starting position, 0x40 here.So the table takes bytes from 0x40 to
0x40 + 7 + 0x40 - 1 = 0x1FF.Some section names are reserved for certain section types: www.sco.com/developers/gabi/2003-12-17/ch4.sheader.html#special_sections e.g.
.text requires a SHT_PROGBITS type and SHF_ALLOC + SHF_EXECINSTRRunning:outputs:
readelf -S hello_world.oThere are 7 section headers, starting at offset 0x40:
Section Headers:
[Nr] Name Type Address Offset
Size EntSize Flags Link Info Align
[ 0] NULL 0000000000000000 00000000
0000000000000000 0000000000000000 0 0 0
[ 1] .data PROGBITS 0000000000000000 00000200
000000000000000d 0000000000000000 WA 0 0 4
[ 2] .text PROGBITS 0000000000000000 00000210
0000000000000027 0000000000000000 AX 0 0 16
[ 3] .shstrtab STRTAB 0000000000000000 00000240
0000000000000032 0000000000000000 0 0 1
[ 4] .symtab SYMTAB 0000000000000000 00000280
00000000000000a8 0000000000000018 5 6 4
[ 5] .strtab STRTAB 0000000000000000 00000330
0000000000000034 0000000000000000 0 0 1
[ 6] .rela.text RELA 0000000000000000 00000370
0000000000000018 0000000000000018 4 2 4
Key to Flags:
W (write), A (alloc), X (execute), M (merge), S (strings), l (large)
I (info), L (link order), G (group), T (TLS), E (exclude), x (unknown)
O (extra OS processing required) o (OS specific), p (processor specific)The
struct represented by each entry is:typedef struct {
Elf64_Word sh_name;
Elf64_Word sh_type;
Elf64_Xword sh_flags;
Elf64_Addr sh_addr;
Elf64_Off sh_offset;
Elf64_Xword sh_size;
Elf64_Word sh_link;
Elf64_Word sh_info;
Elf64_Xword sh_addralign;
Elf64_Xword sh_entsize;
} Elf64_Shdr;www.youtube.com/playlist?list=PLVV0r6CmEsFzCodipONmNiROhYCUWyz_U interview with Walter Murch by Web of Stories. He worked on sound design for all The Godfather films, and tells some interesting details about it. He's just super nice in general otherwise. E.g.:
- www.youtube.com/watch?v=w4OK8__gfGo talks about the sound design for the restaurant scene in The Godfather Part II (1974)
"De novo" means "starting from scratch", that is: you type the desired sequence into a computer, and the synthesize it.
The "de novo" part is important, because it distinguishes this from the already well solved problem of duplicating DNA from an existing DNA template, which is what all our cells do daily, and which can already be done very efficiently in vitro with polymerase chain reaction.
Notably, the dream of most of those companies is to have a machine that sits on a lab bench, which synthesises whatever you want.
The initial main applications are likely going to be:but the real pipe dream is building and bootstraping entire artificial chromosomes
- polymerase chain reaction primers (determine which region will be amplified
- creating a custom sequence to be inserted in a plasmid, i.e. artificial gene synthesis
News coverage:
- 2023-03 twitter.com/sethbannon/status/1633848116154880001
- 2020-10-05 www.nature.com/articles/s41587-020-0695-9 "Enzymatic DNA synthesis enters new phase"
Nuclera eDNA enzymatic de novo DNA synthesis explanatory animation (2021)
Source. The video shows nicely how Nuclera's enzymatic DNA synthesis works:- they provide blocked nucleotides of a single type
- add them with the enzyme. They use a werid DNA polymerase called terminal deoxynucleotidyl transferase that adds a base at a time to a single stranded DNA strand rather than copying from a template
- wash everything
- do deblocking reaction
- and then repeat until done
www.gvgai.net (dead as of 2023)
The project kind of died circa 2020 it seems, a shame. Likely they funding ran out. The domain is dead as of 2023, last archive from 2022: web.archive.org/web/20220331022932/http://gvgai.net/. Marks as funded by DeepMind. Researchers really should use university/GitHub domain names!
Similar goals to Ciro's 2D reinforcement learning games, but they were focusing mostly on discrete games.
They have some source at: github.com/GAIGResearch/GVGAI TODO review
From QMUL Game AI Research Group:From other universities:TODO check:
- Simon M. Lucas: gaigresearch.github.io/members/Simon-Lucas, principal investigator
- Diego Perez Liebana www.linkedin.com/in/diegoperezliebana/
- Raluca D. Gaina: www.linkedin.com/in/raluca-gaina-347518114/ from Queen Mary
- Ahmed Khalifa
- Jialin Liu
In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.
There are unlisted articles, also show them or only show them.