00:09:44 -!- shikhin has joined. 00:21:19 -!- oerjan has joined. 00:23:36 I'm not sure; its most common use seems to be constraint solving 00:23:41 but I've never used it directly myself 00:30:41 wob_jonas: i don't really know Z3 either but it seemed like the kind of thing you sometimes add 00:33:14 as for BANCStar, i seem to recall we used to consider it an example of a language that isn't esoteric because it was meant for something practical. 00:37:55 `quote 1333 00:37:56 1333) #define __NR_oldolduname 59 fungot: what's your old old name? olsner: they decided not to waste any brain cells storing obscure unix silliness). 00:38:02 `quoteformat 00:38:03 /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: quoteformat: not found 00:38:04 -!- shikhin has quit (Quit: leaving). 00:38:09 `? quoteformat 00:38:10 quoteformat is: message; * nick action; two spaces between messages; all elisions marked with [...] other than irrelevant intervening messages; for messages separated by elision, one space on each side, not two. 00:38:47 `sled quotes//1333s, <, <,g 00:38:49 quotes// EgoBot just opened a chat session with me to say "bork bork bork" \ Hmmm... My fingers and tongue seem to be as quick as ever, but my lips have definitely weakened... More practice is in order. \ that's where I got it rocket launch facility gift shop \ GKennethR: he should be told that you should always ask someone before killing them. \ His body should be given to 00:38:55 `quote 1333 00:38:55 1333) #define __NR_oldolduname 59 fungot: what's your old old name? olsner: they decided not to waste any brain cells storing obscure unix silliness). 00:39:38 that seems compliant to me hth 00:40:04 NOW IT IS 00:40:34 I should start writing " " in all the quotable things I say. 00:40:56 `quote django 00:40:57 260) django is named after a person? thought it would be a giraffe or something \ 305) `quote django 352) django is named after a person? thought it would be a giraffe or something thankfully only one \ 306) `quote django 352) django is named after a person? thought it would be a giraffe or something \ 407) `quote django you won't beat django anyway 00:42:03 * oerjan whistles Tanta til Beate 00:42:36 @die 1d2 -- 1 for , 2 for 00:42:36 shachaf: 1 00:43:06 that was not the contest hth 00:43:40 @nixon 00:43:40 The press is the enemy. 00:44:56 @google "press is the enemy" 00:44:56 https://www.quora.com/Did-President-Trump-actually-say-the-press-is-the-enemy-of-the-people-I-can-only-find-where-he-said-fake-news-is-the-enemy-of-the-people 00:47:02 Unicode text rendering is locale-dependent? 00:47:07 I give up. 00:50:20 -!- arseniiv has quit (Ping timeout: 246 seconds). 01:03:27 -!- Lord_of_Life has quit (Ping timeout: 255 seconds). 01:05:36 -!- Lord_of_Life has joined. 01:38:21 i'm going to play baba is you 01:40:18 . o O ( Baba was You, the time traveling puzzle game ) 01:42:25 Braid is a pretty good time traveling puzzle game 01:43:36 I wanted to make a 2+1D puzzle game where you have some tricky spacetime manifold. 01:45:45 how's that wrk 01:46:56 i had some ideas but it turns out to be p. complicated 01:54:38 -!- MDude has quit (Ping timeout: 245 seconds). 01:55:41 this game is charming 01:55:43 i am charmed 01:57:08 i already encountered some tricky situations such as a move that changes the rule of whether said move will kill me 01:57:27 2019-03.txt:02:50:26 kmc: you should babajam 02:01:19 what does that mean 02:01:34 who knows 02:05:59 ok 02:18:04 * kmc is very stuck :( 02:18:28 it's impossible hth 02:24:14 -!- chal_ has joined. 02:26:55 -!- chal_ has quit (Client Quit). 02:28:31 yay i got it 02:29:22 ALGAE IS DEFEAT 02:29:38 LOVE IS PUSH, LOVE IS WIN 02:46:08 -!- Lymia has quit (Remote host closed the connection). 02:46:17 I'm playing it too now 02:46:18 it's cool 02:46:39 POOCH IS LOVE 02:47:14 ROCK IS FLAG 02:52:20 SHOUT IS LOUD 02:53:17 OERJAN IS BEST 02:56:32 I wish all the rules in Baba Is You were deterministic. 03:07:57 -!- pikhq has quit (Quit: Rearranging a bunch of shit). 03:18:37 what does DOOR IS SHUT mean 03:24:59 a X IS SHUT means that a Y IS OPEN will unlock/break X 03:25:52 ahh 03:25:53 thanks 03:34:37 -!- Frater_EST has joined. 03:59:26 -!- MDude has joined. 04:24:58 -!- FreeFull has quit. 04:34:45 this game is adorable 04:35:31 -!- Frater_EST has left. 04:45:56 oh god now there are text tiles that control the behavior of text tiles 04:56:14 [[Z3]] https://esolangs.org/w/index.php?diff=61202&oldid=61071 * Salpynx * (+233) links with details of the Z3 architecture 05:02:07 -!- pikhq has joined. 05:10:29 -!- trn has quit (Read error: Connection reset by peer). 05:10:41 -!- trn has joined. 05:17:39 the difficulty ramps up quite quickly 05:21:18 yeah 05:22:43 -!- ais523 has quit (Quit: quit). 05:23:03 [[Talk:Z3]] N https://esolangs.org/w/index.php?oldid=61203 * Salpynx * (+849) trying to clarify the 2nd paragraph (not about Z3) 05:50:05 -!- shikhin_ has quit (Changing host). 05:50:05 -!- shikhin_ has joined. 05:50:33 -!- shikhout has joined. 06:47:56 girl genius: uh oh 06:50:49 shachaf: what do you mean about the rules not being deterministic? 07:25:06 -!- sftp has quit (Ping timeout: 258 seconds). 07:35:17 baba is you is a great game. i didn't play that much yet, i am stuck in the second bonus level underwater 07:35:51 Which one? 07:36:09 the second hth 07:36:44 that did help, thank you 07:36:50 yw 07:37:32 there are two, the first has "crab is defeat" and "flag is win" in the upper right corner to be activated, the second one also has "jelly is push" and bypasses the option to make a "rock is you" to sneak through the crabs 07:38:09 Oh, that one. 07:38:21 oerjan is defeat 07:38:27 darn 07:38:43 that means if you touch oerjan you disappear, hth 07:38:56 shocking 07:39:05 it is quite the nice sequence 07:39:41 the levels are so similar and i like how the second breaks the way you can solve the first 07:39:58 That's a pattern in this game. 07:40:29 In particular [redacted] and [redacted], and also [redacted] and [redacted] 07:40:34 And a few other instances. 07:43:08 also, if puzzles are in right now: snakebird is awesome 07:43:42 the graphics discouraged me the first few times from trying it because it looked too childish to be a challenge, but it is 07:46:37 also, "the sequence" and "the sequence 2" for mobile are nice bullying automaton puzzles 08:13:42 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61204&oldid=61191 * A * (-906) Delete a quite irrelevant conversation 08:15:33 -!- Lymia has joined. 08:22:18 -!- oerjan has quit (Quit: Nite). 08:28:39 -!- sftp has joined. 08:29:34 -!- AnotherTest has joined. 08:50:36 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61205&oldid=61204 * TuxCrafting * (+680) 09:13:30 -!- arseniiv has joined. 09:15:05 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61206&oldid=61205 * TuxCrafting * (+380) 09:16:41 snakebird is really good 09:16:54 ive also tried stephen sausage roll but it's too difficult 09:17:46 ssr is tg 09:21:57 -!- shikhin has joined. 09:22:00 -!- shikhin_ has left. 09:23:13 the game ? 09:26:00 `? tg 09:26:04 TG is short for Turing-Gödel, the highest possible level of difficulty for a multiplayer game. At this level, it's undecidable whether you can manage to halt before losing or not. 09:26:27 lol 09:27:17 -!- shikhout has quit (Quit: leaving). 09:31:26 -!- shikhin has quit (Quit: Quittin'.). 09:32:37 -!- shikhin has joined. 09:36:45 -!- shikhin has quit (Client Quit). 09:39:04 -!- shikhin has joined. 09:54:25 -!- TuxCrafting has joined. 10:37:23 [[Bitch]] M https://esolangs.org/w/index.php?diff=61207&oldid=61179 * Salpynx * (+12) TCness is an open question 10:50:14 -!- TuxCrafting has quit (Quit: Leaving.). 11:22:05 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61208&oldid=61206 * A * (+11) /* Attempt by User:Helen */ 11:22:35 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61209&oldid=61208 * A * (+0) Wait, switch order... 11:26:36 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61210&oldid=61209 * A * (+118) /* Some thoughts */ 11:27:30 [[User talk:Helen]] https://esolangs.org/w/index.php?diff=61211&oldid=60312 * A * (+636) 11:27:43 [[User talk:Helen]] https://esolangs.org/w/index.php?diff=61212&oldid=61211 * A * (+64) /* Comment from User:TuxCrafting= */ 11:28:34 [[User talk:Helen]] https://esolangs.org/w/index.php?diff=61213&oldid=61212 * A * (+379) 11:32:19 [[User talk:Helen]] https://esolangs.org/w/index.php?diff=61214&oldid=61213 * A * (+15) 11:35:44 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61215&oldid=61210 * A * (+47) /* Some thoughts */ 11:38:25 -!- Frater_EST has joined. 11:41:31 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61216&oldid=61215 * TuxCrafting * (+202) 11:53:41 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61217&oldid=61216 * A * (+142) /* Attempt by User:Helen */ 11:57:08 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61218&oldid=61217 * A * (+39) /* A: Home Row to bitch */ 12:04:17 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61219&oldid=61218 * A * (+186) /* Some thoughts */ 12:05:08 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61220&oldid=61219 * A * (+11) /* Some thoughts */ 12:06:28 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61221&oldid=61220 * A * (-1) /* Some thoughts */ 12:07:44 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61222&oldid=61221 * A * (+0) Sent wrong URL 12:30:51 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61223&oldid=61222 * A * (+122) /* A: Home Row to bitch */ 12:31:19 -!- Frater_EST has left. 12:42:20 [[Z3]] https://esolangs.org/w/index.php?diff=61224&oldid=61202 * A * (-7) 12:45:25 [[Talk:Z3]] https://esolangs.org/w/index.php?diff=61225&oldid=61203 * A * (+192) 12:50:07 [[Z3]] https://esolangs.org/w/index.php?diff=61226&oldid=61224 * A * (-416) 12:51:40 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61227&oldid=61223 * A * (+34) /* Combined attempt by User:A and User:Helen */ 12:55:57 [[Talk:Z3]] https://esolangs.org/w/index.php?diff=61228&oldid=61225 * A * (-192) Undo revision 61225 by [[Special:Contributions/A|A]] ([[User talk:A|talk]]) 12:58:03 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61229&oldid=61227 * A * (+152) /* Attempt by User:Helen */ 13:03:15 [[Z3]] https://esolangs.org/w/index.php?diff=61230&oldid=61226 * A * (+8) 13:04:28 -!- Lord_of_Life_ has joined. 13:04:58 [[Bitch]] M https://esolangs.org/w/index.php?diff=61231&oldid=61207 * A * (+92) /* Impossible */ 13:05:15 -!- Lord_of_Life has quit (Ping timeout: 255 seconds). 13:05:34 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 13:31:28 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61232&oldid=61229 * A * (+63) /* Proof that all loops are computationally equivalent */ 13:49:58 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61233&oldid=61232 * A * (+447) /* Proof that the Halting problem is trivial in bitch */ 13:51:14 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61234&oldid=61233 * A * (+128) /* Proof that the Halting problem is trivial in bitch */ 14:03:46 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61235&oldid=61234 * A * (+15) I helped you out a bit. 14:14:33 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61236&oldid=61235 * A * (+59) /* Some thoughts */ 14:16:27 [[User talk:Helen]] https://esolangs.org/w/index.php?diff=61237&oldid=61214 * A * (+61) /* Comment from User:TuxCrafting from bitch */ 14:22:17 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61238&oldid=61236 * A * (+8) /* A: Home Row to bitch */ 14:24:52 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61239&oldid=61188 * A * (+114) /* List of candidates */ 14:26:44 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61240&oldid=61239 * A * (+26) /* List of candidates */ 14:27:21 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61241&oldid=61240 * A * (+1) /* List of candidates */ 14:28:17 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61242&oldid=61241 * A * (-75) /* List of candidates */ 14:29:10 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61243&oldid=61242 * A * (-13) 14:31:40 [[Esolang:Featured languages/Candidates]] https://esolangs.org/w/index.php?diff=61244&oldid=61243 * A * (+26) /* List of candidates */ 14:33:24 ...brainfuck was the features language on the wiki for pretty much my entire time at uni 14:34:55 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61245&oldid=61238 * A * (+100) /* A: Home Row to bitch */ 14:36:23 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61246&oldid=61245 * A * (+16) /* A: Home Row to bitch */ 14:45:40 [[Bitch]] M https://esolangs.org/w/index.php?diff=61247&oldid=61231 * Helen * (+76) /* Basic Flow Instructions */ Clarified looping due to a comment in the talk page by [[User:TuxCrafting|TuxCrafting]] 14:55:39 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61248&oldid=61246 * Helen * (+53) /* Incrementing */ 14:56:42 [[Bitch]] M https://esolangs.org/w/index.php?diff=61249&oldid=61247 * Helen * (+4) Updated computational class to unknown 15:08:44 [[User talk:Helen]] https://esolangs.org/w/index.php?diff=61250&oldid=61237 * Helen * (+449) /* Comment from User:TuxCrafting from Talk:bitch */ 15:14:10 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61251&oldid=61248 * Helen * (+67) /* Incrementing */ 15:14:33 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61252&oldid=61251 * Helen * (-257) /* Decrementing idea */ 15:15:59 [[User:Helen]] https://esolangs.org/w/index.php?diff=61253&oldid=58955 * Helen * (+118) 15:16:12 [[User:Helen]] M https://esolangs.org/w/index.php?diff=61254&oldid=61253 * Helen * (+11) 15:16:34 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61255&oldid=61252 * Helen * (+85) /* Some thoughts */ 15:17:09 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61256&oldid=61255 * Helen * (+75) /* Some thoughts */ 15:18:53 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61257&oldid=61256 * Helen * (+163) /* Attempt by User:Helen and User:A */ 15:33:10 [[Talk:Bitch]] https://esolangs.org/w/index.php?diff=61258&oldid=61257 * TuxCrafting * (+805) 15:33:53 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61259&oldid=61258 * TuxCrafting * (+93) 15:39:16 -!- ZM has joined. 15:41:04 I've been playing around a bit with BytePusher 15:44:07 -!- ZM has quit (Client Quit). 15:47:32 Damn it now I have to buy that game 15:48:54 Which game? 15:49:55 Baba is You 15:50:21 people keep talking about it and it sound so awesome 15:51:13 I don't know much about it 15:51:42 We[https://en.wikipedia.org/wiki/Pluralis_majestatis]'re all done with that game. 15:53:01 -!- TuxCrafting has joined. 15:56:58 Taneb: imo you should baba it up hth 15:57:20 it is awesome 15:57:32 I still don't know anything abou tit 15:59:38 Taneb: good, that's the way to do it 15:59:53 Does it run on Linux 15:59:58 pluralis int-estatis 16:00:00 Unfortunately 16:00:00 it does 16:00:17 Will it run well on my computer that doesn't currently and may not soon have a GPU 16:00:58 it is not a fancy graphics game 16:01:17 -!- LKoen has joined. 16:01:19 How much does it cost 16:01:22 it runs on a switch 16:01:28 myname: I have one of those 16:01:31 here is a trailer: https://www.youtube.com/watch?v=U7MJljsoUSo 16:01:38 Taneb: one from nintendo? 16:01:43 Yes 16:01:47 go for it 16:01:51 Yeah it doesn't look like it needs a GPU. OTOH I'm pretty sure it uses OpenGL. 16:01:52 it costs $12,000 16:02:07 the switch is an awesome console 16:02:10 That's a lot of dollars unless that , marks the decimal point 16:02:12 which is about 9000 gbp 16:02:33 shachaf: can I sell my copy to you? 16:02:56 (I know, Steam won't allow it...) 16:02:59 A second-hand copy? I'll pay you $0.14 for it. 16:03:06 Oh no, you bought it on Steam? 16:03:13 I think so. 16:03:32 I bought it on humblebundle.com because you get a non-Steam-DRM copy. 16:03:38 ...And then played it on Steam. 16:04:00 I'm not following humblebundle anymore. 16:04:20 I didn't get it as part of a bundle. I stopped following those a long time ago. 16:04:27 They're just a regular store now. 16:05:00 (I found that most of the non-crappy games in those bundles were the non-crappy games that made me buy earlier bundles.) 16:05:16 Oh the shop. 16:06:02 -!- LKoen has quit (Remote host closed the connection). 16:06:13 I think I disliked the infrequent updates. 16:06:20 -!- LKoen has joined. 16:06:43 Oh, look at this. They have 9 bundles. 16:07:10 . o O ( Oh look at this, crap^9. (I haven't looked) ) 16:07:28 I'm sure I want a "₿lockchain & ¢ryptocurrencybundle"! 16:07:56 Apparently there's a Unicode code point for U+20BF BITCOIN SIGN? 16:07:57 Donate more than the average and get 0.0001 bitcoin 16:08:15 I always figured people were abusing some other code point that happened to have a B with a line through it. 16:08:20 Now I'm disappointed in the Unicode committee. 16:08:49 shachaf: is it a double-linked blockchain? 16:08:55 err doubly-linked 16:09:14 seeing all the emojis you shouldn't be surprised by the uc being stupid 16:09:17 I sure hope so. 16:10:40 get more mystery games on May 3 <-- they have invisible crap too 16:10:56 -!- LKoen has quit (Remote host closed the connection). 16:11:33 You know it has to be good if they won't even tell you what it is. 16:13:08 -!- LKoen has joined. 16:16:17 SHIT 16:16:26 my font doesn't have the bitcoin sign 16:16:48 bitcoin sign is a very important character to support 16:17:00 I was about to say, can I use your font? 16:17:03 `unidecode ₿ 16:17:06 No output. 16:18:08 *kʷos? 16:20:37 -!- imode-desktop has quit (Quit: WeeChat 2.4). 16:27:52 can't wait for the switch release of slay the spire 16:32:25 -!- LKoen has quit (Remote host closed the connection). 16:37:41 Ok, I have just added 5 new currency symbols to my font 16:38:30 Like 💱? 16:38:49 `? oren's font 16:38:50 oren's font? ¯\(°_o)/¯ 16:38:55 `grWp font 16:38:56 dingbat:dingbat is a famous font designer for Microsoft. \ font:#esoteric bitmap fonts include: \oren\'s font http://www.orenwatson.be/fontdemo.htm , lifthrasiir's font https://github.com/lifthrasiir/unison/ , b_jonas's font http://www.math.bme.hu/~ambrus/pu/fecupboard20-c.pcf.gz , fizzie's font https://github.com/fis/rfk86/tree/master/web/font , FireFly's fonts http://xen.firefly.nu/up/fonts/ \ lifthrasiir's font:lifthrasiir's font is https://github.com 16:38:57 U+20BB to U+20BF 16:40:28 whoa, your font's metadata seems all wrong 16:40:35 hmm? 16:40:50 in what way? 16:41:11 I'm loading it with freetype and rendering glyphs using bitmap_left, bitmap_top, etc. 16:41:23 And it's sure looking terrible. 16:41:50 it's a TTF font not bitmap 16:42:58 I know, Freetype is rendering it to a bitmap. 16:43:23 I don't know much about font rendering but what I'm doing worked fine with all the other TTF fonts I tried. 16:44:06 http://slbkbs.org/tmp/oren-font.png 16:44:11 this font has a persistent problem with working under subpixel rendering 16:44:24 oh. hmm 16:45:27 http://slbkbs.org/tmp/oren-font-atlas-128.pgm 16:45:55 I might be doing something wrong but the other TTF fonts I tried look OK. 16:46:54 Well I mean, those other ttf fonts were generated by programs written by people who understood ttf formatbetter than me 16:47:21 http://www.orenwatson.be/bdf2ttf.htm 16:48:00 rather than by a c program written using documentation found online 16:48:11 -!- LKoen_ has joined. 16:48:14 I don't understand TTF at all. 16:48:26 it works fine in a web browser and in most terminals 16:49:03 Hmm. 16:49:06 Then maybe it's my fault. 16:49:51 I mean, it's definitely possible I made a mistake that only causes problems in some circumstances. 16:50:48 ttf is really badly documented 16:51:56 I didn't even *attempt* to do any of the special hinting program stuff 16:53:04 It might have to do with how I'm packing the thing. 16:53:08 "\0n\0e\0o\0l\0e\0t\0t\0e\0r\0s" yay for doing UTF-16 the stupid way 16:55:04 I'm pretty proud of my algorithm for converting the bitmap into a series of curves 16:56:29 Oh, here we go. 16:57:02 face->size->metrics.height is 1024 (16px?), but the actual glyphs are of height 24px 16:57:09 -!- LKoen_ has quit (Remote host closed the connection). 16:57:10 Or something. 16:57:13 ah 16:58:41 the glphs ought to be 16 px high tho 16:59:10 hmm, where did I put 24 px 17:00:19 I mean, I'm loading it at a particular size to get bitmaps. 17:00:26 Presumably things are being scaled to give me these numbers. 17:06:56 OK, this looks a bit better: http://slbkbs.org/tmp/oren-font-2.png 17:07:25 In that things are being packed correctly. But the height is still wrong. 17:10:27 I kind of like the p 17:10:28 t look. 17:11:00 -!- TuxCrafting has quit (Quit: Leaving.). 17:11:16 In http://slbkbs.org/tmp/oren-font-3.png 17:11:24 -!- TuxCrafting has joined. 17:12:14 it looks like it thinks the height is half of what it is 17:12:52 Yes. 17:12:57 What's that all about? 17:13:10 -!- Phantom_Hoover has joined. 17:13:20 Well, I have a theory that my values in the OS/2 table are wrong 17:13:30 nice vertical kerning ;-) 17:13:57 Isn't it? 17:14:08 I can just take credit for this new innovation. 17:14:12 Vertical ligatures. 17:14:47 Doesn't that happen in Japanese calligraphy? 17:15:01 (I'm not sure) 17:15:18 * int-e is playing with Coq. 17:15:24 You mean text written vertically? 17:15:29 It's not as terrible yet as I was told it would be. 17:15:37 OK, perpendicular ligatures. 17:17:49 -!- LKoen has joined. 17:18:05 so basically, the ttf format has a bunch of pairs of ascent and descent values 17:18:22 for my font these would be 12 and 4 17:18:25 Oh, I bet I should be using those values. 17:18:34 oren: Are write32 etc. doing endianness swaps? 17:18:48 Why are you writing the code in a way that's both unportable and hard to understand? 17:18:54 shachaf: yeah they all do endianness 17:18:54 Endianness swaps are scow. 17:20:04 unsigned char buf[4] = { c >> 24, c >> 16, c >> 8, c }; 17:20:07 so, suppose that i got the sign wrong on one of my descent values 17:20:12 fwrite(buf, 1, 4, f); 17:20:25 Endianness swaps should be illegal. 17:21:06 if that happened, the descent would effectively be -4, making the whole hieght of the character 12 - 4 = 8, instead of 12 + 4 = 16 17:22:06 that's my best guess as to what is happening 17:22:26 ascender is 24, descender is 7 17:22:45 uhhh.... 17:22:58 rounding involved I guess 17:23:40 Ascender is 1536, descender is 448 17:24:14 but is that descent measured downward or upward I wonder 17:24:37 Let me try another font. 17:24:50 Ascender is 1920, descender is -512 17:25:19 'match lst as b return (lst = b -> A) with' <-- now what. 17:26:01 aha 17:26:26 yeah it's definitely a sign problem in one of my descender values 17:29:06 yup, hhea.descent is suppose to be negative 17:29:47 fixed it 17:30:37 hhea.descent is of type "FWORD" 17:30:39 2.4MB 17:30:47 That's a lot of B. 17:31:02 yeah maybe I should compress it? 17:32:28 OK, now it looks fine. 17:32:57 But I lost that great ligature. 17:33:14 I guess it's not a ligature in this case, just good kerning. 17:33:58 I think css supports negative % line height? 17:34:18 I've seen it used for fonts that have excessive vertical space 17:34:35 I mean, I can certainly do it. 17:34:47 But it doens't happen naturally now. 17:37:01 zip compresses it to 5 megabytes 17:37:31 er. .5 Mb 17:37:56 I guess that's like, 20% size 17:51:55 -!- LKoen has quit (Remote host closed the connection). 17:52:14 -!- LKoen has joined. 17:57:18 -!- TuxCrafting has quit (Quit: Leaving.). 18:12:51 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”). 18:44:50 -!- moei has joined. 18:46:39 -!- probablymoony has quit (Quit: Bye!). 18:50:40 -!- Bowserinator has quit (Quit: Blame iczero something happened). 18:53:07 -!- moony has joined. 18:54:12 -!- Bowserinator has joined. 19:05:20 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 19:18:32 so how do people do Baba Is You esoprogramming 19:18:35 is there a level editor? 19:27:40 https://babaiswiki.fandom.com/wiki/Level_editor seems to be the answer to that question 19:28:15 rad! 19:31:53 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61260&oldid=61259 * Helen * (-9791) /* Combined attempt by User:A and User:Helen */ Moved to bottom (part 1) 19:32:21 -!- tromp has quit (Remote host closed the connection). 19:33:48 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61261&oldid=61260 * Helen * (+9806) /*Combined attempt by User:A and User:Helen*/ Moved to bottom (part 2) 19:39:54 [[User talk:A]] https://esolangs.org/w/index.php?diff=61262&oldid=61117 * Helen * (+225) Suggenstion for [[Volatile]]'s push 1 trick 19:44:55 -!- b_jonas has joined. 19:45:44 hmm, so apparently Taneb hasn't invented Baba is you yet 19:46:01 [[User talk:A]] https://esolangs.org/w/index.php?diff=61263&oldid=61262 * Helen * (+137) /* Volatile push 1 algorithm */ 19:46:11 [[User talk:A]] M https://esolangs.org/w/index.php?diff=61264&oldid=61263 * Helen * (+4) /* Volatile push 1 algorithm */ 19:47:19 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61265&oldid=61261 * Helen * (+1) /* Some thoughts */ Spelling mistake (sorry I noticed and tried to ignore but I had to) 19:50:58 [[User talk:A]] https://esolangs.org/w/index.php?diff=61266&oldid=61264 * Helen * (+189) New suggestion for 1 algorithm 19:52:27 [ 40*0.0254 19:52:28 b_jonas: 1.016 19:52:47 [ %0.0254 19:52:48 b_jonas: 39.3701 19:54:54 [[User talk:A]] M https://esolangs.org/w/index.php?diff=61267&oldid=61266 * Helen * (+0) 19:55:34 -!- sftp has quit (Quit: leaving). 19:58:13 -!- sftp has joined. 19:58:25 -!- FreeFull has joined. 20:15:48 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61268&oldid=61265 * Helen * (+1) /* [Unsuccessful] Combined attempt by User:A and User:Helen */ Changed title to be more useful 20:15:55 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61269&oldid=61268 * Helen * (+11) /* [Unsuccessful] Compilation to Z3 by User:A and User:Helen */ 20:16:17 [[Talk:Bitch]] M https://esolangs.org/w/index.php?diff=61270&oldid=61269 * Helen * (+30) /* Attempt by User:Helen and User:A */ 20:23:44 -!- tromp has joined. 20:28:03 -!- tromp has quit (Ping timeout: 255 seconds). 20:34:06 -!- AnotherTest has quit (Ping timeout: 252 seconds). 20:36:37 [[OISC]] M https://esolangs.org/w/index.php?diff=61271&oldid=58682 * TuxCrafting * (+9) fix link for DJN 20:44:12 my φ 20:44:16 is wrong 20:44:57 Do you have the other phi 20:46:47 yeah at 3d5 ϕ 20:46:57 but that apparently is the wrong way around? 20:49:11 argh wikipedia doesn't clearly say whether 3d5 is the loopy phi or 3c6! 20:50:39 ϕφ 20:50:50 `unidecode ϕφ 20:50:51 [U+03D5 GREEK PHI SYMBOL] [U+03C6 GREEK SMALL LETTER PHI] 20:50:54 and then there is this fucking thing: ᵠ which is called MODIFIER LETTER SMALL GREEK PHI 20:51:08 small phi looks loopy here hth 20:51:26 but on wikipedia I see a fucking PSI not a PHI 20:52:10 `unidecode ᵠ 20:52:11 [U+1D60 MODIFIER LETTER SMALL GREEK PHI] 20:54:38 ok what the fuck Calibri 20:57:50 where do I report a mistake in Calibri 20:58:40 You use `complain [your complaint] 21:01:41 `complaints 21:01:42 24 share/Complaints.mp3 21:11:39 how the hell does something like this even happen 21:13:48 and notget discovered for 5 years in one of the most popular typefaces in the world 21:14:20 wait no. calibri came out in 2007 21:14:26 12 years 21:18:24 -!- tromp has joined. 21:22:41 -!- tromp has quit (Ping timeout: 246 seconds). 21:24:41 oren: how do you know it didn't get discovered in 12 years? do you think that if it had been realized, an updated version of the font would have gotten to you by now? 21:25:45 `\ 21:25:46 /srv/hackeso-code/multibot_cmds/lib/limits: line 5: exec: \: not found 21:29:53 b_jonas: the calibri I have is from very recently installed MS Office 21:31:39 try the string ψϕφᵠ here: https://fonts.adobe.com/fonts/calibri 21:32:11 oren: is the office installer recent too? because I could install twenty year old software very recently if I wanted. 21:32:19 sorry sorry 21:32:32 stupid mathematician question 21:32:35 lol 21:33:40 you have verified that all of it comes from Calibri, not from replacement fonts, right? 21:34:50 yeah 21:34:58 it's version Version 5.62 21:35:53 which I guess is not the most recent version 21:36:17 Uh, that https://fonts.adobe.com/fonts/calibri view for just ϕφ is /so weird/. All the four possible different combinations of loopiness are there. 21:36:46 yeah 21:36:58 https://answers.microsoft.com/en-us/msoffice/forum/all/phi-characters-in-calibri-font-on-windows-78/e47e42d9-cc6a-4643-af1f-ae38a867575c 21:37:10 but that Phi-related issue was already reported 21:37:43