#computertech Bot Logged User list

Network: Rizon

Modes: +Nntzl

Last Seen: 2 hours ago

Topic: Welcome to #computertech || we're horny perverts || End3r is DJing LIVE at https://is.gd/yDJnuF

Rank

318

Users

Channel Log Archive for #computertech

Hide Joins

* All times are UTC

Filtering by user: ski

Tuesday, February 7, 2023

[07:21:41] ski over here, there was an icecream that was called that

[07:58:59] ski perhaps we'd prefer not to know

[08:09:02] ski no worry

[08:17:17] ski hm, SmallTalk had an interesting way to do booleans

[08:19:54] ski i've been pondering a static semantics for them (including several unusual generalizations), for some time, occasionally making some slight headway

[08:21:36] ski in SmallTalk, they are objects, that you send messages to

[08:22:33] ski somthing like `aBoolean ifTrue: [..success block here..] ifFalse: [..failure block here..]' (i can't recall the exact name)

[08:23:18] ski so, you're passing the two branches (being parameterless functions, "blocks") as arguments. then the boolean will select one of those two, and invoke it, depending on which of the two booleans it is

[08:24:11] ski so, there is no built-in `if' syntax, it's just message passing

[08:25:07] ski in terms of lambda calculus, this is called the "Church encoding" of booleans

[08:25:48] ski oh .. didn't really have an idea about this. i was just reminded of it, because i mentioned this to someone else, a couple of days ago .. and now you mentioned "small talks"

[08:26:48] ski (they were thinking about encoding data types in lambda calculus, and i suggested it could be done via Church encoding, or, alternatively, Scott encoding)

[08:27:08] ski it's probably incomprehensible, unless you already understand some basic lambda calculus

[08:28:00] ski lambda calculus is a formalism investigating functions. in the "pure" lambda calculus, "everything is a function". inputs and outputs of functions are also functions, &c.

[08:28:21] ski it's a fundamental model of computation. somewhat akin to (although very different from) Turing machines

[08:28:31] ski yes

[08:29:30] ski it's the basis for functional programming languages .. and, more generally, is relevant to higher-order programming (passing functions as input and output of other functions), in programming languages in general (including e.g. C, Java, ..)

[08:29:45] ski basically, yes

[08:30:46] ski it's a language-centric model, where we model the program executing, by rewriting expressions .. as opposed to machine-centric model, where we model by modifying memory (and registers), following machine code instructions (typically stored in memory)

[08:31:11] ski hm, people who can interpret code ? .. how do you mean ?

[08:31:27] ski .. that's unrelated

[08:31:33] ski hm

[08:32:15] ski first, languages aren't compiled or interpreted. language implementations are. (although a language can make it easier or harder to make a compiler for it)

[08:32:49] ski secondly, this stuff, about passing around functions as first-class languages, can be done just as well when you're interpreting, as when you're compiling

[08:33:05] ski er, as first-class values

[08:34:46] ski anyway, it's useful to know about multiple models, multiple ways to think about programming

[08:34:59] ski gives you more tools in your toolbox to attack problems with

[08:36:03] ski yea ?

[08:36:50] ski that's fine

[08:37:21] ski people sometimes seem to think that just because they're fired up about something, everyone ought to learn about it ;)

[08:37:59] ski people gravitate towards different things

[08:39:51] ski makes sense

[08:40:46] ski live like what ?

[08:42:05] ski perhaps you need to try to pick something, and stick with it for a while

[08:43:00] ski would be nice

[08:43:35] ski well, i guess you've learned something from that

[08:45:36] ski quick reflexes

[08:47:33] ski by accident too, i presume

[08:48:49] ski .. slightly cold, here

[08:50:33] ski 3 °C / 37 °F, here

[08:50:41] ski (and snow, outdoors)

[08:52:40] ski i'm pretty bad at it, alas

[08:53:09] ski (for some reason, strategy was never my strong point)

[08:53:30] ski my brother used to play a lot of Heroes of Might and Magic

[08:53:50] ski (oh, and Civilization, &c.)

[08:54:27] ski it does some pretty nice, opera-style, music, though

[08:54:38] ski s/does/does have/

[08:56:23] ski Dune 2, Dune 2000 were nice

[08:56:52] ski you can play Dune 2 on the web archive, iirc

[08:57:08] ski second

[08:57:19] ski Dune 2000 is a remake of Dune 2

[08:57:23] ski oh

[08:57:45] ski i think there was a later one. maybe called Emperor or something

[08:58:31] ski might've had 3D rendering. i never played it

[08:58:58] ski .. now i'm reminded of Tomb Raider (the original 1996 one)

[08:59:22] ski being amazed at the textures, and how the ceilings weren't flat all the time

[08:59:48] ski (story and gameplay isn't too bad, either)

[09:00:35] ski clackety-clack

[09:01:05] ski you're on track

IRC Log Archive

This is a searchable archive of IRC conversations from #computertech on Rizon. Use the search box above to find discussions on specific topics. All conversations are preserved to help the community learn from past discussions.