| 00:19:09 | FromDiscord | <maxb0tbeep> ?? does anyone know whats going on here https://media.discordapp.net/attachments/371759389889003532/1514786095827783680/image.png?ex=6a2ca1fc&is=6a2b507c&hm=106bacdca643f999e51e0a0d10b6da5008610dcaf7430671214c709c702c4904& https://media.discordapp.net/attachments/371759389889003532/1514786096549199882/image.png?ex=6a2ca1fc&is=6a2b507c&hm=d1a57a07f5861d6ac4533151696500f20886617293eb7d075c2bc842069b282a& |
| 00:19:34 | FromDiscord | <maxb0tbeep> I think nim thinks that the logo string is a char ? |
| 00:33:10 | FromDiscord | <jb11111122> sent a long message, see https://pasty.ee/mfjBwQuZ |
| 02:31:13 | FromDiscord | <lainlaylie> <@&371760044473319454> |
| 02:37:27 | FromDiscord | <lainlaylie> In reply to @maxb0tbeep "I think nim thinks": it's using system.find which expects the second argument to be of element type; try importing strutils |
| 02:58:45 | * | rockcavera quit (Remote host closed the connection) |
| 07:46:47 | * | Skippy8 joined #nim |
| 08:28:57 | * | beholders_eye joined #nim |
| 09:53:03 | * | beholders_eye quit (Ping timeout: 246 seconds) |
| 10:07:32 | * | adigitoleo quit (Ping timeout: 244 seconds) |
| 10:08:03 | * | nariyel quit (Ping timeout: 244 seconds) |
| 10:08:54 | * | adigitoleo joined #nim |
| 10:09:05 | * | nariyel joined #nim |
| 10:58:25 | * | StdMetaInfo joined #nim |
| 11:13:54 | * | StdMetaInfo quit (Quit: Client closed) |
| 11:14:06 | * | StdMetaInfo joined #nim |
| 11:16:25 | FromDiscord | <alipolo17777> hi↵is & operator for string concatenation a compile time process (or in the other words does it only work with string literals)? |
| 11:21:47 | FromDiscord | <Cadmium> to my understanding, & works at runtime with any strings, not just literals. It's a regular operator defined in system that calls the runtime concat proc↵(@alipolo17777) |
| 11:26:45 | FromDiscord | <demotomohiro> sent a code paste, see https://play.nim-lang.org/#pasty=nyoTBmBN |
| 11:28:29 | * | Skippy8 quit (Ping timeout: 268 seconds) |
| 11:28:53 | FromDiscord | <Cadmium> So , it is compile time for constants (to optimise execution) |
| 11:32:36 | * | Skippy8 joined #nim |
| 11:35:57 | * | StdMetaInfo quit (Quit: Client closed) |
| 11:43:01 | FromDiscord | <mratsim> In reply to @alipolo17777 "hi is & operator": if you execute it for a const, in a static context or as input to a `proc foo(x: static string)` it will be done at compile-time |
| 11:43:57 | FromDiscord | <mratsim> sent a code paste, see https://play.nim-lang.org/#pasty=SLvxABcd |
| 11:44:45 | FromDiscord | <mratsim> (edit) "https://play.nim-lang.org/#pasty=dvCAouuB" => "https://play.nim-lang.org/#pasty=cBhMYiQK" |
| 12:11:02 | * | nariyel quit (Changing host) |
| 12:11:02 | * | nariyel joined #nim |
| 12:18:52 | FromDiscord | <krisp0> I was testing out allIt in sequtils with empty array (https://play.nim-lang.org/#pasty=KAIihZPr) but weirdly nim outputs true instead of false↵↵Is this a bug or is there some behaviour I need to be aware of? |
| 12:41:17 | FromDiscord | <Laylie> all the strings in the sequence are "123", so true is correct |
| 15:24:05 | * | beholders_eye joined #nim |
| 15:31:27 | FromDiscord | <__jont__> I think this is always an edge case that should be handled by the dev. Python raises an exception for empty sequences passed to `any` and `all` |
| 15:42:20 | * | beholders_eye quit (Ping timeout: 244 seconds) |
| 15:45:12 | * | disso-peach joined #nim |
| 16:14:24 | FromDiscord | <nervecenter> It probably has to find an element where the predicate is false to return false |
| 16:14:36 | FromDiscord | <nervecenter> No elements, no false |
| 16:42:41 | FromDiscord | <krisp0> In reply to @Laylie "all the strings in": a `seq[string]` can be literally anything so u cant guarentee that to be `true` |
| 16:51:53 | FromDiscord | <Laylie> in your example the sequence is known to be `@[]` |
| 17:23:16 | FromDiscord | <demotomohiro> In reply to @krisp0 "I was testing out": https://en.wikipedia.org/wiki/Universal_quantification#The_empty_set |
| 18:19:39 | * | jjido joined #nim |
| 18:23:39 | * | jjido quit (Client Quit) |
| 18:23:52 | * | jjido joined #nim |
| 22:14:42 | * | Skippy8 quit (Ping timeout: 248 seconds) |
| 22:24:18 | * | Skippy8 joined #nim |
| 22:37:17 | * | jjido quit (Ping timeout: 245 seconds) |
| 22:50:31 | * | Skippy8 quit (Ping timeout: 265 seconds) |
| 23:24:01 | FromDiscord | <declasy> hey |
| 23:24:07 | FromDiscord | <declasy> What is nim used for |
| 23:24:09 | FromDiscord | <declasy> ? |
| 23:33:43 | FromDiscord | <_timurski> In reply to @declasy "What is nim used": + more https://media.discordapp.net/attachments/371759389889003532/1515137050263814254/Screenshot_20260612-163327.png?ex=6a2de8d6&is=6a2c9756&hm=ef354817a8cd2b4bf07f185e67b4271eaf4fcbbc4fefc34309f44a40cbd8b0cf& |
| 23:34:29 | * | disso-peach quit (Quit: Leaving) |
| 23:35:42 | FromDiscord | <declasy> In reply to @_timurski "+ more": ok |
