00:06:52 | * | Senketsu quit (Ping timeout: 244 seconds) |
00:13:04 | * | mcc joined #nim |
00:20:40 | * | libman joined #nim |
00:34:40 | * | brson joined #nim |
00:36:26 | * | GangstaCat joined #nim |
00:39:47 | * | brson quit (Ping timeout: 250 seconds) |
00:41:37 | * | pafmaf quit (Ping timeout: 265 seconds) |
00:44:14 | * | rusua quit (Quit: Connection closed for inactivity) |
00:53:03 | * | libman quit (Remote host closed the connection) |
01:00:12 | * | Senketsu joined #nim |
01:09:10 | * | satbyy quit (Ping timeout: 265 seconds) |
01:13:23 | * | bjz joined #nim |
01:14:49 | * | ftsf_ joined #nim |
01:19:39 | * | bjz_ joined #nim |
01:20:52 | * | bjz quit (Ping timeout: 255 seconds) |
01:23:47 | * | bjz_ quit (Client Quit) |
01:26:23 | * | bjz joined #nim |
01:31:58 | * | chemist69 quit (Ping timeout: 265 seconds) |
01:44:48 | * | chemist69 joined #nim |
01:49:06 | * | bjz_ joined #nim |
01:50:11 | * | bjz quit (Ping timeout: 258 seconds) |
02:07:58 | * | Sergio965 quit (Quit: All done. :)) |
02:08:31 | * | Sergio965 joined #nim |
02:13:33 | * | Sergio965 quit (Ping timeout: 240 seconds) |
02:14:36 | * | Sergio965 joined #nim |
02:28:14 | * | space-wizard quit (Quit: My Mac has gone to sleep. ZZZzzz…) |
02:29:04 | * | Sergio965 quit (Ping timeout: 240 seconds) |
02:30:28 | * | endragor joined #nim |
02:32:13 | * | Sergio965 joined #nim |
02:33:42 | * | mcc quit (Quit: Connection closed for inactivity) |
02:34:34 | * | endragor quit (Ping timeout: 240 seconds) |
02:44:26 | * | castlelore joined #nim |
02:49:26 | * | gunn joined #nim |
02:53:59 | * | endragor joined #nim |
02:58:27 | * | endragor quit (Ping timeout: 250 seconds) |
03:30:22 | * | Kaini quit (Remote host closed the connection) |
03:30:35 | * | Kaini joined #nim |
03:50:06 | * | endragor joined #nim |
04:20:31 | * | space-wizard joined #nim |
04:35:19 | * | Pisuke joined #nim |
04:37:58 | * | MyMind quit (Ping timeout: 244 seconds) |
04:39:21 | * | Demon_Fox quit (Quit: Leaving) |
04:46:15 | * | space-wizard quit (Quit: My Mac has gone to sleep. ZZZzzz…) |
04:48:49 | * | M-max quit (Ping timeout: 244 seconds) |
04:49:07 | * | M-max joined #nim |
05:20:49 | * | space-wizard joined #nim |
06:00:07 | * | space-wizard quit (Quit: My Mac has gone to sleep. ZZZzzz…) |
06:13:16 | * | rtr_ joined #nim |
06:19:30 | * | gunn_ joined #nim |
06:20:05 | * | mnemonikk_ joined #nim |
06:21:32 | * | mnemonikk quit (Ping timeout: 244 seconds) |
06:21:33 | * | Gonzih quit (Ping timeout: 244 seconds) |
06:21:52 | * | Gonzih joined #nim |
06:22:00 | * | gunn quit (Ping timeout: 244 seconds) |
06:45:44 | * | Arrrr joined #nim |
06:47:17 | * | gernest joined #nim |
06:48:28 | * | castlelore quit (Quit: WeeChat 1.5) |
06:49:40 | * | mnemonikk_ is now known as mnemonikk |
06:49:40 | * | mnemonikk quit (Changing host) |
06:49:40 | * | mnemonikk joined #nim |
06:56:50 | * | castlelore joined #nim |
06:57:48 | * | yglukhov joined #nim |
07:13:39 | * | gokr joined #nim |
07:14:53 | * | gernest quit (Quit: gernest) |
07:21:47 | * | ldlework quit (Ping timeout: 250 seconds) |
07:23:51 | * | ldlework joined #nim |
07:24:29 | * | Trustable joined #nim |
07:25:11 | * | ldlework quit (Changing host) |
07:25:12 | * | ldlework joined #nim |
07:27:28 | * | brechtm joined #nim |
07:29:08 | * | Matthias247 joined #nim |
07:33:38 | * | nairobi joined #nim |
07:37:26 | flyx | I have encountered this strange error: https://gist.github.com/flyx/cd1be6558aaa0663bb09726d9ece0c4d |
07:37:52 | flyx | it looks like Nim is saying „I expected this type and you gave me exactly this exact same type, but they do not match“ |
07:38:16 | flyx | I am unsure whether this is a bug or I am doing something wrong |
07:39:06 | flyx | it seems strange that I have to convert @[local] to PrefixContent, but the type looks different if I don't |
07:39:41 | flyx | also, I am unsure why the first type is enclosed in parentheses and the second type in single quotes |
07:39:51 | flyx | is Nim telling me that I gave it an unary tuple? |
07:42:46 | ftsf_ | flyx, are the ()s important? |
07:43:26 | flyx | those in my code are. those in the error message… I don't know |
07:44:12 | * | hendi joined #nim |
07:44:19 | * | nsf joined #nim |
07:44:32 | * | rtr_ quit (Remote host closed the connection) |
07:58:37 | * | ftsf_ quit (Remote host closed the connection) |
08:04:26 | * | vendethiel quit (Ping timeout: 265 seconds) |
08:21:18 | * | GangstaCat quit (Quit: Leaving) |
08:24:59 | * | pafmaf joined #nim |
08:34:24 | * | vendethiel joined #nim |
08:54:52 | * | vendethiel quit (Ping timeout: 240 seconds) |
08:58:49 | * | nairobi quit (*.net *.split) |
08:58:49 | * | mtj_ quit (*.net *.split) |
08:58:50 | * | SirCmpwn quit (*.net *.split) |
08:58:50 | * | beatmox quit (*.net *.split) |
08:58:50 | * | Satyajit quit (*.net *.split) |
08:58:50 | * | lenstr quit (*.net *.split) |
08:59:11 | * | SirCmpwn joined #nim |
09:03:08 | * | mtj_ joined #nim |
09:03:09 | * | beatmox joined #nim |
09:03:09 | * | Satyajit joined #nim |
09:03:09 | * | lenstr joined #nim |
09:29:21 | * | nairobi joined #nim |
09:33:46 | * | nairobi quit (Ping timeout: 265 seconds) |
09:34:49 | * | nairobi joined #nim |
09:50:52 | * | nairobi quit (Read error: Connection timed out) |
09:52:17 | * | nairobi joined #nim |
10:09:08 | * | nairobi quit (Read error: Connection timed out) |
10:09:48 | * | nairobi joined #nim |
10:53:55 | * | fredrik92 joined #nim |
10:54:17 | * | dddddd joined #nim |
11:03:45 | NimBot | nim-lang/Nim devel 0a90613 Andreas Rumpf [+0 ±1 -0]: nimsuggest: correct documentation |
11:03:45 | NimBot | nim-lang/Nim devel f6a2ff7 Andreas Rumpf [+1 ±1 -0]: fixes #4672 |
11:03:45 | NimBot | nim-lang/Nim devel 3a13706 Andreas Rumpf [+1 ±18 -0]: fixes #4673 |
11:05:33 | * | cheatfate quit (Read error: Connection reset by peer) |
11:05:39 | * | cheatfate_ joined #nim |
11:13:51 | * | Arrrr quit (Ping timeout: 276 seconds) |
11:14:55 | * | fredrik92 quit (Quit: Leaving.) |
11:15:37 | * | fredrik92 joined #nim |
11:17:30 | * | fredrik92 left #nim (#nim) |
11:17:52 | * | xet7_ quit (Ping timeout: 244 seconds) |
11:19:43 | * | dddddd quit (Read error: Connection reset by peer) |
11:19:48 | * | dddddd_ joined #nim |
11:23:07 | * | fredrik92 joined #nim |
11:26:52 | * | hendi quit (Ping timeout: 264 seconds) |
11:27:53 | * | Demon_Fox joined #nim |
11:29:13 | endragor | cheatfate_: Hi! How do I unregister an AsyncEvent with upcoming/asyncdispatch? `close` just closes the FDs without properly clearing the Selector. There is unregitster(s: Selector[T], ev: SelectEvent) in `ioselectors` but there are no procs that invoke it in asyncdispatch. |
11:31:38 | * | nairobi quit (Remote host closed the connection) |
11:33:03 | endragor | cheatfate_: also, please start using Gitter if it wouldn't bother you too much. It's getting quite active lately, need more active Nim programmers there |
11:33:59 | * | fredrik92 left #nim (#nim) |
11:34:13 | * | fredrik92 joined #nim |
11:42:22 | * | alexsystemf___ quit (Remote host closed the connection) |
11:50:39 | * | PMunch joined #nim |
11:53:35 | * | alexsystemf___ joined #nim |
11:55:20 | * | vendethiel joined #nim |
11:59:16 | * | fredrik92 quit (Remote host closed the connection) |
12:00:54 | * | fredrik92 joined #nim |
12:09:36 | endragor | dom96: shouldn't future.waitFor() do smth like `if fut.failed: raise else: return fut.read` ? at the moment user gets exception created from `fut.read`. Intuitively I thought it would raise the future's original exception. |
12:12:44 | * | couven92 joined #nim |
12:14:29 | * | fredrik92 left #nim (#nim) |
12:14:48 | * | couven92 quit (Client Quit) |
12:15:06 | * | bjz_ quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
12:19:04 | * | vendethiel quit (Ping timeout: 264 seconds) |
12:23:49 | * | nairobi joined #nim |
12:26:57 | * | PMunch quit (Quit: leaving) |
12:27:52 | * | nairobi quit (Ping timeout: 240 seconds) |
12:32:20 | * | bjz joined #nim |
12:43:41 | * | BitPuffin joined #nim |
12:44:29 | * | arnetheduck joined #nim |
12:55:03 | * | nairobi joined #nim |
12:58:11 | * | irrequietus joined #nim |
13:19:33 | * | irrequietus quit (Ping timeout: 240 seconds) |
13:19:34 | * | arnetheduck quit (Ping timeout: 265 seconds) |
13:28:46 | * | gokr quit (Ping timeout: 244 seconds) |
13:41:48 | * | brechtm quit (Ping timeout: 265 seconds) |
13:45:13 | * | irrequietus joined #nim |
13:58:33 | * | desophos quit (Read error: Connection reset by peer) |
14:12:34 | * | brechtm joined #nim |
14:16:24 | * | brechtm_ joined #nim |
14:19:01 | * | brechtm quit (Ping timeout: 265 seconds) |
14:19:56 | * | Guest97982 joined #nim |
14:27:45 | * | EastByte quit (Quit: WeeChat 1.5) |
14:28:11 | * | EastByte joined #nim |
14:41:44 | * | Gonzih quit (Quit: WeeChat 1.5) |
14:42:01 | * | Gonzih joined #nim |
14:43:17 | * | nairobi quit (Remote host closed the connection) |
14:45:40 | cheatfate_ | endragor, i really hate web based chats |
14:47:32 | endragor | cheatfate_: do you mean the fact that they reside in the browser or their UI or..? Gitter has installable apps too |
14:48:19 | endragor | https://gitter.im/apps |
14:49:00 | flyx | the screenshot alone gave me eyecancer. |
14:50:32 | cheatfate_ | endragor, but looks like this apps are just one more webbrowsers for my pc |
14:50:32 | flyx | why are people so eager to scatter online communities into countless non-interoparable chat services? |
14:52:09 | cheatfate_ | flyx, maybe because they try to attract more people to project, or maybe they are too young to use IRC :) |
14:52:29 | endragor | cheatfate_: what's exactly bad about that? any app you open has its window. Gitter also integrates with system tray and sends native system notifications when installed as an app. I don't see how it's different from any other app in this regard |
14:53:01 | endragor | there is https://irc.gitter.im/ for oldfags |
14:53:16 | * | brechtm_ quit (Read error: Connection reset by peer) |
14:53:26 | cheatfate_ | endragor, maybe because this is simple chat, and i dont want to get some malicious javascript code in chat... |
14:53:35 | * | satbyy joined #nim |
14:53:35 | * | satbyy quit (Changing host) |
14:53:35 | * | satbyy joined #nim |
14:53:36 | * | brechtm joined #nim |
14:55:50 | endragor | cheatfate_: ugh... Do you also disable JavaScript in the browser? Anyway, as I said, you could join https://irc.gitter.im/ so that you are at least available for people enjoying a properly built GitHub-oriented chat app :-P |
14:56:05 | flyx | endragor: do you realize how much of an impact a standards-compliant UI design has compared to a non-standard one? Windows folks never seem to have cared, but OSX folks do. this is why this app looks so horrible. |
14:56:48 | flyx | but people nowadays seem to think that all good UI design can be done with HTML+CSS… |
14:57:41 | endragor | flyx: I'm OS X guy. and I think all the IRC clients (at least free ones) are total piece of crap compared to Gitter |
14:57:46 | NimBot | nim-lang/Nim devel 9c44403 Andreas Rumpf [+0 ±1 -0]: fixes #4693 |
14:57:46 | NimBot | nim-lang/Nim devel 11f7eb2 Andreas Rumpf [+0 ±1 -0]: fixes #4689 |
14:58:18 | endragor | I look at paid ones and they don't look better from free ones from design perspective |
14:58:36 | endragor | looked* |
15:00:14 | * | simplyianm_ joined #nim |
15:02:32 | flyx | well based on what I used, I'd say that OSX IRC clients are design-wise far above Windows or Linux ones. or gitter, for that matter |
15:02:56 | endragor | flyx: what did you use? |
15:03:16 | flyx | I used Linkinus for some time, but that got discontinued, now I use Textual |
15:03:34 | * | okami left #nim ("bye") |
15:04:57 | endragor | flyx: I'm not intending to scatter the community. I think IRC (freenode) should be abandoned and Gitter should be used as the main point of communication. People hating Web, Electron, GUI or otherwise feeling nostalgic about 1990s or earlier or hating Gitter UI specifically could use https://irc.gitter.im/ . So everyone wins |
15:05:24 | euantor | Why though, what's wrong with IRC? |
15:05:36 | euantor | It works everywhere, is well proven and has an open protocol |
15:06:35 | euantor | If you want notifications and stuff, IRCCloud works great (and is what I use) |
15:06:54 | endragor | euantor: you have an option to use IRC with Gitter, as I said. Gitter has plenty of features intended for programming communities: markdown support, issue preview, commit previev, syntax highlight, better UX, lower entry barrier |
15:07:20 | euantor | Closed protocol, no idea if they'll shut down in 6 months time or move to being paid only |
15:07:47 | euantor | We looked at it for another project I work on, and their moderaiton tools are also pretty bad and they request write access to repositories you use with it |
15:08:00 | euantor | I would never trust a web app I barely know with write access to any of my repositories |
15:08:20 | flyx | I wonder, what would be the gain of someone in this chat room for whom IRC is too high of an entry barrier |
15:08:47 | * | nairobi joined #nim |
15:08:58 | flyx | anyway, it is just exchanging one login provider with another. |
15:09:48 | flyx | and I can see someone coming next day saying „Slack is the new shit, we need to use it“ |
15:10:01 | cheatfate_ | endragor, about unregister of AsyncEvent, you just need to return True from your callback and it will be unregistered |
15:10:04 | flyx | and then what? |
15:10:07 | euantor | Or Discord, r whatever new fangled thing happens to be popular at the time |
15:11:12 | endragor | flyx: euantor: do you think I'm not being objective? I provide reasoning, while you argue with vague statements |
15:11:20 | cheatfate_ | endragor, i will deinstalled gitter just because of `better ux` and `browser usage` |
15:11:25 | cheatfate_ | i have deinstalled |
15:12:05 | euantor | I'm not saying that, I just don't understand how Gitter is any better than IRC and cannot see any reasons for people to stop using IRC and use it instead |
15:12:11 | endragor | I've used both Gitter and IRC, and Gitter is an order of magnitude more convenient than IRC. You cannot even type multi-line message conveniently in IRC. And that's often needed when providing small samples. Syntax highlight works awesomely, too |
15:12:15 | euantor | or use their experimental IRC support |
15:12:48 | euantor | I'm in the Gitter room right now, and there is very little going on, whilst IRC has plenty of activity |
15:13:02 | flyx | yeah same here, I don't see how Gitter is any better than IRC. moreover, it is a commercial provider, kind of has that startup smell around it, while freenode is a trusted, community-funded provider |
15:13:45 | * | cheatfate_ is now known as cheatfate |
15:14:05 | cheatfate | common guys, stop this brand new holy war... |
15:14:10 | * | FreezerburnV joined #nim |
15:14:17 | cheatfate | and stop advertising new chat services here please :) |
15:14:32 | euantor | Or at least shift to #nim-offtopic |
15:14:50 | Araq | just so you know: I don't have a real opinion on this matter and will follow along on what the community decides, though ofc we need an IRC bridge should we switch |
15:15:22 | endragor | euantor: the point is to increase the activity there. I don't think there is a lot of activity going here though. usually few conversations per day. |
15:18:49 | cheatfate | endragor, you need to understand activity not depends on type of chat service |
15:19:16 | cheatfate | its like people must speak at bar or at home |
15:19:43 | cheatfate | nothing changes except some more `useless` people around :) |
15:21:23 | endragor | cheatfate: the point is to increase activity there not just to increase activity, but because it's a better place (in my humble opinion, of course). it also has IRC bridge so IRC fans also benefit. I said this before, anyway. I think we should finish, if those arguments don't work. |
15:24:18 | cheatfate | endragor, your arguments looks like (i like bar with striptease, so i'm trying to invite everybody who sitting in simple dark bar with alcohol only, to new bar with striptease and alcohol) |
15:25:21 | endragor | cheatfate: they would, if not for IRC bridge :-P Your argument is actually more like that (I'm forced to use IRC at the moment even though I dislike it) |
15:25:23 | flyx | well I really hope that Matrix gets to be a thing in the future so we do not need to have those fruitless conversations, but I have little hope. it already failed with XMPP and probably will fail again. |
15:25:57 | * | nairobi quit (Read error: Connection timed out) |
15:27:17 | * | nairobi joined #nim |
15:28:41 | endragor | cheatfate: back to async topic: ev.close() on Windows behaves differently from ev.close() on other platforms. on Windows it does unregister the event, while it doesn't on others |
15:29:15 | endragor | I think it makes sense to unregister event when closing it. I already fixed that, planning to make a PR along with a couple of other fixes |
15:34:21 | * | BitPuffin quit (Read error: Connection reset by peer) |
15:35:35 | * | space-wizard joined #nim |
15:43:42 | * | PMunch joined #nim |
15:46:46 | * | satbyy quit (Ping timeout: 252 seconds) |
15:47:22 | * | retropikzel joined #nim |
16:00:06 | dom96 | endragor: the act of reading raises the exception anyway |
16:00:44 | * | brson joined #nim |
16:01:32 | dom96 | wtf, did my messages disappear on Gitter? |
16:01:33 | endragor | dom96: right, but the message gets expanded with stacktrace |
16:02:15 | endragor | exception message I mean |
16:02:33 | federico3 | +1 euantor |
16:03:06 | endragor | dom96: messages where you were advertising the book and the need of IRC<->Gitter bridge? they are there |
16:03:36 | dom96 | There is no need to "switch" |
16:03:44 | dom96 | endragor: I don't see them |
16:04:00 | dom96 | but anyway, let me say what I think: let the will of the people rule. |
16:04:19 | dom96 | if people want to use Gitter then let them |
16:04:29 | dom96 | I don't think it's fair to try and force people to do so though |
16:04:34 | dom96 | We should simply set up a bridge |
16:05:10 | dom96 | endragor: Here is what I see: blob:http://imgur.com/6f83a65f-bc34-334d-9f23-87a14bee5265 |
16:05:18 | dom96 | ugh, the fuck Firefox |
16:05:24 | dom96 | http://imgur.com/6f83a65f-bc34-334d-9f23-87a14bee5265 |
16:05:43 | dom96 | or rather, imgur |
16:05:44 | dom96 | http://i.imgur.com/6OJKwSV.png |
16:06:07 | dom96 | Anyway, the messages go from August 30th straight to today |
16:06:08 | dom96 | what gives? |
16:06:36 | * | space-wizard quit (Quit: My Mac has gone to sleep. ZZZzzz…) |
16:06:51 | dom96 | ahh, so refreshing helped |
16:07:54 | dom96 | endragor: if you've got some time then please consider implementing a IRC<->Gitter bridge in Nim |
16:08:06 | dom96 | I can integrate it into NimBot (or you can too if you'd like) |
16:09:56 | endragor | dom96: the point is there is nothing to set up with Gitter's own bridge and the integration will be more "native". As I understand, with bot-based integration, it will be the bot posting messages on both sides, not the authors themselves (obviously). So it'll look like `NimBot: endragor: message`. And I'll get an unwanted mention (notification) from IRC client. |
16:10:25 | dom96 | There is no other way |
16:10:48 | dom96 | oh, you mean connecting to Gitter's IRC server? |
16:10:57 | endragor | yes. what are the points against https://irc.gitter.im/? |
16:11:12 | federico3 | again? |
16:11:22 | dom96 | People are already here |
16:11:41 | dom96 | All 127 people in this channel won't connect to another network |
16:11:46 | dom96 | even if we highlight them all |
16:12:39 | dom96 | Your unwanted mentions can easily be solved |
16:12:44 | dom96 | just set your IRC client to ignore NimBot |
16:12:57 | dom96 | well, ignore its highlights |
16:13:08 | Trustable | Hi all, how to escape a "?" to insert it in a sqlite database? It should not interpreted as a placeholder. |
16:13:37 | dom96 | Trustable: Good question, two "?" maybe? |
16:14:09 | dom96 | BlaXpirit made a very nice Gitter<->IRC bridge for #crystal |
16:14:20 | dom96 | Maybe he can chime in on whether that was a good idea |
16:14:40 | Trustable | When I look at the code, it looks like there is no escape possible: https://github.com/nim-lang/Nim/blob/master/lib/impure/db_sqlite.nim#L115 |
16:16:29 | dom96 | It seems you are correct :\ |
16:17:33 | dom96 | What if you just pass in "?" as a parameter? |
16:17:41 | dom96 | so that it replaces '?' with '?' :P |
16:18:27 | * | Pisuke quit (Excess Flood) |
16:19:37 | * | Pisuke joined #nim |
16:20:41 | Trustable | dom96: yes, but the '?' occur dynamically in a string |
16:22:34 | endragor | dom96: well, I personally will just uninstall the IRC client, I don't need it except for #nim. But right, anyone using both would have to tweak their IRC client. Anyway, if you want to let the will of the people rule, then could you add Gitter link/badge to `Community` section of Nim README? Or I can make a PR. And you also need to be active on Gitter :-P I'm pretty sure Gitter will naturally attract more people, especially newbies, in the long |
16:22:35 | endragor | run. |
16:26:11 | BlaXpirit | if you want my opinion: Gitter is terrible. if it doesn't have critical mass, maybe you should be happy about it |
16:26:49 | BlaXpirit | gitter's own IRC is terrible. it doesn't implement many IRC features and spams a lot of messages when multiline messages happen |
16:27:49 | endragor | BlaXpirit: well, IRC does not support multiline messages afaik |
16:28:01 | endragor | the protocol doesn't support line endings |
16:28:36 | endragor | IRC clients usually also split long messages into multiple messages (like my message above) |
16:31:06 | dom96 | True, but on the other hand. Gitter freezes my browser whenever I scroll up to read the messages I've missed :P |
16:31:21 | * | nairobi quit (Remote host closed the connection) |
16:31:25 | dom96 | Feel free to create a PR for that |
16:31:59 | * | Guest97982 quit (Remote host closed the connection) |
16:32:13 | dom96 | If we create a bridge then I won't need to be in Gitter |
16:32:18 | BlaXpirit | the big problems with this integration are multiline messages, inline code pastes, and the worst - message editing |
16:32:18 | dom96 | and I will still be able to help people |
16:32:27 | BlaXpirit | anyhow, i can easily add my bot to your channels, let me know anytime. it's running in 2 channels right now, people are relatively happy. |
16:33:03 | dom96 | BlaXpirit: ooh, if you could that would be brilliant :) |
16:33:33 | endragor | BlaXpirit: well, those come not from the fact that Gitter is terrible, but because IRC protocol is lacking |
16:34:05 | dom96 | It's a pity that no new protocols based on IRC took off |
16:34:48 | * | nairobi joined #nim |
16:34:53 | dom96 | There are people in this channel who work(ed) on IRC daemons (Xe is one IIRC?) so they can probably shed some light on why they never did. |
16:35:04 | Xe | hi |
16:35:10 | dom96 | Xe: hello! |
16:35:16 | * | brechtm quit (Remote host closed the connection) |
16:35:21 | dom96 | BlaXpirit: do you need anything from us to set it up? |
16:35:23 | * | space-wizard joined #nim |
16:35:26 | * | endragor quit (Remote host closed the connection) |
16:35:38 | BlaXpirit | i don't think so |
16:35:49 | Xe | tl;dr: irc daemon developers are drama lovers on average |
16:36:21 | euantor | Sounds about right |
16:36:38 | Xe | nowadays, i'd suggest people use something like Discord |
16:36:51 | Xe | you don't have to worry as much about being DDOSed |
16:37:11 | dom96 | hah, yep. perfect tl;dr |
16:37:22 | BlaXpirit | oh yeah, i forgot to mention, having such a bot doubles the risk of someone spamming a lot of messages |
16:37:38 | * | FromGitter joined #nim |
16:37:49 | dom96 | BlaXpirit: we should be fine |
16:37:58 | Xe | like, i have several IRC networks i own |
16:38:02 | FromGitter | <dom96> cool, it works! |
16:38:08 | Xe | just use something else |
16:38:14 | Xe | (if you can) |
16:38:27 | dom96 | BlaXpirit: thanks! :) |
16:38:32 | BlaXpirit | np |
16:38:32 | BlaXpirit | if you enable colors in the channel it looks a bit better (names are in bold) |
16:38:52 | * | nairobi quit (Ping timeout: 240 seconds) |
16:39:10 | Xe | damn |
16:39:11 | Xe | mlock |
16:39:15 | dom96 | D: |
16:39:21 | dom96 | chanserv is rather slow right now it seems |
16:41:00 | dom96 | argh, how do I lift this damn mlock? |
16:41:28 | Xe | /msg chanserv set #nim mlock +nt-c |
16:41:45 | dom96 | thanks |
16:41:53 | dom96 | you'd think /cs help mlock would show something |
16:42:23 | Xe | /cs help set mlock |
16:42:34 | BlaXpirit | as long as you have someone to kick the bot in IRC, I think that should stop it entirely as an emergency measure. it has no commands to control it |
16:43:54 | BlaXpirit | for best experience you may want to warn Gitter users to avoid multiline messages, and especially pasting code right in the message. also that their edits will not be seen |
16:44:02 | BlaXpirit | this can be done in gitter's welcome message |
16:45:19 | * | gokr joined #nim |
16:48:41 | FromGitter | <Araq> when I type here, will it show up in IRC? |
16:48:54 | FromGitter | <Araq> indeed. cool :-) |
16:50:33 | dom96 | BlaXpirit: How does this bot work? Does it just use the Gitter API or does it use their IRC bridge? |
16:51:03 | BlaXpirit | dom96, uses Gitter's API - https://api.gitter.im/v1/ |
16:51:35 | BlaXpirit | um https://developer.gitter.im/docs/streaming-api |
16:51:39 | dom96 | I was considering writing my own and was wondering if just connecting to the Gitter IRC gateway would work. |
16:52:23 | BlaXpirit | dom96, it's quite bad because the IRC bridge by itself drops many details about the messages. I think it is not viable |
16:52:47 | dom96 | I see |
16:53:34 | * | nsf quit (Quit: WeeChat 1.5) |
16:54:01 | * | endragor joined #nim |
16:54:01 | * | endragor quit (Remote host closed the connection) |
16:54:09 | BlaXpirit | the ideal API to use is this one https://developer.gitter.im/docs/faye-endpoint , it has the most features (the only option that also gives you access to message edits). however, it uses some complicated library that's popular only with JavaScript |
16:54:18 | * | endragor joined #nim |
16:54:46 | * | libman joined #nim |
16:58:06 | * | endragor quit (Remote host closed the connection) |
16:58:38 | flyx | I don't get how message edits are a useful feature |
16:59:05 | flyx | anyone reading the log will be „wtf this doesn't make sense“ when someone edits their messages |
16:59:25 | BlaXpirit | the problem is that they can't be turned off |
17:06:06 | * | yglukhov quit (Ping timeout: 244 seconds) |
17:10:01 | * | hendi joined #nim |
17:10:05 | dom96 | flyx: the message will have a "This message has been edited" flag though |
17:10:30 | flyx | dom96: but this does only help if I can see the original message |
17:10:47 | dom96 | I think you might be able to |
17:13:40 | * | dddddd_ quit (Ping timeout: 252 seconds) |
17:14:08 | * | libman quit (Read error: Connection reset by peer) |
17:15:25 | * | fastrom joined #nim |
17:17:48 | * | xet7_ joined #nim |
17:25:52 | * | dddddd_ joined #nim |
17:26:24 | * | mal`` quit (Quit: Leaving) |
17:30:42 | * | rtr_ joined #nim |
17:34:04 | * | libman joined #nim |
17:39:13 | * | vendethiel joined #nim |
17:41:27 | * | rtr_ quit (Ping timeout: 265 seconds) |
17:42:41 | * | fastrom quit (Quit: Leaving.) |
17:46:17 | * | retropikzel quit (Remote host closed the connection) |
17:47:02 | * | retropikzel joined #nim |
17:50:04 | * | Ven joined #nim |
17:58:20 | * | mal`` joined #nim |
18:06:37 | FromGitter | <kteza1> This is cooool :) |
18:08:07 | dom96 | :D |
18:14:54 | Araq | is this a permanent solution now? |
18:16:00 | * | irrequietus quit (Ping timeout: 244 seconds) |
18:17:28 | BlaXpirit | well i'm keeping it up for the foreseeable future, until i'm told to stop it |
18:18:20 | Araq | but it doesn't shut down when you switch off your computer, right? |
18:18:25 | BlaXpirit | right |
18:18:33 | Araq | ok, great |
18:18:48 | cheatfate | Please somebody put a big list of code in gitter so we can see what happens in irc |
18:19:34 | FromGitter | <Araq> ```code paste, see link``` [https://gitter.im/nim-lang/Nim?at=57c87136928ae0e7346d662a] |
18:20:00 | * | rtr_ joined #nim |
18:20:14 | FromGitter | <Araq> works great too. |
18:20:47 | federico3 | I suggest renaming the bot with a shorter name e.g. GTR |
18:20:55 | dom96 | Araq: BlaXpirit ain't no amateur |
18:21:23 | Araq | I didn't follow the conversation and it could have been he only set it up for testing purposes |
18:26:13 | * | GustavoLapasta joined #nim |
18:30:02 | * | irrequietus joined #nim |
18:31:06 | * | yglukhov joined #nim |
18:35:38 | * | yglukhov quit (Remote host closed the connection) |
18:37:56 | flyx | if Nim tells me a proc type does not match, how can I figure out *why* it does not match? |
18:38:12 | flyx | I mean, parameter list and return type is the same |
18:38:30 | dom96 | That's a bug then |
18:38:37 | dom96 | The compiler simply needs to give better error messages |
18:39:01 | Araq | flyx: it's because the effects differ |
18:39:06 | Araq | dom96: already reported :P |
18:39:08 | flyx | there are a couple of pragmas on the anonymous proc I enter, but Nim does not show me which ones are expected |
18:39:30 | Araq | and I can improve the situation for v0.15 |
18:40:33 | flyx | interestingly, I use {.raises:[].} on my anonymous proc, but that does not show up in the list in the error message |
18:40:54 | flyx | (it is also set at the expected proc type) |
18:40:58 | Araq | if it says 'type mismatch' |
18:41:17 | Araq | and a regression then it's due to .noSideEffect differences |
18:41:21 | Araq | :D |
18:41:48 | flyx | I see the noSideEffect pragma on the proc value I enter |
18:41:51 | flyx | so it is not expected? |
18:42:23 | Araq | more like. your proc has side effects but is not allowed to have any |
18:42:33 | Araq | just gist your problem |
18:43:09 | flyx | takes a bit to pick the code for a minimal working example |
18:43:25 | flyx | can the closure pragma have an effect? |
18:43:43 | Araq | no, closure is a calling convention |
18:43:55 | Araq | but surely this can be the reason too for types not matching |
18:44:55 | flyx | ah, well, adding closure on the other side fixed it |
18:45:03 | flyx | is closure supported with JS? |
18:45:19 | flyx | not that I rewrite parts of my code and JS compilation then fails on that |
18:45:31 | * | xet7 joined #nim |
18:46:22 | * | satbyy joined #nim |
18:49:43 | Araq | JS supports it, yes |
18:50:37 | * | PMunch quit (Ping timeout: 244 seconds) |
19:01:14 | flyx | great |
19:01:26 | flyx | but it seems like it does not support uints |
19:02:12 | flyx | or rather, `$` for uints |
19:05:51 | flyx | well, after defining that, NimYAML compiled for JS |
19:06:04 | flyx | tomorrow I will set up some JS environment to run the tests on it |
19:06:20 | * | flyx never used that nodeJS stuff |
19:06:38 | flyx | that will surely be fun *cough* |
19:09:30 | Araq | cool |
19:14:09 | * | gokr quit (Remote host closed the connection) |
19:16:32 | * | libman quit (Read error: Connection reset by peer) |
19:20:10 | * | irrequietus quit (Ping timeout: 252 seconds) |
19:20:25 | * | yglukhov joined #nim |
19:32:48 | * | nairobi joined #nim |
19:33:57 | * | nairobi_ joined #nim |
19:35:21 | * | libman joined #nim |
19:35:45 | * | satbyy left #nim ("Kumbhakarna mode ... zzzZ") |
19:36:14 | * | fredrik92 joined #nim |
19:36:52 | * | nairobi quit (Ping timeout: 240 seconds) |
19:38:54 | * | nairobi_ quit (Ping timeout: 276 seconds) |
19:45:37 | * | nsf joined #nim |
19:46:03 | * | libman quit (Read error: Connection reset by peer) |
19:58:06 | * | nairobi joined #nim |
20:04:16 | * | libman joined #nim |
20:15:17 | * | nairobi quit (Read error: Connection timed out) |
20:16:56 | * | nairobi joined #nim |
20:29:20 | * | yglukhov quit (Remote host closed the connection) |
20:33:34 | * | nairobi quit (Read error: Connection timed out) |
20:34:36 | * | nairobi joined #nim |
20:35:55 | * | brechtm joined #nim |
20:36:39 | * | fredrik92 quit (Ping timeout: 250 seconds) |
20:40:15 | * | brechtm quit (Ping timeout: 258 seconds) |
20:42:37 | * | irrequietus joined #nim |
20:44:31 | * | bogen1 joined #nim |
20:47:53 | bogen1 | how do I copy a memory block (from C) of arbitrary size into a string? Using cpointer it stops at \x00 bytes. If not a string, what applicble nim data structure can be used? (given pointer to data, and size in bytes) I've gotten it to work by copying byte at a time to string, but I'd like a way to copy it all in at once. addr(s[0]) does not work for a destination address. |
20:49:47 | bogen1 | specifically, I'd like to do a: posix.read (fd, targetAddr, length) # where targetAddr can receive length bytes |
20:51:13 | bogen1 | I can an alloc, read, copy byte at a time, and decalloc, but I'd like to eliminate the additional steps. I don't care if it is string, seq[uint8], openArray[uint8], etc |
20:51:16 | * | GustavoLapasta quit (Quit: Leaving) |
20:51:49 | * | shodan45 joined #nim |
20:53:16 | * | nairobi quit (Remote host closed the connection) |
20:54:30 | kier | bogen1: surely you can do: var arr: array[1024, uint8]; posix.read(fd, addr(arr[0]), 1024) |
20:54:53 | bogen1 | I can do it with fixed sizes as well without much hassle. I just want to avoid fixed sized and manual alloc/dealloc |
20:55:10 | * | hendi quit (Ping timeout: 244 seconds) |
20:55:19 | bogen1 | kier, that is a fixed size |
20:55:42 | bogen1 | nim needs the size of an array to be known at compile time |
20:55:51 | kier | Ah so you mean you don't know 'length' at runtime? |
20:56:04 | kier | Do the same thing, but with a seq instead of an array |
20:56:35 | kier | var arr = newSeq[uint8](length) |
20:56:40 | kier | I think |
20:56:50 | bogen1 | is that at contiguous memory? |
20:56:53 | bogen1 | I'll try it |
20:57:00 | kier | Yes |
20:57:17 | * | pafmaf quit (Quit: Leaving) |
20:57:32 | * | nairobi joined #nim |
20:58:22 | Araq | newString(length) |
20:58:33 | Araq | copyMem(addr s[0], ...) |
20:58:55 | bogen1 | hmm, I thought I tried that |
20:59:12 | kier | Is the copy necessary when you can do posix.read straight into the buffer you want it in? |
20:59:18 | Araq | I prefer 'string' over seq[byte] |
20:59:27 | Araq | kier: in fact, it is not |
20:59:36 | * | PMunch joined #nim |
20:59:41 | Araq | you can also do newStringOfCap() and then setLen() later |
20:59:44 | kier | that's what I thought |
21:00:28 | bogen1 | kier, I'm trying to eliminate the copy, I'll try the newString |
21:01:50 | kier | in that case try to write directly into the target buffer if you can. So yeah use newString or newSeq[byte] etc. |
21:02:03 | bogen1 | eh... before doing addr(result[0]) resulted in an error, now it works.... |
21:03:01 | kier | maybe the code you had before wasn't doing what you thought it would do |
21:04:36 | * | javax joined #nim |
21:04:48 | bogen1 | well, either way it is working now... thanks kier, thanks Araq |
21:04:59 | * | fredrik92 joined #nim |
21:05:19 | bogen1 | (without an extra copy, without manual dealloc) |
21:10:27 | * | fredrik92 quit (Ping timeout: 250 seconds) |
21:13:28 | * | Trustable quit (Remote host closed the connection) |
21:15:22 | * | nairobi quit (Remote host closed the connection) |
21:16:42 | * | nairobi joined #nim |
21:19:40 | * | libman quit (Ping timeout: 264 seconds) |
21:20:06 | * | nairobi_ joined #nim |
21:20:44 | * | nairobi_ quit (Remote host closed the connection) |
21:21:36 | * | nairobi quit (Ping timeout: 276 seconds) |
21:21:50 | * | nairobi joined #nim |
21:35:15 | * | libman joined #nim |
21:42:40 | * | irrequietus quit (Ping timeout: 244 seconds) |
21:42:44 | * | nairobi quit (Remote host closed the connection) |
21:44:38 | * | irrequietus joined #nim |
21:45:30 | libman | LOL: https://www.openhub.net/p/Nim-lang says 44% of it is written in Python |
21:48:34 | * | Ven quit (Quit: My MacBook has gone to sleep. ZZZzzz…) |
21:49:45 | * | fastrom joined #nim |
21:49:52 | kier | Supposedly it would have cost over $1 million to complete |
21:50:05 | kier | https://www.openhub.net/p/Nim-lang/estimated_cost |
21:54:32 | * | bjz quit (Quit: Textual IRC Client: www.textualapp.com) |
21:55:23 | * | bjz joined #nim |
21:55:23 | * | libman quit (Read error: Connection reset by peer) |
21:55:48 | * | bjz quit (Client Quit) |
21:55:53 | Araq | sounds about right |
21:59:26 | * | bjz joined #nim |
21:59:30 | * | vendethiel quit (Quit: q+) |
21:59:37 | * | fastrom quit (Quit: Leaving.) |
21:59:59 | * | shodan45 quit (Quit: Konversation terminated!) |
22:02:15 | * | fastrom joined #nim |
22:12:44 | * | bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
22:12:52 | * | libman joined #nim |
22:13:02 | * | bjz joined #nim |
22:28:28 | * | bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
22:30:51 | * | endragor joined #nim |
22:34:21 | * | couven92 joined #nim |
22:35:13 | * | Matthias247 quit (Read error: Connection reset by peer) |
22:35:42 | * | endragor quit (Ping timeout: 276 seconds) |
22:37:21 | * | Jesin quit (Quit: Leaving) |
22:39:33 | * | couven92 is now known as fredik92 |
22:39:52 | * | retropikzel quit (Quit: Leaving) |
22:40:31 | FromGitter | <dom96> Ahh. COCOMO. So there is a use for it. |
22:48:46 | * | bjz joined #nim |
22:58:45 | * | bjz quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
23:08:17 | * | endragor joined #nim |
23:08:47 | * | irrequietus quit () |
23:12:39 | * | endragor quit (Ping timeout: 250 seconds) |
23:16:38 | * | Jesin joined #nim |
23:21:26 | * | pie_ quit (Changing host) |
23:21:26 | * | pie_ joined #nim |
23:27:07 | * | libman quit (Ping timeout: 252 seconds) |
23:32:47 | NimBot | nim-lang/Nim devel 19f83cc Charles Blake [+0 ±2 -0]: Add terminal.terminalWidth and supporting types/calls. |
23:32:47 | NimBot | nim-lang/Nim devel 7b73a94 Charles Blake [+0 ±1 -0]: Oops - L_ctermid must be a global var to compile. |
23:32:47 | NimBot | nim-lang/Nim devel 5db1de8 Charles Blake [+0 ±1 -0]: Convert TaintedString to string. |
23:32:47 | NimBot | nim-lang/Nim devel 8df2078 Charles Blake [+0 ±2 -0]: Change type name to be more NEP-1-ish as per Araq request. |
23:32:47 | NimBot | 5 more commits. |
23:36:42 | * | Jesin quit (Quit: Leaving) |
23:38:15 | rtr_ | How do I create a list of uint8 and add elements to it? |
23:41:01 | * | Jesin joined #nim |
23:42:23 | * | libman joined #nim |
23:46:40 | * | GangstaCat joined #nim |