00:00:03 -!- danieljabailey has quit (Quit: ZNC 1.6.6+deb1ubuntu0.1 - http://znc.in). 00:11:44 -!- Lord_of_Life_ has joined. 00:13:48 -!- Lord_of_Life has quit (Ping timeout: 245 seconds). 00:13:48 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 00:23:02 Does DOS even have a "do not fragment" flag? Otherwise is it even possible to boot from a non-DOS kernel stored there, since the bootloader for the other operating system might not undertsand the DOS file system? 00:32:00 -!- Phantom_Hoover has quit (Remote host closed the connection). 00:37:29 I don't think it does. IIRC, the SYS command specifically ensures that the two files *DOS* needs to boot (MSDOS.SYS + IO.SYS) are stored contiguously and at the start of the data area. At least on some versions. 00:38:17 ...I don't think it does have a "do not fragment" flag for files, that is. A lot of bootloaders know how to understand FAT, though. 00:48:06 -!- FreeFull has quit (Quit: kernel update). 00:49:17 -!- FreeFull has joined. 00:55:06 zzo38: it would be possible with something like LOADLIN which runs as a DOS program 00:55:11 or the LILO approach 00:55:21 LILO, iirc can boot a kernel off ext2 which is not contiguous 00:55:34 it stashes the fragment addresses somewhere (MBR?) 01:03:08 I think the sector map is in a file (/boot/map). Not sure how it finds that file though. 01:06:46 fizzie: most likely its own sector address is in the MBR 01:06:52 and it's small enough to be guaranteed to be one chunk 01:06:54 but I'm not sure 01:07:10 * kmc tries to remember why /boot was traditionally separate anyway 01:11:40 @metar ENVA 01:11:42 ENVA 250050Z 27021KT 9999 -SHRA SCT032 OVC047 07/02 Q1030 RMK WIND 670FT 28020G31KT 01:15:44 kmc: Problems with accessing all the sectors of large disks via BIOS functions was at least one reason. 01:15:56 ah yeah 01:16:09 these days one has an EFI partition instead 01:16:32 I'm pretty salty that they went with EFI rather than OpenFirmware for modern PC hardware 01:16:49 I've never tried coding for EFI, although I know it's not that difficult and you can even target it with Rust 01:17:00 uses PE executables, and there's a large set of system calls available 01:17:08 I really think you could write nontrivial application software to run in EFI 01:17:18 although I'm not sure if you have access to multiple cores or other fanciness 01:37:29 MULTIOCULAR CAT FACE WITH HEART-SHAPED EYES 01:37:42 SMILING SPIDER FACE WITH HEART-SHAPED EYES 01:38:28 whoa whoa whoa 01:38:36 No one has adopted MAN IN BUSINESS SUIT LEVITATING? 01:40:09 zzo38: re do not fragment flag, if I understand correctly, the S attribute on files is or was interpreted by defragmenters as a sign to not move the file, as in, keep all clusters where it currently resides, and this was relied on by past bootloaders that are like lilo in that they load the system files from fixed locations, 01:40:21 BULLET WITH BUTTERFLY WINGS 01:41:28 but the boot loader of current versions of DOS actually parse the root directory and the FAT enough that this is no longer necessary, except possibly on ancient disks with sectors smaller than 512 bytes. 01:41:57 * kmc implemented FAT12 once for a course project 01:41:59 it's really not hard 01:42:21 kmc: sure, but you also have to implement fat16 to boot from a hard disk 01:42:26 true 01:42:51 otoh you only have to implement the part that reads, not the part that writes, and you don't need to descend into directories, because the files needed at boot are in the root directory 01:43:55 DOS can also boot from a compressed filesystem, in which case I believe the three system files will be marked such that they aren't compressed, but I don't know the details of this, because I never tried to set that up, I only made file systems other than the boot fs compressed 01:44:20 there is also at least one third-party software that makes DOS support a custom file system and lets it boot from it 01:46:44 oh, which one? 01:46:57 kmc: a separate /boot is practical for various reasons. I use a separate boot because I use grub-l, which doesn't understand ext4, but my root file system is ext4. one could use a separate /boot so that the boot loader doesn't have to understand RAID, or EFI partition tables, or even access the boot disk on hardware level at, or to boot from hard disk but use an nfs mount for most of the file system, etc 01:47:32 yeah 01:47:33 or to boot using loadlin, which uses the underlying DOS to read the kernel (and initrd), and DOS only reads FAT-12 and FAT-16 01:47:45 for RAID servers, I like to put the bootloader on a USB stick 01:48:24 I had a server with full disk encryption, and the USB stick had both the bootloader and the encryption key. so it was capable of unattended boot, but I could take the USB stick out and ship the rest of it cross-country without worrying about my data being read 01:48:58 heck, at one point I even booted windows 95 from a floppy disk, to avoid having to set up and maintain a bootloader that can choose between booting DOS and Win95 and Linux on the same machine and hard disk. 01:49:24 mm 01:49:41 BITD i used loadlin and my 'bootloader' menu was in AUTOEXEC.BAT 01:49:45 for Win98/Linux 01:49:57 windows 98 was tg 01:50:04 later on I triple booted Win98/Win2k/Linux and used NTLDR as my first bootloader 01:50:12 but like you said above, boot loaders these days contain a whole operating system, so there are few things for which you'd need a separate /boot if you're willing to trust the boot loader 01:50:16 🎿👢🥾 01:50:23 triple boot 01:50:35 it was surprisingly easy. you'd install LILO/GRUB into the non-master boot record, dd those 512 bytes onto the NT drive and you're ready 01:51:06 kmc: just Win98/Linux is fine. that's what all the Linux distributions were geared to support, to get people into Linux. I did triple boot among DOS, Linux, and Win95OSR2, and I didn't quite trust the Win95 enough, so its boot went on the floppy 01:51:31 * kmc tries to remember if she had any other weird boot setups 01:51:53 I've written my own MBR programs 01:51:55 not bootloaders though 01:51:56 remember when you used windows nt as your kernel with linux userspace 01:51:56 demos 01:51:57 kmc: oh! Win98/Win2k/Linux triple book. nice. 01:52:07 shachaf: if by "when" you mean "now"? 01:52:10 yes 01:52:19 i'm literally talking to you through mosh in WSL 01:52:21 on Win10 01:52:28 i am aware 01:52:30 good 01:52:38 kmc: I tried too. I wrote one that just wrote a message on the screen. 01:53:00 I switched back to Windows last year after 15 years as a die-hard Linux user 01:53:09 this shocked my friends much more than me changing gender 01:53:30 kmc: if you had a single-use halting oracle what would you ask it twh 01:53:57 how can entropy be reversed 01:54:32 0 01:54:50 The grub-l setup is hopelessly obsolete. I'd have to get rid of it if I used a boot hard disk larger than two terabytes, but that might not happen soon: even if I buy larger hard disks, the boot disk will probably be one of the two I have now. 01:54:58 what's grub-l 01:55:12 kmc: it's the collective name for the grub versions with major version number 0 01:55:19 any grub that isn't grub2 or grub4dos 01:55:37 grub with 1 in its version number counts as grub2 before it was released 01:55:38 ok 01:55:47 so it's just old grub 01:55:52 yes 01:56:31 I'll probably want to switch to grub2 for my next computer even if grub-l could technically work though, as a way to introduce redundancy so that I can boot quickly if the boot hard disk dies. 01:57:30 `addquote ugh, now my Fugue hello world has got stuck in my head again 01:57:32 1332) ugh, now my Fugue hello world has got stuck in my head again 01:58:15 `? module 01:58:16 A module is like a vector space, except with a ring instead of a field. 01:58:32 `cwlprits module 01:58:33 oerjän 01:58:43 oerjan: what's the joke twh 01:59:00 `dowg module 01:59:01 6169:2015-11-02 learn A module is like a vector space, except with a ring instead of a field. 01:59:47 `? vector space 01:59:48 A vector space is just a module over a field. 01:59:49 aha 02:02:08 `? lie bracket 02:02:11 Politicians try to stay within the lie bracket: Not so many lies that voters cannot stand it, but not so few that they think you have nothing to give them. 02:02:21 `dowg lie bracket 02:02:22 6174:2015-11-02 le/rn lie bracket/Politicians try to stay within the lie bracket: Not so many lies that voters cannot stand it, but not so few that they think you have nothing to give them. 02:02:30 is this entry outdated twh 02:04:25 shachaf: we could amend it s/Poli/Most poli/ 02:04:43 it wasn't completely true in the past either, there were always some exceptions 02:05:00 Who pinged me? 02:05:11 -!- SomethingFawful has quit (Ping timeout: 256 seconds). 02:05:39 When? 02:05:48 There was an olist and a pbflist 02:06:04 how can entropy be reversed <-- i think shachaf is subtly hinting that the oracle only gives one bit of answer. 02:06:06 We were talking about Ada, maybe you have a highlight on that? 02:07:47 shachaf: the olist was almost a week ago 02:08:10 oerjan: what's the joke twh <-- hm i guess there isn't one. 02:09:02 kmc: Let's be honest, OS choice is _clearly_ more significant and invariant than gender, anyways 02:09:24 kmc: I'm not surprised on anyone switching back to windows. windows has changed a lot, and hardware too. 02:09:34 and there are people who dual-boot gender 02:09:36 oerjan: There as one, see below. 02:09:39 b_jonas: indeed 02:09:41 a lot of computer environment things changed. 02:09:46 b_jonas: and linux has changed too, and not for the better 02:09:48 s y s t e m d 02:09:50 w 02:09:54 although I'm still not free, because WSL runs systemd :( 02:10:04 I'm not changing to windows, but I can at least understand it better 02:10:06 another advantage of windos is that more of the weird ham radio software runs in windows 02:10:16 it was an easier switch than I thought 02:10:19 all operating systems are bad 02:10:19 it was a slippery slope 02:10:23 as a result of being software 02:10:28 got a new laptop, thought "hm I'll poke around Win10 while I decide which distro to install" 02:10:32 "might as well get chrome" 02:10:41 I was required to do a lot of things on windows for work, in my current job and my previous job too 02:10:43 "hey this is actually usable. what, there's a tiling WM built in?" 02:10:54 kmc: you could still use both windows and linux 02:10:56 "wow it boots fast and the battery life is incredible" 02:11:03 oerjan: There as one, see below. <-- i'm not convinced i considered it a joke when writing it. or now. 02:11:05 "let's try out this WSL thing" 02:11:05 it's not like computers or disks are so expensive that you can't have both 02:11:08 sure 02:11:15 but I have literally only needed actual Linux one time 02:11:17 and I used a VM 02:11:24 I didn't even really need it then 02:11:32 it was just easier than figuring out how to install adb in Windows 02:11:44 oerjan: Well, they were added within two minutes of each other. 02:11:57 [[User:Cortex/draft]] https://esolangs.org/w/index.php?diff=60075&oldid=58971 * Cortex * (-811) Blanked the page 02:12:21 `? d-module 02:12:22 D-modules are just modules over the ring of differential operators. Taneb invented them. 02:13:08 ``` set -e; cd wisdom; find -type l -printf "%p -> %l\n" # should all of these symlinks in wisdom exist? 02:13:08 ​./СССР -> ссср \ ./the usual suspect -> usual suspect \ ./perpetuum mobile -> perpetual motion machine \ ./r.i.p. -> rip \ ./☆ -> * \ ./h4gb4rd -> hagb4rd \ ./issue -> .doorstop \ ./the reals -> real \ ./off by two error -> off by two \ ./wolfram -> stephen wolfram 02:13:18 Why not? 02:13:59 `? * 02:14:00 Twinkle, twinkle, little star! 02:14:58 shachaf: um, neither is a joke. a vector space really _is_ just a module over a field. 02:15:28 Neither is a joke individually, the joke is the two definitions taken together. 02:15:36 Circular definitions. Is the joke. 02:15:54 [[Pyhton (sic)]] https://esolangs.org/w/index.php?diff=60076&oldid=60074 * Something Fawful * (+95) aded categories 02:16:30 `? applicative functor 02:16:31 Applicative functors are just monoids in the category of endofunctors. 02:17:29 shachaf: actually the module one is sort of a joke. just not a very good one. 02:17:30 OKAY 02:18:37 oerjan: your jokes are good and you should feel good hth 02:18:50 better than mine at least 02:18:57 `5 02:18:59 1/2:1005) LIST OF ACRONYMS: List Integrating Some Terminology Of Fine Authentic Credibility Relating to Our New Year Media System \ 505) Isn't "strip nomic" just another word for all dating, though? \ 481) game where you flip a coin but it's really really big \ 856) i like the idea that if you name your country a Soviet Republic you automatically get the right to call up Lenin on the telephone and complain about bathroom pranks 02:19:14 `n 02:19:15 2/2: \ 195) hey speaking of young, some kinds asked me to buy some tobacco for them and i did, and then they were all likd "wow that guy's coool" when i told them i don't need their money 02:19:24 I'm not sure if I even have a good joke somewhere in there. maybe the vacuum tube one isn't good either. 02:19:29 fizzie I like your remark 02:23:09 Use Windows or Linux if you want (since many programs can run on both anyways), or dual-boot if you want, but I find Linux is mostly much better than Windows (although there is also stuff that both Linux and Windows do badly, as well as stuff that work better with Windows, but mostly Linux is much better). 02:23:32 there's a hungarian notation version of LOGO? <-- now i'm wondering what prefixes it uses. iirc Logo itself already uses : as a sigil 02:23:41 One thing I've found is that running Linux on a laptop is just hell. 02:23:53 -!- simeon28 has joined. 02:24:17 -!- simeon28 has quit (Client Quit). 02:24:25 You might also prefer to purchase a computer with Linux already installed. (I purchased the computer I am using now it came with Linux already installed. Although, it is not a laptop computer, but they also sell laptop computers with Linux, too) 02:25:13 -!- Sgeo_ has joined. 02:27:30 -!- Sgeo has quit (Ping timeout: 264 seconds). 02:27:53 `cat bin/hlnp 02:27:54 scowrevs="$(/usr/bin/paste -sd'|' /hackenv/share/scowrevs)"; hg log -r "tip:0 & ! ($scowrevs)" "$@" | sed 's/\(\(^\| \)[ oerjan: ouch yeah, Excel can also use decimal comma instead of decimal dot, in which case three punctuation characters change, and this can be changed separately from the language 02:33:21 * oerjan is making a pun on hungarian notation in case b_jonas missed it 02:33:55 or, not even a pun, just a more common meaning 02:34:31 oerjan: https://esolangs.org/logs/2019-02-24.html#lkj 02:35:05 um, i literally quoted that 02:35:06 oerjan: also it gets boring after a while. try the "Hungry" pun, in case I haven't heard that. 02:35:44 or maybe something about reverse polish notation 02:36:04 -!- b_jonas has quit (Quit: leaving). 02:36:11 i think you meant to link to a later comment that i hadn't yet got to. or should have. 02:42:23 `? hungry 02:42:24 hungry? ¯\(°​_o)/¯ 02:42:30 -!- galaxie has left. 02:42:41 `? ostrich 02:42:42 Ostrich used to be a large middle European empire in frequent conflict with Turkey. After a famine it sort of split into Ostrich/Hungry. Alas its policy of keeping its head in the sand did not get it through the Great War, and with its final attempts to take flight failing, it ended up cut into several pieces. 02:44:15 -!- xkapastel has quit (Quit: Connection closed for inactivity). 03:14:40 pikhq: what linux laptop problems do you have 04:00:43 -!- danieljabailey has joined. 04:47:06 -!- dingwat has quit (Quit: Connection closed for inactivity). 04:47:38 Wifi 04:53:34 -!- MDude has quit (Ping timeout: 250 seconds). 05:01:34 mm 05:01:53 i haven't had problems in a long time, but almost all my laptops have been thinkpads and I think the rest at least had Intel WiFi cards 05:02:18 -!- FreeFull has quit (Quit: Off to sleep). 05:02:23 Seems to work OK on my Dell laptop 05:02:41 remember bcm43xx 05:02:50 and NDISwrapper 05:02:52 and all those things 05:03:11 ndiswrapper... those were the dark days 05:04:00 going to go edit XF86Config for old times' sake 05:04:13 shachaf: don't screw up your modelines 05:04:16 or your monitor might explode 05:04:18 joke's on me 05:04:30 ubuntu only works with no xorg.conf file 05:04:42 if i make a file, no matter what i put in it, x just doesn't start 05:04:54 even if i ask it to generate the default file that's supposed to be what it does anyway 05:05:04 do you know why? 05:05:07 no 05:05:10 -!- nfd9001 has joined. 05:05:17 TBH, these days I just use Windows on a laptop with WSL, and mosh to a full Linux system as I need it. 05:05:19 and every time i mess with the video settings things end up worse than before 05:05:27 pikhq, same 05:05:31 does anyone here know of any generalized F-algebra based languages? 05:05:32 the year of linux on the desktop 05:05:44 I'm pretty impressed with WSL 05:05:46 Like, you may only declare algebras and their carriers 05:05:55 it can't have been easy to implement most of the linux kernel syscall api 05:06:08 probably easier than wine 05:06:14 the only non-graphical program I've found that doesn't work is GNU Screen 05:06:18 I still usually use a VM, but WSL is quite nice 05:06:21 and I'm 100% willing to blame Screen for that 05:06:27 hi nfd9001 05:06:34 hey shachaf :D 05:06:35 I don't know what that would be but I like F-algebras 05:07:09 Wait, do I know you? 05:07:17 from where? 05:07:32 I don't know. 05:07:50 `welcome nfd9001 05:07:51 nfd9001: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on EFnet or DALnet.) 05:07:52 you've probably seen me on #haskell once or twice? 05:08:47 i've been a passive observer of esolangs before, written a location-based BF, and i have something like half a spec together for a language based on Linda 05:08:57 which i guess just looks like a weird platonic Erlang 05:09:17 never was too active here though 05:28:48 kmc: musl reveals a few bugs in it. 05:29:15 [[Increment]] N https://esolangs.org/w/index.php?oldid=60077 * Cortex * (+492) Created page with "'''Increment''' == Commands == {| class="wikitable" |- ! Character !! What it does |- | Any character except the ones listed below || Increment the accumulator by the charact..." 05:29:31 Though the main one I know is that it has the wrong x87 settings, and since musl's libm uses long doubles, it actually ends up showing that. 05:30:30 nfd9001: What is the half of the spec so far? 05:31:11 pikhq: Screen has the wrong settings? in what sense 05:31:19 Hah, it's handwritten, sec 05:31:30 kmc: No, I mean WSL has this bug 05:31:35 -!- arseniiv has joined. 05:31:41 oh 05:33:56 zzo38: https://cdn.discordapp.com/attachments/465424725146075136/549463743395004416/unknown.png https://cdn.discordapp.com/attachments/465424725146075136/549463882922721311/unknown.png no discussion of syntax in here yet, but i can get to the general idea 05:35:14 Basically, you should be imaging a Linda-like tuplespace on which abstract processes are trying to pull tuples that match patterns. Their output is just committing more tuples to the bag 05:36:26 So ("word", x, y, z) -> (z, "otherword", x, x) could describe a machine that matches a tuple where x, y, and z are free variables, then sticks them into the pattern of its output on the right 05:36:39 and it goes right back into the same bag 05:37:14 I imagine an efficient compiler would try to inline work, and then it'd all be managed from "the bag" by a work-stealing scheduler 05:38:43 side effects/atomic actions could be performed by passing tuples to "special machines" you pass arguments and a callback name 05:39:11 like (cat, a, b, callback) -> (callback, a+b) 05:40:42 OK, I can see what you mean now 05:41:17 it's far from a fully-baked idea 05:41:36 probably could use some sort of a combinator 05:42:27 Yes 05:47:03 Possibly multiple tuples in either side of the definition (especially if machines are selected at random)? 05:47:28 Yeah, no guaranteed order 05:48:20 Or we could instead explicitly make curried machines, ie. matching on one machine creates another machine which does its work and then stops watching the bag 05:48:59 OK, you could do that then if you want to do, I suppose 05:50:10 Either way, I'd imagine that a machine can only wait on one tuple match at once, so as to avoid deadlock 05:50:51 OK 05:55:33 Or we can have some machine that can glom together two tuples 05:56:07 Whichever way you slice it, it kind of hurts the platonic beauty of the thing. I can't really decide which way to go 05:56:25 I'm ok with the idea of one machine outputting multiple tuples, conceptually. It'd make perfect sense in Linda 05:57:30 OK, you can try 05:58:12 I'd kiiiiiinda lean towards curried machines being the prettiest solution (maybe then offering uncurried machines as syntactical sugar) 05:58:27 seems best that i write all that down before I start implementing, haha 05:59:15 Yes, write down before implementing, perhaps write it on the computer. Yes, curried could do 06:02:13 Is this still the F-algebra thing? 06:02:25 imo T-algebras are where it's at 06:02:29 Nah, this is an older idea I had 06:03:29 nfd9001: shouldn't a language based on Linda be anything _but_ platonic hth 06:03:35 shachaf: sounds fishy 06:03:41 get it? haha 06:04:01 no tdnh 06:04:11 oerjan: i think i'll literally use a Linda implementation as a backend 06:04:24 heh 06:04:42 What's fishy? 06:04:53 also, whoa, bellingham 06:05:46 T >=> T 06:06:08 shachaf: hahah DO you know me? 06:06:20 shachaf knows all 06:06:30 Is that a fish? 06:06:37 Is it Haskell? 06:06:39 `? fish 06:06:40 I'm confusil 06:06:41 Come and dance and love the fish! Mister Disco summoned it. 06:06:47 `cwlprits fish 06:06:48 tsweẗt 06:06:50 Haskell programmers pronounce Klesli composition "fish" 06:06:51 so yeah 06:07:23 @quote kleisli 06:07:23 ray says: enlarge your kleisli arrow, please the category ladies 06:07:30 what? 06:07:31 @quote kleisli 06:07:31 ray says: enlarge your kleisli arrow, please the category ladies 06:07:39 @forget ray enlarge your kleisli arrow, please the category ladies 06:07:39 Done. 06:07:42 @quote kleisli 06:07:42 edwardk says: i'm MUCH happier with a comonad that lives in the kleisli category of some monad, or a monad that lives in the cokleisli category of a comonad, than I am with a distributive law that 06:07:42 all it can do is ensure that things are 'maximally terrible' in terms of how much work you do 06:08:01 @quote >=> 06:08:02 shachaf says: Then you just compose them Uh-oh, Tekmo is going to >=> using Kleisli composition 06:09:17 shachaf: where'd you come up with Bellingham? stalking my ip/hn/reddits/github/whatever? 06:09:32 Yes, trying to figure out if I know you. 06:09:39 not like this nick isn't totally transparent 06:09:55 ? 06:10:02 my name's right on my github 06:10:27 Right. 06:10:43 No fun, your name should be [redacted] 06:11:06 Ted Redac 06:11:15 I guess I shouldn't say personally identifying things in a public channel anyway, sorry. 06:11:33 Redac, Ted in publication lists 06:11:34 Yeah, not everyone's okay with that 06:11:46 Particularly one that's publicly logged 06:17:15 pikhq: hikhq 06:17:18 how's [redacted]? 06:18:44 Going pretty well, really 06:28:26 -!- tromp has quit (Remote host closed the connection). 06:46:21 [[Thue-Mirr]] M https://esolangs.org/w/index.php?diff=60078&oldid=59784 * Salpynx * (+1) spacing 07:04:56 -!- tromp has joined. 07:09:38 -!- tromp has quit (Ping timeout: 250 seconds). 07:13:22 -!- chal_ has joined. 07:19:54 [[User:Cortex]] https://esolangs.org/w/index.php?diff=60079&oldid=59925 * Cortex * (+16) 07:22:38 [[Joke language list]] https://esolangs.org/w/index.php?diff=60080&oldid=59944 * Cortex * (+43) 07:29:40 [[Talk:Thue-Mirr]] N https://esolangs.org/w/index.php?oldid=60081 * Salpynx * (+2036) Hello World, and termination 07:55:16 -!- oerjan has quit (Quit: Nite). 07:57:21 -!- tromp has joined. 08:36:10 -!- chal_ has quit (Quit: Page closed). 09:15:56 -!- xkapastel has joined. 09:42:29 -!- AnotherTest has joined. 11:01:58 I have decided rather than figuring out which characters I need to display next to a placeholder ◌ 11:02:17 I will display all characters next to a ◌ 11:02:22 orin: how do the cool kids render text nowadays twh 11:02:33 do they use signed distance fields 11:02:47 shachaf: charcoal on wood 11:03:30 `? char 11:03:31 Char is a prominent component of charcoal. 11:05:29 https://imgur.com/w0VTpPD 11:06:13 my bdf edit program is almost perfect 11:08:00 bdf = boring distance fields? 11:10:13 Bitmap Distribution Font or something 11:10:21 it's a font format 11:11:10 https://en.wikipedia.org/wiki/Glyph_Bitmap_Distribution_Format 11:15:37 i heard bézier curves are where it's at, though 11:15:58 Hard to do in a low-resolution bitmap 11:16:27 also hard to display in a terminal 11:17:06 even the "hi res" version above the main editing field is cheating using braille 11:17:37 Why are you displaying in a terminal? 11:20:31 https://paste.ee/p/BjY2I 11:20:44 shachaf: so I can edit my font in a terminal 11:21:54 Why? 11:24:27 shachaf: so that it can be the only font by terminals, for terminals 11:26:51 orin: will it work on my receipt printer? 11:28:51 Taneb: might work 11:29:31 not sure what format recipt printers take their fonts in 11:30:06 Neither am I tbq 11:30:07 h 11:33:36 but I would think 16x9 would be a pixel size they would support 11:39:30 -!- xkapastel has quit (Quit: Connection closed for inactivity). 12:11:53 -!- Lord_of_Life_ has joined. 12:14:53 -!- Lord_of_Life has quit (Ping timeout: 255 seconds). 12:14:53 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 13:23:00 -!- xkapastel has joined. 14:18:37 [[Bitch]] https://esolangs.org/w/index.php?diff=60082&oldid=60015 * A * (+296) /* Continuation on the above by User:Helen */ 14:21:50 [[Bitch]] https://esolangs.org/w/index.php?diff=60083&oldid=60082 * A * (+80) /* The attempt will not work, unfortunately */ 14:22:39 [[Bitch]] https://esolangs.org/w/index.php?diff=60084&oldid=60083 * A * (+1) /* The attempt will not work, unfortunately */ 14:48:30 -!- wob_jonas has joined. 14:48:33 `bobadventureslist http://bobadventures.comicgenesis.com/d/20190223.html 14:48:34 bobadventureslist http://bobadventures.comicgenesis.com/d/20190223.html: b_jonas 15:04:03 -!- MDude has joined. 15:18:37 -!- tromp has quit (Remote host closed the connection). 15:32:42 -!- xkapastel has quit (Quit: Connection closed for inactivity). 15:37:08 -!- danieljabailey has quit (Read error: Connection reset by peer). 15:46:46 -!- tromp has joined. 16:31:47 -!- Essadon has joined. 17:03:39 -!- xkapastel has joined. 17:19:58 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client). 17:25:50 -!- Phantom_Hoover has joined. 17:25:50 -!- Phantom_Hoover has quit (Changing host). 17:25:50 -!- Phantom_Hoover has joined. 18:05:00 -!- AnotherTest has quit (Ping timeout: 272 seconds). 18:08:42 -!- tromp has quit (Remote host closed the connection). 18:23:33 -!- dingwat has joined. 18:29:00 . o O ( iff and only iff ) 18:33:22 At some point I shoudl refactor my font processing tools so they are more generic 18:33:58 for example, not hardcoding the size of the font at 9 by 16 18:34:41 -!- arseniiv has quit (Ping timeout: 255 seconds). 18:36:24 Yes, you should probably allow other sizes 18:36:48 Does it support 16-bit characters or only 8-bit characters? 18:37:21 zzo38: currently processes everything as 32-bit encoding numbers 18:38:04 but there is an arbitrary limit at 0x20000 in my editor 18:39:02 the limit shoudl probaby be something else 18:39:16 what's the maximum unicode code point 18:39:35 10FFFF 18:39:40 -!- tromp_ has joined. 18:40:37 the BDF format doesn't actually specify what the encoding is though 18:40:51 Yes, although you might want to use some coding other than Unicode. The .pcf format supports 16-bit characters, and the X font system also does (although maybe .bdf allows any number of characters; I don't know) 18:41:30 .bdf uses a text format with decimal numbers for code points so theoretically it could be any number 18:41:49 orin: Yes, and that is why 0x10FFFF is perhaps too low (although in order to support Unicode, it should be at least that high) 18:42:19 Still you may limit it to 32-bit numbers, even if the file format allows higher numbers. 19:00:37 -!- rain1 has quit (Quit: WeeChat 1.6). 19:03:50 -!- rain1 has joined. 19:07:56 -!- rain1 has quit (Client Quit). 19:09:57 -!- rain1 has joined. 19:13:22 -!- xkapastel has quit (Quit: Connection closed for inactivity). 19:21:45 I had a idea if in some roguelike game that you can fly, but, while flying, you cannot go through doors (even if open), pick up objects, make melee attacks against opponents on the ground, and maybe also you cannot cast some spells, but you can go faster and go over water and statues (but not walls), and it takes time to go up or to land. 19:30:37 -!- b_jonas has joined. 19:34:07 -!- aloril_ has joined. 19:37:32 -!- aloril__ has quit (Ping timeout: 245 seconds). 19:46:43 correct, in particular in a font you could assign a higher number to a glyphs that isn't the default glyph for any character, but is either a variant for a character, or a ligature. but practically, you probably can't encode those to a BDF/PCF font in a way that terminals will use it, so that only comes up in OTF and other fonts. 19:50:01 Question. Mozart's ''Die Entführung aus dem Serail'' opera is very popular. "Pedrillo" is the name of a good guy in it. How come then that that name is virtually unused for anything else? Character names in popular fiction works usually get picked up and used as named for real people. 19:50:35 (It's not the only such name from Mozart's operas, but the one where it seems the most strange.) 20:12:46 -!- FreeFull has joined. 20:13:13 Oh, another question. Is there a theatre play with no scenes, played entirely with the curtains closed? 20:30:39 -!- bbb_ has joined. 20:30:40 * bbb_ hello 20:30:44 * bbb_ says hello 20:30:57 duolingo.com 20:31:15 -!- bbb_ has changed nick to Guest16203. 20:31:25 ??? 20:31:27 !?!?!?!?!? 20:31:37 -!- Guest16203 has changed nick to ijkajskajkjkjkj. 20:31:49 -!- ijkajskajkjkjkj has changed nick to Vala. 20:32:01 -!- Vala has changed nick to vala_iksan. 20:32:28 mitti iksan! 20:33:17 b_jonas: Is that like the theatre equivalent of 4'33"? 20:33:50 it means "i am an idiot" 20:33:54 fizzie: no, I don't think so 20:33:54 in a fictional language 20:34:07 -!- vala_iksan has changed nick to me. 20:34:10 fizzie: it doesn't have to be silent or lacking visuals. actors can come in front of the curtain, lit, 20:34:31 and actors can speak audibly in front of the curtain, or even behind the curtain, although the latter can be harder 20:34:36 -!- me has changed nick to Guest10559. 20:34:39 -!- Guest10559 has changed nick to hello. 20:34:45 -!- hello has changed nick to jhjchfseucfnher. 20:34:50 Oh, I see, I interpreted "scenes" more broadly. 20:34:52 -!- jhjchfseucfnher has changed nick to iiiiiikkiiiiiii. 20:34:56 ok done now what 20:35:02 it's just that all of it is done as if it were an introduction or transmission between scenes 20:35:31 is there a default, general channel on this 20:35:50 like not from a website or anything 20:36:00 -!- iiiiiikkiiiiiii has changed nick to iqi. 20:36:13 h 20:36:21 -!- iqi has changed nick to q2. 20:36:24 a possible equivalent of 4'33" would be a play or opera with no _acts_, where the audience doesn't even enter the theater hall, they only have conversations with other people on the corridors of the theater 20:36:34 nice 20:37:49 a 20:38:18 -!- q2 has changed nick to a35. 20:38:33 -!- xkapastel has joined. 20:38:46 Rytsas! 20:38:54 i've been using duolingo lately 20:39:16 i like this idea 20:39:33 I have the feeling that the no act one has been done already 20:39:45 no sorry 20:39:49 the no act one probably hasn't been done 20:39:55 charge for tickets, people come in wearing their fancy theater clothes, buy drinks, take their seats, lights go down, lights go right back up, intermission, repeat 20:39:58 I mean the no scene one probably has been done 20:40:00 possibly several times 20:40:07 sounds like a good racket 20:40:21 there are definitely theater plays with only one actor, I've even seen one 20:40:45 and there's at least one opera with only two solo singers incidentally 20:42:21 xxxcxKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK 20:42:29 outputs idk newlines 20:42:45 if anybody is actually using esolangs.org here 20:46:30 If your ↄ program fails to execute, what language is it? 20:47:50 a35: we don't use that site, except for the channel logs. we pretty much keep it as a trashcan so that the people who want to write down their really bad ideas have some place to put it, rather than vandalizing wikipedia or some other important site. 20:48:44 i keep it in microsoft word 20:48:49 them 20:48:58 plus I think a few people use the bfjoust hill there 20:49:48 but ais declared that the hill is now pretty much optimized 20:49:52 so maybe not that either 20:50:33 ooh, do you hear that 20:50:38 4'33" 20:53:45 -!- AnotherTest has joined. 20:55:15 +[] 20:55:51 ok im gonna play nethack im getting bored 20:55:56 -!- a35 has quit. 21:09:13 let's use abstractions 21:09:21 and make everything overly general 21:15:59 what I need is a program that I can pipe things through that will put a timestamp on each line 21:16:20 oh 21:16:27 moreutils has that 21:16:29 it's called ts, iirc 21:16:33 is there a standard unix program that can do this or 21:16:39 ok cool 21:17:03 orin: perl -pe '$_=time()."\t".$_' 21:18:59 it gets a bit uglier if you want to use fractions of a second or a specific date format though 21:19:17 a great deal uglier 22:07:47 -!- Sgeo_ has quit (Read error: Connection reset by peer). 22:10:10 -!- Sgeo has joined. 22:10:17 -!- Lymia has quit (Remote host closed the connection). 22:10:35 -!- Lymia has joined. 22:10:40 -!- imode has joined. 22:20:48 oh nice 22:21:07 temperature is predicted to be above zero for the next four days now. 22:21:24 there's still a little wind, but not too bad 22:32:53 -!- imode has quit (Ping timeout: 246 seconds). 22:48:04 -!- Phantom_Hoover has quit (Remote host closed the connection). 22:54:10 -!- Remavas has joined. 22:54:23 -!- Remavas has quit (Remote host closed the connection). 22:54:28 -!- moei has quit (Quit: Leaving...). 23:18:38 -!- b_jonas has quit (Quit: leaving). 23:22:36 [[User:Plugnburn]] https://esolangs.org/w/index.php?diff=60085&oldid=36923 * Plugnburn * (+113) Added EcmaByter reference 23:24:17 [[BytePusher]] https://esolangs.org/w/index.php?diff=60086&oldid=58086 * Plugnburn * (+157) /* Machines */ added EcmaByter 23:41:08 -!- Essadon has quit (Quit: Qutting). 23:47:19 Here it was the warmest February day in the UK since ever. 23:47:47 Four of the met office measurement stations recorded >= 20°C. 23:48:28 BBC has some nice "a year ago vs. today" picture pairs at https://www.bbc.co.uk/news/uk-47360952 23:53:47 -!- AnotherTest has quit (Ping timeout: 240 seconds).