< 1716336071 202200 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 264 seconds < 1716336277 338277 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord < 1716336827 171775 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 QUIT :Ping timeout: 264 seconds < 1716336949 353859 :Lord_of_Life!~Lord@user/lord-of-life/x-2819915 JOIN #esolangs Lord_of_Life :Lord > 1716339436 348522 PRIVMSG #esolangs :14[[07!English14]]4 10 02https://esolangs.org/w/index.php?diff=128557&oldid=128474 5* 03MihaiEso 5* (-49) 10Removed broken link (deleted by a admin). < 1716340084 607771 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1716340102 643828 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1716341556 183521 :amby!~ambylastn@31.205.89.228 QUIT :Quit: so long suckers! i rev up my motorcylce and create a huge cloud of smoke. when the cloud dissipates im lying completely dead on the pavement < 1716355372 385489 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1716355807 596974 :Sgeo!~Sgeo@user/sgeo QUIT :Read error: Connection reset by peer < 1716355998 127776 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1716356643 941404 PRIVMSG #esolangs :14[[07Shell14]]4 10 02https://esolangs.org/w/index.php?diff=128558&oldid=128554 5* 03Ractangle 5* (+2) 10/* Truth-machine */ < 1716356651 240038 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1716356690 762122 PRIVMSG #esolangs :14[[07Shell14]]4 10 02https://esolangs.org/w/index.php?diff=128559&oldid=128558 5* 03Ractangle 5* (+23) 10/* Truth-machine */ > 1716356904 978889 PRIVMSG #esolangs :14[[07Shell14]]4 10 02https://esolangs.org/w/index.php?diff=128560&oldid=128559 5* 03Ractangle 5* (+63) 10 > 1716356914 478773 PRIVMSG #esolangs :14[[07Shell14]]4 10 02https://esolangs.org/w/index.php?diff=128561&oldid=128560 5* 03Ractangle 5* (+1) 10/* Truth-machine */ > 1716359250 594372 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=128562&oldid=128419 5* 03Ractangle 5* (+326) 10/* PokBattle */ > 1716359277 958523 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=128563&oldid=128562 5* 03Ractangle 5* (+6) 10/* Postrado */ < 1716359350 551415 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1716359743 257840 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User > 1716360872 922199 PRIVMSG #esolangs :14[[07'basic14]]4 10 02https://esolangs.org/w/index.php?diff=128564&oldid=128546 5* 03Ractangle 5* (+104) 10 < 1716360881 908743 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… < 1716362507 42890 :Koen_!~Koen@2a04:cec0:103e:71a9:3197:fc1:b79e:1172 JOIN #esolangs * :Koen > 1716363041 401915 PRIVMSG #esolangs :14[[0714]]4 10 02https://esolangs.org/w/index.php?diff=128565&oldid=128173 5* 03Ractangle 5* (-808) 10Fuck the unimplemented libraries and stuff < 1716363719 999187 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1716364157 725677 :b_jonas!~x@88.87.242.184 QUIT :Quit: leaving < 1716366269 181275 :__monty__!~toonn@user/toonn JOIN #esolangs toonn :Unknown < 1716367744 863335 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Remote host closed the connection < 1716367798 922409 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1716368367 463836 :moony8929!moony@hellomouse/dev/moony JOIN #esolangs moony :Kaylie! (she/her) < 1716368473 609790 :moony892!moony@hellomouse/dev/moony QUIT :Read error: Connection reset by peer < 1716368474 786502 :dnm_!sid401311@id-401311.lymington.irccloud.com JOIN #esolangs * :dnm < 1716368474 988771 :dnm!sid401311@id-401311.lymington.irccloud.com QUIT :Ping timeout: 268 seconds < 1716368476 474710 :moony8929!moony@hellomouse/dev/moony NICK :moony892 < 1716368479 866865 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Ping timeout: 268 seconds < 1716368480 789455 :V!~v@ircpuzzles/2022/april/winner/V QUIT :Ping timeout: 268 seconds < 1716368499 791697 :V!~v@ircpuzzles/2022/april/winner/V JOIN #esolangs V :Wie? > 1716372784 934660 PRIVMSG #esolangs :14[[07()s14]]4 10 02https://esolangs.org/w/index.php?diff=128566&oldid=86584 5* 03Kaveh Yousefi 5* (+669) 10Supplemented two further example programs, one being a repeating cat program, the other a looping counter. > 1716372850 935100 PRIVMSG #esolangs :14[[07()s14]]4 10 02https://esolangs.org/w/index.php?diff=128567&oldid=128566 5* 03Kaveh Yousefi 5* (+160) 10Added a hyperlink to my implementation of the {}s programming language on GitHub and altered the Unimplemented category tag to Implemented. < 1716374631 98508 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1716380254 173922 :amby!~ambylastn@31.205.89.228 JOIN #esolangs amby :realname < 1716381827 653489 :lynndotpy!~rootcanal@134.122.123.70 QUIT :Quit: Ping timeout (120 seconds) < 1716381843 970212 :lynndotpy!~rootcanal@134.122.123.70 JOIN #esolangs lynndotpy :lynn > 1716382475 896355 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03AnyPuter 5* 10New user account < 1716383213 182553 :Koen__!~Koen@2a04:cec0:1023:9443:584c:29df:387c:75a1 JOIN #esolangs * :Koen < 1716383303 48723 :Koen_!~Koen@2a04:cec0:103e:71a9:3197:fc1:b79e:1172 QUIT :Ping timeout: 260 seconds < 1716383459 550102 :Koen__!~Koen@2a04:cec0:1023:9443:584c:29df:387c:75a1 QUIT :Remote host closed the connection > 1716383478 48373 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=128568&oldid=128479 5* 03AnyPuter 5* (+217) 10/* Introductions */ > 1716384088 443229 PRIVMSG #esolangs :14[[07Xand14]]4 N10 02https://esolangs.org/w/index.php?oldid=128569 5* 03Yourusername 5* (+513) 10Created page with "Xand is a programming language that is a OISC, x, y, z -> x = ((x xor y) and z) == Not === (a) a, 1, 1 #a will be negated, 0 to 1, 1 to 0, numbers turn into binary, 4 -> 100, 8 -> 1000 == And === (a, b) a, 0, b #a and b will be combined, 1, 1 -> 1, else 0 == Nand = > 1716384103 446917 PRIVMSG #esolangs :14[[07Xand14]]4 10 02https://esolangs.org/w/index.php?diff=128570&oldid=128569 5* 03Yourusername 5* (-2) 10 > 1716384424 141639 PRIVMSG #esolangs :14[[07Xand14]]4 10 02https://esolangs.org/w/index.php?diff=128571&oldid=128570 5* 03Yourusername 5* (+99) 10 > 1716384520 48049 PRIVMSG #esolangs :14[[07Xand14]]4 10 02https://esolangs.org/w/index.php?diff=128572&oldid=128571 5* 03Yourusername 5* (+53) 10 < 1716385481 958847 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Quit: My iMac has gone to sleep. ZZZzzz… > 1716385730 252103 PRIVMSG #esolangs :14[[07Esolang:Sandbox/Sandbin14]]4 10 02https://esolangs.org/w/index.php?diff=128573&oldid=127134 5* 03Froginstarch 5* (+14) 10/* Ironlang */ > 1716385849 554919 PRIVMSG #esolangs :14[[07Esolang:Sandbox/Sandbin14]]4 10 02https://esolangs.org/w/index.php?diff=128574&oldid=128573 5* 03Froginstarch 5* (+17) 10/* Slammer */ > 1716385891 738545 PRIVMSG #esolangs :14[[07Esolang:Sandbox/Sandbin14]]4 10 02https://esolangs.org/w/index.php?diff=128575&oldid=128574 5* 03Froginstarch 5* (-1) 10/* Slammer */ > 1716385987 320288 PRIVMSG #esolangs :14[[07Esolang:Sandbox/Sandbin14]]4 10 02https://esolangs.org/w/index.php?diff=128576&oldid=128575 5* 03Froginstarch 5* (+38) 10/* Slammer */ < 1716386088 775721 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl JOIN #esolangs * :Textual User < 1716387908 987741 :Koen_!~Koen@2a04:cec0:1023:9443:3414:ca20:3ef5:c345 JOIN #esolangs * :Koen > 1716389588 475657 PRIVMSG #esolangs :14[[07'basic14]]4 10 02https://esolangs.org/w/index.php?diff=128577&oldid=128564 5* 03Ractangle 5* (+75) 10/* Commands */ > 1716389747 131379 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Washi 5* 10New user account > 1716389941 606792 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=128578&oldid=128568 5* 03Washi 5* (+242) 10/* Introductions */ > 1716391971 69499 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=128579&oldid=127501 5* 03Washi 5* (+700) 10/* Mathematics */ added "WAKE" > 1716392070 951760 PRIVMSG #esolangs :14[[07List of ideas14]]4 10 02https://esolangs.org/w/index.php?diff=128580&oldid=128579 5* 03Washi 5* (+55) 10/* Mathematics */ > 1716394353 779710 PRIVMSG #esolangs :14[[07Talk:A-DU14]]4 N10 02https://esolangs.org/w/index.php?oldid=128581 5* 03Washi 5* (+959) 10Created page with "I'm a fan of Linear A, plus I'm a fan of partially-usable esolangs, so take or leave these suggestions! * PO-TO-KU-RO could always mark the module end? * Thought: A-DU has ten commodity types. Can those types be overloaded with actual program-type definitions? ** e.g. > 1716394393 182473 PRIVMSG #esolangs :14[[07Talk:A-DU14]]4 10 02https://esolangs.org/w/index.php?diff=128582&oldid=128581 5* 03Washi 5* (+105) 10 > 1716394917 205013 PRIVMSG #esolangs :14[[07Talk:A-DU14]]4 10 02https://esolangs.org/w/index.php?diff=128583&oldid=128582 5* 03Washi 5* (+612) 10/* Speculative Suggestions */ > 1716395125 575693 PRIVMSG #esolangs :14[[07Talk:A-DU14]]4 10 02https://esolangs.org/w/index.php?diff=128584&oldid=128583 5* 03Washi 5* (+114) 10/* Speculative Suggestions */ > 1716395164 586394 PRIVMSG #esolangs :14[[07Talk:A-DU14]]4 10 02https://esolangs.org/w/index.php?diff=128585&oldid=128584 5* 03Washi 5* (+6) 10/* Speculative Suggestions */ > 1716395654 402246 PRIVMSG #esolangs :14[[07Talk:A-DU14]]4 10 02https://esolangs.org/w/index.php?diff=128586&oldid=128585 5* 03Washi 5* (-36) 10/* Speculative Suggestions */ < 1716396190 545779 :tromp!~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl QUIT :Read error: Connection reset by peer > 1716399283 609899 PRIVMSG #esolangs :14[[07'basic14]]4 10 02https://esolangs.org/w/index.php?diff=128587&oldid=128577 5* 03Ractangle 5* (-74) 10/* Commands */ > 1716399351 786035 PRIVMSG #esolangs :14[[07'basic14]]4 10 02https://esolangs.org/w/index.php?diff=128588&oldid=128587 5* 03Ractangle 5* (+40) 10 > 1716399809 964368 PRIVMSG #esolangs :14[[07Talk:0 bytes XD14]]4 N10 02https://esolangs.org/w/index.php?oldid=128589 5* 03Ractangle 5* (+183) 10Created page with "it's time for me to port this truth-machine esolang into python ~~~~" > 1716400228 930992 PRIVMSG #esolangs :14[[070 bytes XD14]]4 10 02https://esolangs.org/w/index.php?diff=128590&oldid=127008 5* 03Ractangle 5* (+75) 10snake > 1716400261 947605 PRIVMSG #esolangs :14[[070 bytes XD14]]4 10 02https://esolangs.org/w/index.php?diff=128591&oldid=128590 5* 03Ractangle 5* (+8) 10/* Python */ > 1716401446 522583 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Mari 5* 10New user account > 1716401766 53620 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=128592&oldid=128578 5* 03Mari 5* (+235) 10add Introduction > 1716401899 718109 PRIVMSG #esolangs :14[[07User:Mari14]]4 N10 02https://esolangs.org/w/index.php?oldid=128593 5* 03Mari 5* (+4) 10mrrp > 1716402520 332782 PRIVMSG #esolangs :14[[07Special:Log/newusers14]]4 create10 02 5* 03Mr. System Error 5* 10New user account > 1716402968 145633 PRIVMSG #esolangs :14[[07Caca14]]4 N10 02https://esolangs.org/w/index.php?oldid=128594 5* 03Mari 5* (+1730) 10create page and add some stuff > 1716403014 843348 PRIVMSG #esolangs :14[[07Esolang:Introduce yourself14]]4 10 02https://esolangs.org/w/index.php?diff=128595&oldid=128592 5* 03Mr. System Error 5* (+379) 10/* Introductions */ < 1716403560 961106 :Koen_!~Koen@2a04:cec0:1023:9443:3414:ca20:3ef5:c345 QUIT :Remote host closed the connection > 1716406589 703853 PRIVMSG #esolangs :14[[07Esolang:Sandbox/Sandbin14]]4 10 02https://esolangs.org/w/index.php?diff=128596&oldid=128576 5* 03PaxtonPenguin 5* (+21) 10Cat > 1716406790 169887 PRIVMSG #esolangs :14[[07Caca14]]4 M10 02https://esolangs.org/w/index.php?diff=128597&oldid=128594 5* 03PythonshellDebugwindow 5* (+146) 10Formatting, categories > 1716406955 22232 PRIVMSG #esolangs :14[[0714]]4 N10 02https://esolangs.org/w/index.php?oldid=128598 5* 03Ractangle 5* (+97) 10Created page with "{{Stub}} '''''' (pronounsed as Delta) is a esolang created by [[User:Ractangle]] ==Commands==" > 1716407043 860898 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=128599&oldid=128552 5* 03Ractangle 5* (+64) 10 > 1716407207 258083 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03PaxtonPenguin 5* 10uploaded "[[02File:Peepy.jpeg10]]": I didn't make this, but it is public domain. (It's an image off of the website where you can buy these things) > 1716407227 922100 PRIVMSG #esolangs :14[[07User:PaxtonPenguin14]]4 10 02https://esolangs.org/w/index.php?diff=128601&oldid=127570 5* 03PaxtonPenguin 5* (+25) 10 > 1716407901 941670 PRIVMSG #esolangs :14[[07Special:Log/move14]]4 move10 02 5* 03Ractangle 5* 10moved [[0210]] to [[Byte]] > 1716407997 870645 PRIVMSG #esolangs :14[[07Byte14]]4 10 02https://esolangs.org/w/index.php?diff=128604&oldid=128602 5* 03Ractangle 5* (-1037) 10 > 1716408056 314609 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=128605&oldid=128599 5* 03Ractangle 5* (-6) 10/* Language List */ > 1716408087 53043 PRIVMSG #esolangs :14[[07User:Ractangle14]]4 10 02https://esolangs.org/w/index.php?diff=128606&oldid=128605 5* 03Ractangle 5* (-11) 10/* Language List */ > 1716408104 73438 PRIVMSG #esolangs :14[[07Byte14]]4 10 02https://esolangs.org/w/index.php?diff=128607&oldid=128604 5* 03Ractangle 5* (-14) 10 < 1716408364 397009 :dnm_!sid401311@id-401311.lymington.irccloud.com NICK :dnm < 1716408392 668314 :dnm!sid401311@id-401311.lymington.irccloud.com QUIT : < 1716408409 382816 :dnm!sid401311@id-401311.lymington.irccloud.com JOIN #esolangs dnm :dnm < 1716408443 47983 :ais523!~ais523@user/ais523 JOIN #esolangs ais523 :(this is obviously not my real name) > 1716409468 119492 PRIVMSG #esolangs :14[[07Byte14]]4 10 02https://esolangs.org/w/index.php?diff=128608&oldid=128607 5* 03Ractangle 5* (+65) 10 > 1716409530 767404 PRIVMSG #esolangs :14[[07Guh14]]4 10 02https://esolangs.org/w/index.php?diff=128609&oldid=128284 5* 03Ractangle 5* (+52) 10 > 1716411158 521131 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128610&oldid=128597 5* 03Mari 5* (+423) 10fix truth machine > 1716411897 657006 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128611&oldid=128610 5* 03Mari 5* (+321) 10add mention of Guh > 1716412158 634069 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128612&oldid=128611 5* 03Mari 5* (+26) 10Formatting > 1716412288 669752 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128613&oldid=128612 5* 03Mari 5* (+164) 10/* Trivia */ add Nucaca?/Zecaca? trivia > 1716412392 763812 PRIVMSG #esolangs :14[[07Caca14]]4 M10 02https://esolangs.org/w/index.php?diff=128614&oldid=128613 5* 03Mari 5* (+4) 10/* Trivia */ > 1716412436 435987 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128615&oldid=128614 5* 03Mari 5* (+24) 10add Implementations > 1716412621 302262 PRIVMSG #esolangs :14[[07Special:Log/upload14]]4 upload10 02 5* 03Mari 5* 10uploaded "[[02File:I caca.png10]]" > 1716412701 946847 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128617&oldid=128615 5* 03Mari 5* (+185) 10add I caca sticker < 1716413560 597869 :Koen_!~Koen@2a04:cec0:1023:9443:ccc6:dc5e:e009:90c6 JOIN #esolangs * :Koen > 1716413909 943992 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128618&oldid=128617 5* 03Mari 5* (+78) 10make specification more clear < 1716414116 645779 :int-e!~noone@int-e.eu PRIVMSG #esolangs :Somebody has played M:tG before. https://www.egscomics.com/comic/hope-063 < 1716414322 121129 :int-e!~noone@int-e.eu PRIVMSG #esolangs :on CHERI and memcpy(): "If buffer happens to be aligned to alignof(void*) at run time, memcpy() will copy the tag bits since an appropriate memory operation will be used." (UCAM-CL-TR-949, see https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-publications.html#techreports) < 1716414421 12746 :int-e!~noone@int-e.eu PRIVMSG #esolangs :(I'm not reading this in any detail, I just searched for "memcpy") < 1716415830 368601 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :So it can be copied but only if it is aligned. < 1716416184 885757 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I thought you could have, alignment is not necessary but if there is one tag bit per byte, and a capability address has one byte with the tag bit clear (which will be unused, but must be clear to delimit it from other data) and the other bits set; any operation to copy memory or to read from memory into a register or to write into memory from registers, will have to check. < 1716416244 974207 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :It will refuse to copy the memory if the block being copied has a part of a capability address but not an entire capability address. It would also refuse to perform arithmetic or bitwise operations on such a value, or to even use it as an address (only the kernel is allowed to do so); the only thing that can be done is to copy it. < 1716416281 650227 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Although that is not necessarily the best way. I don't know if how CHERI is doing is best way either though. < 1716416793 412278 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think they aren't sure whether it's the best way or not, either < 1716416800 844976 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but are making a serious attempt to find out < 1716416852 737034 :int-e!~noone@int-e.eu PRIVMSG #esolangs :
ACTION doubts that there is a single best way... there's no clear objective function here
< 1716416937 524110 :int-e!~noone@int-e.eu PRIVMSG #esolangs :it looks like an impressive project regardless < 1716417134 220716 :chiselfuse!~chiselfus@user/chiselfuse QUIT :Ping timeout: 260 seconds < 1716417139 548874 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Yes, there probably isn't a single best way anyways. However, it also depend what should be achieved by it. For example, my idea is that tagged addresses are only needed for capability addresses and not for addresses in user programs. < 1716417203 79780 :chiselfuse!~chiselfus@user/chiselfuse JOIN #esolangs chiselfuse :chiselfuse < 1716417268 386898 :int-e!~noone@int-e.eu PRIVMSG #esolangs :that wouldn't do a whole lot to limit the attack surface for buffer overruns and the like < 1716417333 317778 :__monty__!~toonn@user/toonn QUIT :Quit: leaving < 1716417561 598593 :Sgeo!~Sgeo@user/sgeo JOIN #esolangs Sgeo :realname < 1716417588 863629 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I think my favourite approach is to use a static analysis to ensure that a program can't use capabilities that it doesn't have, but that isn't backwards-compatible with existing programs < 1716417590 849068 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I think you are right, although it adds a different security. < 1716417607 983144 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :i.e. I'm still in favour of solving things with type systems / at compile time rather than at runtime < 1716417647 186071 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :although, you'd either need to do the analysis at runtime (which would require available source and would be slow) or else to have some sort of unforgeable certificate that the analysis had been performed < 1716417687 459673 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :For buffer overruns, etc I think that would be the way to do. However, for capability-based security across processes, I think that won't work, and the reasons you mention some of the difficulties < 1716417919 317554 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :Security within a program can be solved at compile time. Security across programs is probably better to solve at run time, I think. < 1716418468 120930 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :I did start trying to design an API for passing capabilities between programs, but didn't finish it < 1716418615 918565 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I also was trying to do: A message consists of a sequence of bytes and/or capabilities. You can send a message to a capability and can receive a message from a capability. There will also be a function to create a new capability (called a "proxy capability") that whoever created it can handle receiving messages sent to it, and send messages to be received by others who are given this capability. < 1716418760 725125 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I don't know if additional functions may be needed for locking/transactions that involve multiple objects, or how to handle them if there are such functions in case the multiple objects don't know each other. < 1716418912 862127 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :What is your way, though? < 1716419223 473679 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :my idea was for running programs to have a similar API to calling functions, the execve equivalent would allow capabilities as extra arguments, and then (ideally) the OS would transfer the capabilities over < 1716419250 636985 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :but, for backwards compatibility I was planning to have much of the work actually done by a custom dynamic loader (i.e. not ld-linux.so) so that I didn't need to change the kernel itself < 1716419277 274547 :ais523!~ais523@user/ais523 PRIVMSG #esolangs :(but it would make use of OS capabilities in cases where they were helpful) < 1716419369 949767 :zzo38!~zzo38@host-24-207-52-143.public.eastlink.ca PRIVMSG #esolangs :I had no intention of backward compatibility, so there is no "execve" function (the equivalent function is a capability, not a function); however, about transfering capabilities using it, I did consider that; a program will receive an initial message, and this initial message will include capabilities (if it does not, then the program would immediately be terminated, since it would be unable to do any I/O) < 1716421466 307188 :Koen_!~Koen@2a04:cec0:1023:9443:ccc6:dc5e:e009:90c6 QUIT :Quit: Leaving... > 1716421762 927656 PRIVMSG #esolangs :14[[07Truth-machine14]]4 10 02https://esolangs.org/w/index.php?diff=128619&oldid=128563 5* 03Mari 5* (+468) 10add caca's truth machine > 1716422124 524202 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=128620&oldid=128530 5* 03Mari 5* (+11) 10add caca to list > 1716422164 210696 PRIVMSG #esolangs :14[[07Language list14]]4 10 02https://esolangs.org/w/index.php?diff=128621&oldid=128620 5* 03Mari 5* (+28) 10add caca tagline > 1716422201 917910 PRIVMSG #esolangs :14[[07Caca14]]4 10 02https://esolangs.org/w/index.php?diff=128622&oldid=128618 5* 03Mari 5* (+52) 10