00:04:19 -!- shinh_ has joined. 00:04:30 What are you thinking of my "World Trap" card? 00:05:16 Man. How come writing programs with UIs is a completely ridiculous endeavor these days? 00:05:45 It's so bad. There are five platforms you need to target and they're all trying to maximize lock-in by having incompatible APIs for everything. 00:05:46 -!- craigo has joined. 00:06:07 -!- shinh__ has joined. 00:06:08 They don't even want you to use the same language, because apparently we're in the 1950s and high-level cross-platform languages haven't been invented yet. 00:08:46 Depending what you are writing, you could use some VM code, such as Z-machine code or Glulx code; that is why Infocom invented the Z-machine code, for their Zork game. 00:09:09 You might also be able to use SDL for some stuff, maybe. 00:09:13 -!- shinh_ has quit (Ping timeout: 264 seconds). 00:11:18 -!- tromp has quit (Remote host closed the connection). 00:12:54 -!- xkapastel has quit (Quit: Connection closed for inactivity). 00:37:15 -!- Arcorann has joined. 00:37:49 -!- Arcorann has quit (Remote host closed the connection). 00:38:10 shachaf: I was doing some "classic iOS" ObjC things recently, and it was kind of interesting, that whole NeXTSTEPpy object feel and the Interface Builder and stuff. 00:38:10 -!- Arcorann has joined. 00:38:27 Although AIUI that's kind of obsolete with Swift and SwiftUI and declarative UIs, which seems like a bit of a shame. 00:38:32 fizzie: that's called "classic" now? Is Objective-C deprecated? 00:38:55 I don't get it. I want to write my program in one language, which I get to choose, and I want to compile it to all the different target platforms. 00:39:24 I don't want a Swift-only or Java-only or .NET-only or JavaScript-only or C++-only library as the basic thing the platform provides. That just seems absurd. 00:39:26 I don't know about "deprecated", but I think it's not definitely "the new thing". 00:40:15 Swift is to Objective-C what Kotlin is to Java, or that's the impression I got. 00:40:39 Swift sounds like an OKish language to me. 00:41:05 But I'm not going to write my program, which needs to be efficient and cross-platform, in Swift. That's just silly. 00:41:09 "Even better, you don’t even need to type semi-colons." 00:41:27 I'm not sure I'd highlight that as a big selling point on the very top of https://developer.apple.com/swift/ though. 00:41:43 I don't think the semi-colons were the problem. 00:41:52 Objective-C is a superset of C, I think, so you can write everything else except the UI in C, I think. 00:42:47 I don't really want to write my UI six times. 00:43:05 No, see, you get six software development teams who each write the UI once. 00:43:15 Six: Mac OS, iOS, Android, Windows, Linux, web. 00:43:36 Mac OS and iOS are converging a little, aren't they? 00:44:18 Sort of outside my field of view, but that's what it felt like. Or at least they were already much closer than Android and [anything else]. 00:44:44 Well, maybe. Writing a different UI for desktop and mobile actually does make some sense. 00:45:30 Well, you know... "Qt is the fastest and smartest way to produce industry-leading software that users love." 00:45:34 -!- tromp has joined. 00:45:39 I don't really want to use C++, though. 00:45:52 Qt might be one fo the most reasonable answers? But that doesn't seem great. 00:46:13 I think I remember Nokia's Linux phones were kind of heavily banking on Qt. 00:48:09 What you will do, it might depend what program you are writing, too. 00:48:47 I would write my own UI code, except for a few things that make it tricky. 00:49:04 The main things are: Rendering text, and handling text in general; accessibility. 00:49:07 What program are you trying to write? 00:49:53 Nothing at the moment. I gave up on some programs I was trying to write. 00:50:03 Even the idea of making a simple GUI program is kind of daunting, though. 00:50:06 -!- tromp has quit (Ping timeout: 246 seconds). 00:50:42 I generally write command line programs instead, since many thing we don't need the GUI. 00:53:16 But sometimes you might be able to use SDL or something like that 00:53:31 (Although, SDL doesn't handle text) 00:54:04 But, even with rendering/handling text, it still depend what stuff you need to do, since different applications require different text handling. 00:55:06 All applications require the same text handling: They must render "Professional Octopus of the World" in 12pt Arial. 00:57:22 No, that isn't quite correct. Even if needs to render arbitrary text, it might not need 12pt Arial, and even if it is, it can depend on if the render is on the screen or printer, too. 00:59:03 -!- FreeFull has quit. 01:27:22 -!- adu has joined. 01:34:59 There is then consideration of kerning, ligatures, line breaking, etc, depending on what is needed. 01:39:47 -!- tromp has joined. 01:44:43 -!- tromp has quit (Ping timeout: 272 seconds). 01:55:54 -!- Cale has quit (Remote host closed the connection). 01:57:26 -!- Cale has joined. 02:03:08 -!- Phantom__Hoover has joined. 02:03:24 -!- hendursaga has quit (Remote host closed the connection). 02:04:20 -!- hendursaga has joined. 02:06:26 -!- Cale has quit (Remote host closed the connection). 02:09:49 -!- Phantom__Hoover has quit (Ping timeout: 264 seconds). 02:15:47 Also, how much is twelve points depend on the application too. Some programs use 1/72 inch, and some use 1/72.27 inch. The PostScript documentation specifically says that 1/72 inch isn't a point, but it is approximately equal to one point (it doesn't give an exact number of how much is one point). 02:16:47 So, I will suggest to call 1/72.27 inch a "small point" and 1/72 inch a "big point", I suppose. 02:17:26 -!- Cale has joined. 02:17:28 A smoint and a boint, for short. 02:18:33 O, OK. 02:22:21 Do you know how solvers for forall-exists kinds of problems work? 02:22:53 I mean Σ_2 or Π_2, I guess. 02:23:04 How much harder is it than SAT? 02:26:57 -!- ProofTechnique has quit (Ping timeout: 260 seconds). 02:30:40 -!- ProofTechnique has joined. 02:33:52 -!- tromp has joined. 02:38:33 -!- tromp has quit (Ping timeout: 272 seconds). 03:27:59 -!- tromp has joined. 03:33:01 -!- tromp has quit (Ping timeout: 272 seconds). 03:56:23 -!- Antebrationist has joined. 03:57:19 Are there any programming KOTH competitions running currently? 03:59:53 bobbeh 04:00:26 Programming? 04:03:00 -!- Lord_of_Life_ has joined. 04:05:30 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 04:05:31 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 04:12:14 I don't know what is "KOTH competitions" 04:13:03 Competitions where user-submitted programs battle it out, to be King of the Hill (KotH) 04:13:19 O, OK 04:19:40 There was one on here a while back, that orbitaldecay ran, as a brainfuck competition, but no more have occurred since. 04:22:10 -!- tromp has joined. 04:24:56 Yes, there was one before, but I don't know if it is at this time, now. 04:27:07 -!- tromp has quit (Ping timeout: 260 seconds). 04:30:11 Did you want any other programming languages with it? 04:30:40 Any programming language will do, but I'd prefer esolangs. 04:30:59 Oh, zzo, I finished proving Eldritch TC a while ago. 04:32:14 OK. You should add a esolang wiki article about Eldritch then. 04:32:34 I don't think that it is sufficiently notable to be on the wiki. 04:35:10 OK, although I think esolang wiki doesn't require so much notability as Wikipedia does. 04:35:59 Eldritch bears many similarities to existing languages, such as Befunge, though I didn't even know about them before you mentioned it. For this reason I won't post it. 04:36:33 OK, if you do not want to post, is OK 05:10:34 -!- Antebrationist has quit (Remote host closed the connection). 05:26:33 -!- Sgeo has quit (Read error: Connection reset by peer). 06:16:26 -!- adu has quit (Quit: adu). 06:16:45 -!- kritixilithos has joined. 06:53:54 -!- tromp has joined. 07:05:21 shachaf: yes, writing UI programs sucks these days. other people have noticed that too. 07:07:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 07:08:46 -!- FreeFull has joined. 07:30:32 -!- kritixilithos has joined. 08:07:38 -!- hendursa1 has joined. 08:10:03 -!- hendursaga has quit (Ping timeout: 240 seconds). 08:13:58 -!- b_jonas has quit (Remote host closed the connection). 10:25:22 -!- kspalaiologos has joined. 10:30:31 -!- imode has quit (Ping timeout: 265 seconds). 10:36:44 -!- t20kdc has joined. 10:41:02 -!- Arcorann has quit (Ping timeout: 264 seconds). 10:56:00 -!- Arcorann has joined. 11:52:07 fungot: do your bridges work on the first try? 11:52:07 int-e: so far no mime types" http://srfi.schemers.org/ srfi-27/ is that once the basics are working, and stuff like that 11:56:12 application/x-broken-bridge 11:57:12 Why do I feel like I saw a funny MIME type just recently? No recollection what it could've been. 11:58:18 Hmm, maybe it was the 'application/vnd.PHE-COVID19.v1+json' content type used by the UK COVID-19 data API, but that's not especially funny, just maybe oddly specific. 12:06:25 fizzie: I'm playing https://www.gog.com/game/bridge_constructor 12:07:23 And I'm finding that the addition of sloped bridges made this much more fun. 12:07:45 I played a little bit of Poly Bridge (1) recently, which that looks quite similar to. 12:09:06 Yeah there are a number of clones of the original (I think) Bridge Builder 12:10:25 Looks like there's also a Bridge Constructor / Portal crossover game. 12:10:43 I don't know how they compare, the Bridge Constructor franchise is the only one I've played. 12:14:39 I've tried that one too (gog has a promo bundle with three variants including that one, https://www.gog.com/promo/20200806_launch_promo_bridge_constructor) 12:16:21 They have portals, they have accelerating goo and bouncing goo, they have turrets, they have switches and companion cubes... they may be overdoing it a little, but it's still enjoyable. I kind of miss the budget constraints actually. 12:16:42 I'm kind of unhappy that I only have the Android version of Poly Bridge (had some expiring Play Store credits to lose, at it was on sale for something like £0.99), and the small-touchscreen user experience really isn't quite the same as having a monitor and a mouse. 12:16:44 (They still display a cost, so you /can/ minimize that.) 12:17:30 It runs okay on Chrome OS's Android app support, and you can click on buttons with the mouse, but none of the actual bridge parts deign to be interacted with the mouse. 12:17:30 The portals mean that you have cars going vertically, and also can be used to flip car directions... some levels have you cross the car's own path. 12:17:41 So, yeah, it's cute. 12:17:42 (Presumably the code is specific to "touch" events on those.) 12:20:11 -!- Cale has quit (Ping timeout: 240 seconds). 12:21:54 But the sloping really got me... instead of connecting start and end in a straight line you get to do things like http://int-e.eu/~bf3/tmp/bbslope.jpg (partial bridge, I removed the supporting structures, from a (the?) christmas themed level set) 12:32:36 I wonder how many civil engineers this game has ruined. "I can make this bridge at half the cost, you just have to be careful when driving on it." 12:38:55 I still remember Armadillo Run, has anyone else heard of that? 12:39:34 -!- hendursa1 has quit (Quit: hendursa1). 12:39:49 -!- hendursaga has joined. 12:42:50 hmm, not I 12:47:12 No. I do remember the TIM games though. 12:49:35 hit the fish bowl with the rocket so that the cat chases the mouse to the switch... 12:49:49 TIM was great. 12:50:53 Much like bridge-building, the best parts (for me, anyway) are the ridiculous almost certainly unintended "somehow, it all worked" solutions. 12:51:12 https://classicreload.com/sites/default/files/styles/game_image/public/dosx-the-incredible-machine-screenshot.png 12:52:41 It's funny how the magnifying glass can magically focus light exactly on the flammable object, no matter what the orientation, as long as it's roughly the right way round. 12:52:56 Must have some control circuitry and optics in it. 12:55:32 Nah, it's just Maxwell's demon directing the photons, violating the laws of thermodynamics. 12:58:15 * int-e is trying to figure out which elements are *missing* from the title screen. Amazingly there is quite a few... hamster wheel, generator, motor, dynamite, candle, rocket, tennis ball, basket ball, all the steel parts... I'm almost certain I'm forgetting something, there were just too many things. 12:59:01 The bellows. 13:03:09 Oh, and a bouncy trampoline. 13:03:37 Oh the the trampoline... 13:03:41 https://the-incredible-machine.fandom.com/wiki/The_Incredible_Machine_(game)/Parts of course someone's made a list 13:04:01 Those things were annoying, so much fiddling to find a good placement. 13:04:43 I mean sure, that's basically the whole game, but trampolines actually stood out in that regard. 13:06:56 Oh the monkey, how did I forget the monkey. 13:07:24 It's easily the most adorable thing in the whole game. 13:08:34 And I didn't know about the special parts. 13:13:54 One cute idea in the medieval bridge constructor is that it makes non-working bridges a feature: you lure enemies onto a bridge and let them plummet to their death. It has to collapse at the right moment for this to work. 13:16:15 https://www.mdpi.com/2073-8994/7/3/1289/htm 14:23:43 -!- Sgeo has joined. 14:57:29 [[MailBox]] https://esolangs.org/w/index.php?diff=76522&oldid=57701 * LegionMammal978 * (+777) added interpreter link and TC proof 15:23:53 I didn't know about the special parts either. 15:27:08 look at this nice load distribution... https://int-e.eu/~bf3/tmp/load.jpg (bridgebuilder, possible spoiler for one wood only train bridge) 15:27:15 s/builder/constructor/ 15:35:30 -!- Arcorann has quit (Ping timeout: 265 seconds). 16:03:45 -!- Lord_of_Life has quit (Ping timeout: 240 seconds). 16:06:51 -!- Lord_of_Life has joined. 16:11:23 -!- Lord_of_Life_ has joined. 16:12:34 -!- Lord_of_Life has quit (Ping timeout: 260 seconds). 16:12:42 -!- Lord_of_Life_ has changed nick to Lord_of_Life. 16:22:50 -!- sprocklem has quit (Ping timeout: 256 seconds). 16:23:49 -!- sprocklem has joined. 16:38:03 -!- hendursaga has quit (Ping timeout: 240 seconds). 16:40:44 -!- hendursaga has joined. 16:46:29 did you like this link about computing with tangles? 16:46:43 -!- kritixilithos has quit (Ping timeout: 240 seconds). 17:05:10 [[Talk:The Insane Esolang]] M https://esolangs.org/w/index.php?diff=76523&oldid=68139 * LegionMammal978 * (+239) /* Invalid submissions */ 17:22:29 Hmm, I didn't remember TIM being this clunky when it comes to the interface though. Wonder if that's just DOSBox acting up. 17:22:41 -!- kritixilithos has joined. 17:55:03 -!- kritixilithos has quit (Ping timeout: 240 seconds). 17:58:14 -!- kritixilithos has joined. 18:17:06 -!- b_jonas has joined. 18:18:14 -!- kritixilithos has quit (Quit: quit). 18:30:45 I remember 320x200 being an acceptable graphics resolution ;) 18:31:29 Depending how many things you need to display, maybe it is. 18:32:07 (the idea ist that the resolution and smoothness of, say, mouse movements, are related) 18:38:22 Yes, that it is 18:44:37 -!- craigo has quit (Ping timeout: 264 seconds). 18:48:23 -!- Cale has joined. 18:57:36 [[Brotlipython]] N https://esolangs.org/w/index.php?oldid=76524 * Osmarks * (+1424) Created page with "{{infobox proglang |name=Brotlipython |paradigms=multiparadigm |author=[[User:Osmarks|osmarks]] |year=[[:Category:2020|2020]] |class=:Category:Turing complete|Turing complet..." 19:00:50 [[User:Osmarks/2]] https://esolangs.org/w/index.php?diff=76525&oldid=76506 * Osmarks * (+68) 19:01:55 -!- ais523 has joined. 19:10:09 I just visited a small museum in Budapest in which the best part is a small and cheap but well-composed representattive selection of digital computers, from the first many-cupboard vacuum tube machines up to recent enough stuff that they won't have a time gap when they later try to expand it. The 80s and 90s home microcomputer era in the middle is the most interesting, because it has a mixture of models 19:10:15 imported from West Europe and ones produced locally. 19:11:51 There were a few pocket calculators, only Eastern ones, but of course the best ones of those are clones of calculators from the West. The two programmables on display are http://www.rskey.org/CMS/index.php/7?manufacturer=H%EDrad%E1stechnika&model=PTK-1023 and http://www.rskey.org/CMS/index.php/7?manufacturer=H%EDrad%E1stechnika&model=PTK-1072 19:12:53 While the collection is good, the labels are terrible. With the digital computers, where I had some foreknowledge to be able to recognize stuff, but in general, there are barely any labels from which you could find out anything about objects you're not familiar with. 19:13:30 for reference: https://www.mmkm.hu/hu/kiallitasaink/a-muszaki-tanulmanytar-allando-kiallitasa Magyar Muszaki es Kozlekedesi Muzeum, a Muszaki Tanulmanytar allando kiallitasa, 11. kerulet Lagymanyosi hid labanal. 19:25:44 -!- tromp has quit (Remote host closed the connection). 20:00:53 -!- tromp has joined. 20:01:26 -!- tromp has quit (Remote host closed the connection). 20:01:42 -!- tromp has joined. 20:03:38 -!- imode has joined. 20:06:39 -!- kspalaiologos has quit (Quit: Leaving). 20:14:06 Maybe my new format for a printing document file (like PDF and DjVu) can be called "PDQ", since it is a alternative of PDF. One of the parts of this project would be to write a complete specification, another part would be to write a Ghostscript driver to target it, and the other part is to write the viewer software. 20:19:14 The full specification should be available in a plain text format, so that you do not require an implementation to already exist in order to read it. 20:38:41 [[Special:Log/newusers]] create * Suspicious Garbage * New user account 20:43:34 -!- ais523 has quit (Quit: sorry for my connection). 20:43:46 -!- ais523 has joined. 20:46:56 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=76526&oldid=76518 * Suspicious Garbage * (+242) /* Introductions */ 20:47:26 -!- xkapastel has joined. 21:01:13 -!- tromp has quit (Remote host closed the connection). 21:11:23 -!- tromp has joined. 21:40:52 -!- TheLie has joined. 22:07:29 -!- tromp_ has joined. 22:10:45 -!- tromp has quit (Ping timeout: 246 seconds). 22:15:23 -!- imode has quit (Ping timeout: 256 seconds). 22:16:57 -!- imode has joined. 22:26:17 -!- imode has quit (Ping timeout: 260 seconds). 22:41:45 -!- TheLie has quit (Remote host closed the connection). 22:56:02 -!- tromp_ has quit (Remote host closed the connection). 23:00:57 -!- tromp has joined. 23:08:46 -!- imode has joined. 23:22:22 -!- sprocklem has quit (Quit: brb). 23:28:34 -!- tromp has quit (Remote host closed the connection). 23:41:15 -!- ais523 has quit (Ping timeout: 265 seconds). 23:44:29 -!- sprocklem has joined. 23:49:46 -!- ais523 has joined. 23:54:10 -!- Arcorann has joined. 23:55:11 -!- Arcorann has quit (Remote host closed the connection). 23:55:35 -!- Arcorann has joined. 23:59:19 -!- ais523 has quit (Remote host closed the connection). 23:59:33 -!- ais523 has joined.