We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
User:Miui/Dafnemacros
Dafne macros and examples
note: sketch artifacts left from Dafne page design. Miui (talk) 21:42, 20 June 2026 (UTC) |||×11 map: replace each digit d with Map₁₁(d) (V, AF, AQ, BA, BL, BW, CG).
examples
lets try some examples!
"other" quine: Dafne;ora quine; dbd|define:
xkcd: Random Number zk(cd):\\Rara dpat Dafne Z4
Return the number 420: Hydra define Z420
"Hello, World!": Hydra define Z4dabzï|eff|ello, World!;;
"Dafne Teneten Rationet": bd;hydradasat orare tererit;eff
"SAT ORARE POTENTIA ET OPERA A ROTA SERVANT": DAFNE tenet Ten RATIO net:;\\WAX(dbdbdbdbdbdb);
"sat orare potentia et opera a rota servant": DAFNE tenet Rationeten:;\\Wax(dbdbdbdbdbdb);
etc..
Counterfish interpreter
Below shows an example of Hello, World! from 0 using prime-encoded virtual registers. note that it has double-width digits in the expansion rule so it wouldnt actually work. It is for illustrative purposes. CJK translation or other Numeral-like schemes might be promising.
P5 #DAFNE 13 18 255 object seed H0000 AAAAA e0000 AAAAA l1000 AAAAA l2000 AAAAA o0000 AAAAA c0000 AAAAA s0000 AAAAA W0000 AAAAA r0000 AAAAA d0000 AAAAA b0000 AAAAA expand rule [0,0,0,0,0,0,0,2,18] [0,0,0,0,0,0,3,17,17] [0,0,0,0,0,0,4,0,0] [0,0,0,0,0,0,4,0,0] [0,0,0,0,0,0,4,3,3] [0,0,0,0,0,0,1,17,17] [0,0,0,0,0,0,1,5,5] [0,0,0,0,0,0,3,6,6] [0,0,0,0,0,0,4,5,5] [8,8,8,8,8,8,8,8,8]
Regarding I/O: one instance of Gödel-prime-encoding (sourcing one of Dafne's creators User:Miui) is the Backrooms TDP registry.
(See BackroomsTDP#TDP_Register, Counterfish#Copy_(duplicate_and_add)_a_prime_encoded_'virtual'_register)
Dafne et pornon (Truth machine)
Ð-basis PROLAN/M sum
| ($, P) | Wingdings | Pixmap |
|---|---|---|
| P5 | fDFFFFF! ?C b!PPPPPE ?
FR!RRRRRO ??
L!!!!!L ?
pXR!!!!!A ?
lXREEEEE! ?
hXROOOOOP ?
dXRLLLLLA ?
`XRAAAAAN ?F
XnnC RN ?
FXnn
R!R ?
FXnC RBEO ?
FXn
RBBOD ?
FXC RBLLL! ?l
BBBAAA! ?? XnnC RL ?
rX? \\\\\B
?
nX? \\\\BB ?
jXÐ \\\BNA
fX? \\BBNF ?
bXC \BBORP ?
zX`BB!DOR ?
z\XdB!!D! ?
z\\XhL!!! ?
z\\\XlL!E ?
z\\\\XpLO ?
z\\\\\XFL ?
\BBBBBA ?
\!!B!!! ?
\EEOEEP ?
\OODOOA ?
\LL!LLN ?
\AA!AAN ?
BB??L?R ?
!!(GA
O ?
!!??G
D ?
LLBBBBBB! ?
LBCL?
! ??
ACBA?
L
|

