<< 19-09-2026 >>
00:15:42*shanoaice quit (Quit: The Lounge - https://thelounge.chat)
00:16:19*shanoaice joined #nim
00:32:03*insanescholar quit (Remote host closed the connection)
01:33:46*_________ quit (Ping timeout: 240 seconds)
01:35:47*_________ joined #nim
02:36:40*rockcavera joined #nim
07:47:29*acidsys quit (Ping timeout: 254 seconds)
08:07:31*acidsys joined #nim
08:40:00*cws9 quit (Ping timeout: 248 seconds)
08:52:54*mal`` quit (Ping timeout: 267 seconds)
09:10:32*mal`` joined #nim
09:54:04FromDiscord<zkopt_> In reply to @pmunch "Araq used to program": pascal...
09:54:20FromDiscord<zkopt_> nim is modern pascal
09:54:23FromDiscord<zkopt_> it's true
09:55:12FromDiscord<zkopt_> but my friend said that↵"nim's syntax style looks similar to mixture of python and javascript"
09:55:38FromDiscord<zkopt_> most high level, shallow tech devs would think nim as fast python
09:56:55FromDiscord<zkopt_> and I saw someone in nim community wrote "Nim is fast python, easy C" in his profile
09:57:44FromDiscord<zkopt_> and I also think about ↵↵compile time determined length view type array
09:57:48FromDiscord<zkopt_> similar to openarray b
09:58:33FromDiscord<zkopt_> but compile time determined length ↵easy to be checked in compile time
09:59:28FromDiscord<zkopt_> sent a code paste, see https://paste.rs/G2Vjj
09:59:48FromDiscord<zkopt_> what would be good for this array's name?
10:00:30FromDiscord<zkopt_> 1.slicearray ↵2.viewarray↵3.staticarray?
10:07:26FromDiscord<zkopt_> and also I imagine that↵↵Ada's Record Representation Clause would exist in nim
10:08:00FromDiscord<zkopt_> can designate bit's role
10:09:54FromDiscord<zkopt_> this two would be easy to implement with nim macro
12:13:38*xutaxkamay quit (Read error: Connection reset by peer)
12:15:15*xutaxkamay joined #nim
12:27:18*insanescholar joined #nim
12:39:34*insanescholar quit (Remote host closed the connection)
13:28:06*insanescholar joined #nim
14:26:27FromDiscord<aintea> sent a code paste, see https://paste.rs/rltTd
15:15:33FromDiscord<b0rsuk> sent a long message, see https://paste.rs/c6H6S
15:16:19FromDiscord<b0rsuk> (edit) "https://paste.rs/GVe2y" => "https://paste.rs/6iSbp"
15:16:37FromDiscord<b0rsuk> (edit) "https://paste.rs/nwNoW" => "https://paste.rs/uCCGe"
16:07:14*insanescholar quit (Ping timeout: 240 seconds)
16:08:42*insanescholar joined #nim
16:15:56*Mister_Magister_ joined #nim
16:16:43*Mister_Magister quit (Read error: Connection reset by peer)
16:19:14*Mister_Magister_ is now known as Mister_Magister
16:19:24*insanescholar quit (Ping timeout: 241 seconds)
16:20:24*insanescholar joined #nim
16:24:50*insanescholar quit (Ping timeout: 247 seconds)
16:25:17*insanescholar joined #nim
16:37:14FromDiscord<kapendev> In a weird way keeping everything a string does simplify things
16:37:30FromDiscord<kapendev> Not a fan of python, but I like it
17:03:39*hygo quit (Quit: WeeChat 4.7.1)
17:11:14*xutaxkamay quit (Ping timeout: 251 seconds)
17:17:15*xutaxkamay joined #nim
17:24:03*xutaxkamay quit (Ping timeout: 240 seconds)
18:30:03*insanescholar quit (Ping timeout: 256 seconds)
18:35:23*insanescholar joined #nim
18:49:18*insanescholar quit (Ping timeout: 263 seconds)
18:52:51*insanescholar joined #nim
19:21:58*sdothum quit (Remote host closed the connection)
19:24:33*sdothum joined #nim
19:26:56*sdothum quit (Remote host closed the connection)
19:29:21*sdothum joined #nim
19:30:30*sdothum quit (Remote host closed the connection)
19:34:28*sdothum joined #nim
19:34:44*sdothum quit (Remote host closed the connection)
19:36:51*sdothum joined #nim
20:08:40*sdothum quit (Ping timeout: 253 seconds)
20:45:11*sdothum joined #nim
20:48:18*sdothum quit (Remote host closed the connection)
20:51:03*sdothum joined #nim
20:52:34*sdothum quit (Remote host closed the connection)
20:54:41*sdothum joined #nim
21:06:14*xutaxkamay joined #nim
21:09:45*insanescholar quit (Ping timeout: 241 seconds)
21:44:52*insanescholar joined #nim
21:46:19*sdothum quit (Read error: Connection reset by peer)
21:47:06*sdothum joined #nim
21:53:33*sdothum quit (Remote host closed the connection)
21:56:15*sdothum joined #nim
22:00:05FromDiscord<b0rsuk> sent a long message, see https://paste.rs/JZVB1
22:00:20FromDiscord<b0rsuk> (edit) "https://paste.rs/VmhYu" => "https://paste.rs/YULK0"
22:00:38FromDiscord<b0rsuk> (edit) "https://paste.rs/b27vP" => "https://paste.rs/aAxWV"
22:01:38FromDiscord<b0rsuk> Or maybe you could try something with powers of 10 and dividing.
22:05:03*sdothum quit (Remote host closed the connection)
22:05:52FromDiscord<gesee37> sent a code paste, see https://paste.rs/lTMlL
22:06:50FromDiscord<b0rsuk> You start with a string like `"12321534643"`.
22:07:12FromDiscord<gesee37> sent a code paste, see https://paste.rs/oqMvm
22:07:25FromDiscord<gesee37> (edit) "https://paste.rs/pkZPN" => "https://paste.rs/EJMRR"
22:07:50FromDiscord<gesee37> (edit) "https://paste.rs/IB1Bx" => "https://paste.rs/B0FLV"
22:08:20FromDiscord<b0rsuk> 🤔 I suppose a good way to do it is to overload `parseInt` to accept a `char`.
22:09:13FromDiscord<b0rsuk> But as far as brevity is concerned, this only saves one character: `$`.
22:10:09*sdothum joined #nim
22:10:21FromDiscord<gesee37> In reply to @b0rsuk "🤔 I suppose a": `char` is already a `uint` a `uint8` to be precise↵So to get the digit you just substract the value of the base line digit (`'0'`)
22:10:30FromDiscord<b0rsuk> Recently I've been code golfing a bit. I think code golf is brainrot.
22:10:42FromDiscord<gesee37> (edit) "`uint` a" => "`uint`. A"
22:11:25FromDiscord<b0rsuk> In reply to @gesee37 "`char` is already a": Maybe casting would work, then? I don't understand how casting works.
22:11:34FromDiscord<gesee37> In reply to @b0rsuk "Recently I've been code": Never heard of this before u_u
22:12:18FromDiscord<b0rsuk> In reply to @gesee37 "Never heard of this": Optimizing for the fewest lines of code. Some pages, like Exercism, have a separate stat for problem solutions, which is the number of lines of code.
22:12:46FromDiscord<gesee37> In reply to @b0rsuk "Maybe casting would work,": Everything is byte in a computer↵So when you cast you just ask the computer to interpret those byte as whetever you want
22:14:05FromDiscord<gesee37> In reply to @b0rsuk "Optimizing for the fewest": Seems like obfuscation-maxxing but yeah
22:15:31FromDiscord<b0rsuk> Hmm, I don't think it would work in this particular exercise: `u8` has a range of 0-15, and you multiply the digit by 2 and subtract 9 if it goes above 9. So:↵9 2 = 18, wraps around, screws the result.
22:16:54FromDiscord<gesee37> In reply to @b0rsuk "Hmm, I don't think": Actually it's limit is 255↵2⁸ - 1 = 255
22:17:31FromDiscord<b0rsuk> Oh so what I said is valid for `u4`.
22:17:43*sdothum quit (Read error: Connection reset by peer)
22:18:35FromDiscord<b0rsuk> I'll try it with casting tomorrow. For science. Either way I'll learn something.
22:18:51FromDiscord<gesee37> In reply to @b0rsuk "Hmm, I don't think": Actually from thing I saw in unicode documentation, `char` actually only use 7 bits↵The one extra bit is used to signal a multi-byte character↵↵So the limit of `char` is 2⁷ - 1 = 127
22:18:58*sdothum joined #nim
22:20:44*sdothum quit (Remote host closed the connection)
22:21:14FromDiscord<b0rsuk> I'm tired. `int(digit) - int('0')` sounds interesting, I'll try it.
22:23:04*sdothum joined #nim
22:33:07*om3ga quit (Ping timeout: 242 seconds)
22:39:52*sdothum quit (Remote host closed the connection)
22:40:26*om3ga joined #nim
22:41:53*sdothum joined #nim
22:48:38*Pixi` joined #nim
22:51:43*Pixi quit (Ping timeout: 251 seconds)
22:53:59*Pixi` quit (Ping timeout: 247 seconds)
22:54:32*sdothum quit (Remote host closed the connection)
22:56:49*sdothum joined #nim
22:58:43*sdothum quit (Remote host closed the connection)
23:00:44*sdothum joined #nim
23:05:24*Pixi joined #nim
23:11:49*sdothum quit (Read error: Connection reset by peer)
23:13:26*sdothum joined #nim
23:14:38*KawaiiSelbst quit (Remote host closed the connection)
23:18:16*KawaiiSelbst joined #nim
23:19:09*KawaiiSelbst quit (Remote host closed the connection)
23:19:26*KawaiiSelbst joined #nim
23:22:28*sdothum quit (Remote host closed the connection)
23:25:06*sdothum joined #nim
23:27:47*sdothum quit (Remote host closed the connection)
23:30:38*sdothum joined #nim
23:45:32*sdothum quit (Read error: Connection reset by peer)
23:47:09*sdothum joined #nim