2015/01/28

2015-01-28 00:12:05 +0100J_Arcane(~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi) (Read error: Connection reset by peer)
2015-01-28 00:12:39 +0100J_Arcane(~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi)
2015-01-28 00:33:10 +0100TEttinger(~notostrac@76-217-24-241.lightspeed.irvnca.sbcglobal.net)
2015-01-28 00:35:38 +0100nicolastarzia(~nicolasta@179.223.0.62) ()
2015-01-28 00:38:42 +0100irrequietus(~irrequiet@unaffiliated/irrequietus) ()
2015-01-28 00:49:04 +0100swgillespie(~textual@131.107.165.196)
2015-01-28 01:15:39 +0100umikun(~umikun@host86-166-175-148.range86-166.btcentralplus.com) (Ping timeout: 264 seconds)
2015-01-28 01:18:26 +0100Rotaerk(~Rotaerk@c-174-54-255-117.hsd1.pa.comcast.net)
2015-01-28 01:52:33 +0100bb010g(uid21050@gateway/web/irccloud.com/x-cvjuxeossolegcxm)
2015-01-28 02:07:00 +0100dd(~dd@2001:7c0:409:5432:c83b:31b8:5fa9:9a40)
2015-01-28 02:20:46 +0100swgillespie(~textual@131.107.165.196) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2015-01-28 02:24:33 +0100 <xenocons_> fucking agilitypack and its nulls
2015-01-28 02:29:15 +0100haasn(~haasn@static.102.126.46.78.clients.your-server.de) (Quit: haasn)
2015-01-28 02:41:34 +0100haasn(~haasn@2a01:4f8:d13:5245::2)
2015-01-28 03:03:15 +0100 <dd> Does anyone know why I can't pass integers through PInvoke to my 64 bit C library, whereas I could pass them just fine while it was 32 bit?
2015-01-28 03:05:10 +0100 <Scott`> because the architecture is different between your thing and the C library?
2015-01-28 03:05:34 +0100 <dd> I compiled my F# library to 64 bit too.
2015-01-28 03:06:36 +0100 <dd> I tried multiple variations of int sizes, like uint64_t from stdint.h too, but I can't seem to pass the int parameters properly.
2015-01-28 03:06:50 +0100 <dd> This is not normal, is it?
2015-01-28 03:07:55 +0100leeN(~leeN@g228043159.adsl.alicedsl.de) (Quit: The morning breaks us up inside…)
2015-01-28 03:09:14 +0100 <xenocons_> dd: did you try passing in the int as nativeint?
2015-01-28 03:09:55 +0100 <xenocons_> (just change your pinvoke signature from int x, to nativeint x, then pass it in using '0n' for example or 'nativeint 0'
2015-01-28 03:09:56 +0100 <dd> I do not quite know how nativeint works. Is it the same as defining the type of the parameter to be int*?
2015-01-28 03:10:27 +0100 <xenocons_> iirc nativeint size is equivilant to the pointer size of the current platform
2015-01-28 03:10:36 +0100 <xenocons_> so conventionally 4 bytes on 32,8 on 64
2015-01-28 03:11:09 +0100 <xenocons_> nah nativeint is just an integer, if yo want a native pointer, its nativeptr
2015-01-28 03:11:21 +0100 <xenocons_> (theyre the same size though)
2015-01-28 03:11:22 +0100 <dd> The parameters are input parameters though
2015-01-28 03:11:28 +0100 <dd> Ok, I see.
2015-01-28 03:11:33 +0100 <xenocons_> oh as in, they are output params too?
2015-01-28 03:11:38 +0100 <dd> No, just input.
2015-01-28 03:11:47 +0100 <xenocons_> should be fine as just nativeint
2015-01-28 03:11:51 +0100 <xenocons_> i would have expected just int to work to
2015-01-28 03:12:02 +0100 <dd> Let me try
2015-01-28 03:13:16 +0100 <xenocons_> other option (although a hack) is to send in byte[]
2015-01-28 03:13:24 +0100 <xenocons_> and see if the C on the 'other side' casts it fine
2015-01-28 03:14:04 +0100 <xenocons_> pinvoke: blah(byte[] x); ... blah(BitConverter.GetBytes(4))
2015-01-28 03:26:02 +0100darkf(~darkf___@unaffiliated/darkf)
2015-01-28 04:16:24 +0100 <dd> I'm afraid it doesn't work either. Here's the relevant code http://fssnip.net/ps
2015-01-28 04:17:24 +0100 <xenocons_> dd: why mutable?
2015-01-28 04:17:59 +0100 <dd> was left over from previous attempts. Didn't think it could hurt
2015-01-28 04:18:52 +0100 <dd> removed it, didn't make a difference
2015-01-28 04:19:04 +0100 <xenocons_> dd: how about this http://codepad.org/DKDKgovE
2015-01-28 04:21:19 +0100 <dd> no, still crashing. Does the C side look sane?
2015-01-28 04:22:43 +0100 <xenocons_> hmm
2015-01-28 04:22:45 +0100 <xenocons_> yes
2015-01-28 04:22:49 +0100 <xenocons_> i compiled as 32bit its fine
2015-01-28 04:22:55 +0100 <xenocons_> trying 64 now
2015-01-28 04:23:06 +0100 <dd> yeah, I only started having problems with 64 bit.
2015-01-28 04:24:20 +0100 <xenocons_> works
2015-01-28 04:24:28 +0100 <xenocons_> (for me)
2015-01-28 04:25:01 +0100 <dd> ouch
2015-01-28 04:25:20 +0100 <xenocons_> dd: http://codepad.org/w2WxZJO4
2015-01-28 04:33:00 +0100swgillespie(~textual@c-76-104-129-218.hsd1.wa.comcast.net)
2015-01-28 04:39:34 +0100 <dd> I have the same output. I guess I messed up the VS configuration
2015-01-28 04:39:54 +0100 <dd> Thank you xenocons_
2015-01-28 04:41:43 +0100 <xenocons_> no worries
2015-01-28 04:49:02 +0100dd(~dd@2001:7c0:409:5432:c83b:31b8:5fa9:9a40) (Read error: Connection reset by peer)
2015-01-28 05:29:52 +0100ninegrid_ninegrid
2015-01-28 05:32:27 +0100 <ninegrid> hows it goin
2015-01-28 05:34:45 +0100MichaelGG(~Michael@75-101-52-12.dsl.static.fusionbroadband.com)
2015-01-28 06:00:33 +0100Vandroiy(~FD@unaffiliated/vandroiy)
2015-01-28 06:04:02 +0100VandroiyIII(~FD@unaffiliated/vandroiy) (Ping timeout: 245 seconds)
2015-01-28 06:15:33 +0100Associat0r(~Associat0@h0129.upc-h.chello.nl)
2015-01-28 06:15:33 +0100Associat0r(~Associat0@h0129.upc-h.chello.nl) (Changing host)
2015-01-28 06:15:34 +0100Associat0r(~Associat0@unaffiliated/associat0r)
2015-01-28 06:25:12 +0100MichaelGG(~Michael@75-101-52-12.dsl.static.fusionbroadband.com) (Quit: Leaving)
2015-01-28 06:36:14 +0100swgillespie(~textual@c-76-104-129-218.hsd1.wa.comcast.net) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2015-01-28 06:36:50 +0100swgillespie(~textual@c-76-104-129-218.hsd1.wa.comcast.net)
2015-01-28 07:07:12 +0100weismat(~weismat@p54853916.dip0.t-ipconnect.de)
2015-01-28 07:20:04 +0100 <Associat0r> http://www.reddit.com/r/programming/comments/2tx01d/first_c_7_design_meeting_notes/
2015-01-28 07:20:42 +0100 <Associat0r> https://news.ycombinator.com/item?id=8958059
2015-01-28 07:47:01 +0100 <ninegrid> Associat0r: hey
2015-01-28 07:47:51 +0100 <ninegrid> heh, "more like scala"
2015-01-28 07:52:54 +0100Submarine(~toosexy@wikipedia/Monniaux/David) (Remote host closed the connection)
2015-01-28 07:54:27 +0100 <Ironballs> what a sad comment
2015-01-28 07:55:48 +0100 <Associat0r> ninegrid: hey
2015-01-28 07:55:55 +0100 <Associat0r> indeed
2015-01-28 08:09:38 +0100tarkus(~hello@109.230.140.12)
2015-01-28 08:10:42 +0100Rotaerk(~Rotaerk@c-174-54-255-117.hsd1.pa.comcast.net) (Read error: Connection reset by peer)
2015-01-28 08:14:02 +0100tarkus(~hello@109.230.140.12) (Ping timeout: 245 seconds)
2015-01-28 08:18:41 +0100russellw(~Russell@80.111.79.237) ()
2015-01-28 08:19:15 +0100 <TEttinger> Associat0r: it looks good to me, like they're learning from things that people love in F# and trying to slowly expand into more mainstream avenues
2015-01-28 08:31:41 +0100 <ninegrid> i think the question remains, why isn't a .net language like F# a mainstream avenue?
2015-01-28 08:32:42 +0100 <ninegrid> a quick search, i find more clojure jobs than F# jobs
2015-01-28 08:33:00 +0100 <ninegrid> interesting thing though, a company named Jet uses F# I think
2015-01-28 08:33:11 +0100 <ninegrid> some recruiter there emailed me last year
2015-01-28 08:33:18 +0100 <ninegrid> and specifically mentioned F#
2015-01-28 08:33:24 +0100 <ninegrid> as being the reason i was contacted
2015-01-28 08:33:51 +0100 <ninegrid> supposedly Jet is going to compete directly with amazon, they have a really cool way of nickle-and-diming savings for customers
2015-01-28 08:34:42 +0100 <ninegrid> jet.com
2015-01-28 08:41:49 +0100 <Associat0r> TEttinger: they should stop circussing around with deadend languages
2015-01-28 08:42:37 +0100 <Associat0r> better create something new with the lessons learned from F# etc
2015-01-28 08:42:46 +0100 <Associat0r> or make F# more mainstream
2015-01-28 08:43:02 +0100 <Kristallo> some guy told me that F# was useless because the type specifier came after the variable name and not in front like in C#
2015-01-28 08:43:29 +0100 <Associat0r> it's sad that in this day and age people still think that way
2015-01-28 08:57:13 +0100 <Ironballs> yet languages like Go became hugely popular
2015-01-28 09:06:14 +0100 <Ironballs> clojure got really popular because it caught a lot of people's attention in the open source developer communities
2015-01-28 09:06:36 +0100 <Ironballs> which then trickles into startups and from there on to "srs enterprise"
2015-01-28 09:07:20 +0100 <Ironballs> f#, in contrast, just produced "visual studio and windows? meh!" reactions
2015-01-28 09:08:17 +0100 <Kristallo> we need a F# meme factory
2015-01-28 09:09:08 +0100 <Kristallo> combine F# with cats
2015-01-28 09:09:18 +0100 <Kristallo> that will make people happy
2015-01-28 09:20:01 +0100swgillespie(~textual@c-76-104-129-218.hsd1.wa.comcast.net) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2015-01-28 09:24:48 +0100 <TEttinger> get a nice adorable cat as a mascot
2015-01-28 09:25:03 +0100 <Ironballs> felix the f# cat
2015-01-28 09:25:59 +0100tesuji(~tesuji@unaffiliated/tesuji)
2015-01-28 09:36:05 +0100umikun(~umikun@host86-166-175-148.range86-166.btcentralplus.com)
2015-01-28 09:57:39 +0100Jackneill(~Jackneill@unaffiliated/jackneill)
2015-01-28 09:58:59 +0100Lions(~luins@50.107.27.34)
2015-01-28 10:04:03 +0100Associ8or(~Associat0@h0129.upc-h.chello.nl)
2015-01-28 10:04:03 +0100Associ8or(~Associat0@h0129.upc-h.chello.nl) (Changing host)
2015-01-28 10:04:03 +0100Associ8or(~Associat0@unaffiliated/associat0r)
2015-01-28 10:06:04 +0100Associat0r(~Associat0@unaffiliated/associat0r) (Ping timeout: 264 seconds)
2015-01-28 10:10:49 +0100 <Kristallo> felix the f# cat: discriminated unions to the rescue!
2015-01-28 10:12:03 +0100umikun(~umikun@host86-166-175-148.range86-166.btcentralplus.com) (Ping timeout: 264 seconds)
2015-01-28 11:38:17 +0100irrequietus(~irrequiet@unaffiliated/irrequietus)
2015-01-28 12:19:26 +0100J_Arcane(~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi) (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406])
2015-01-28 12:42:51 +0100irrequietus(~irrequiet@unaffiliated/irrequietus) ()
2015-01-28 12:47:03 +0100J_Arcane(~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi)
2015-01-28 12:47:42 +0100tarkus(~hello@109.230.140.12)
2015-01-28 12:48:12 +0100J_Arcane(~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi) (Remote host closed the connection)
2015-01-28 12:56:00 +0100J_Arcane(~chatzilla@dsl-trebrasgw1-50dff2-22.dhcp.inet.fi)
2015-01-28 13:27:23 +0100qxjit(~qxjit@162.17.112.173)
2015-01-28 13:56:37 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 13:57:39 +0100knocte_(~smuxi@90.174.175.225) (Remote host closed the connection)
2015-01-28 14:03:12 +0100TEttinger(~notostrac@76-217-24-241.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds)
2015-01-28 14:31:06 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 14:33:00 +0100knocte_(~smuxi@90.174.175.225) (Remote host closed the connection)
2015-01-28 14:34:05 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 14:40:03 +0100knocte_(~smuxi@90.174.175.225) (Ping timeout: 246 seconds)
2015-01-28 14:53:38 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 14:55:12 +0100knocte_(~smuxi@90.174.175.225) (Remote host closed the connection)
2015-01-28 14:58:36 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 14:58:51 +0100riksteri(~purple@dsl-tkubrasgw3-54f96b-216.dhcp.inet.fi)
2015-01-28 15:00:46 +0100knocte_(~smuxi@90.174.175.225) (Remote host closed the connection)
2015-01-28 15:03:38 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 15:04:17 +0100knocte_(~smuxi@90.174.175.225) (Remote host closed the connection)
2015-01-28 15:04:50 +0100Associ8or(~Associat0@unaffiliated/associat0r) (Quit: Associ8or)
2015-01-28 15:09:57 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 15:11:27 +0100knocte_(~smuxi@90.174.175.225) (Read error: Connection reset by peer)
2015-01-28 15:12:32 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 15:12:35 +0100knocte_(~smuxi@90.174.175.225) (Read error: Connection reset by peer)
2015-01-28 15:17:34 +0100knocte_(~smuxi@90.174.175.225)
2015-01-28 15:21:55 +0100knocte_(~smuxi@90.174.175.225) (Remote host closed the connection)
2015-01-28 16:12:03 +0100milosn_(~milosn@97e1f0d6.skybroadband.com)
2015-01-28 16:12:35 +0100Associat0r(~Associat0@h0129.upc-h.chello.nl)
2015-01-28 16:12:35 +0100Associat0r(~Associat0@h0129.upc-h.chello.nl) (Changing host)
2015-01-28 16:12:35 +0100Associat0r(~Associat0@unaffiliated/associat0r)
2015-01-28 16:26:53 +0100Associat0r(~Associat0@unaffiliated/associat0r) (Quit: Associat0r)
2015-01-28 16:32:09 +0100milosn_(~milosn@97e1f0d6.skybroadband.com) (Remote host closed the connection)
2015-01-28 16:32:09 +0100milosn(~milosn@97e1f0d6.skybroadband.com) (Remote host closed the connection)
2015-01-28 16:33:14 +0100milosn(~milosn@97e1f0d6.skybroadband.com)
2015-01-28 16:34:15 +0100tarkus(~hello@109.230.140.12) (Ping timeout: 264 seconds)
2015-01-28 16:35:51 +0100zwer_hzwer
2015-01-28 16:36:34 +0100tesuji(~tesuji@unaffiliated/tesuji) (Ping timeout: 255 seconds)
2015-01-28 16:42:00 +0100darkf(~darkf___@unaffiliated/darkf) (Quit: Leaving)
2015-01-28 17:05:31 +0100Associat0r(~Associat0@h0129.upc-h.chello.nl)
2015-01-28 17:05:31 +0100Associat0r(~Associat0@h0129.upc-h.chello.nl) (Changing host)
2015-01-28 17:05:31 +0100Associat0r(~Associat0@unaffiliated/associat0r)
2015-01-28 17:09:39 +0100joneshf-laptop(~joneshf@98.208.35.89) (Ping timeout: 264 seconds)
2015-01-28 17:25:13 +0100qxjit(~qxjit@162.17.112.173) (Ping timeout: 264 seconds)
2015-01-28 17:33:59 +0100weismat(~weismat@p54853916.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2015-01-28 17:34:02 +0100Associ8or(~Associat0@h0129.upc-h.chello.nl)
2015-01-28 17:34:02 +0100Associ8or(~Associat0@h0129.upc-h.chello.nl) (Changing host)
2015-01-28 17:34:02 +0100Associ8or(~Associat0@unaffiliated/associat0r)
2015-01-28 17:34:49 +0100Associat0r(~Associat0@unaffiliated/associat0r) (Ping timeout: 245 seconds)
2015-01-28 17:35:44 +0100tarkus(~hello@109.230.140.12)
2015-01-28 17:42:00 +0100irrequietus(~irrequiet@unaffiliated/irrequietus)
2015-01-28 17:46:40 +0100irrequietus(~irrequiet@unaffiliated/irrequietus) (Client Quit)
2015-01-28 18:08:09 +0100bb010g(uid21050@gateway/web/irccloud.com/x-cvjuxeossolegcxm) (Quit: Connection closed for inactivity)
2015-01-28 18:11:21 +0100irrequietus(~irrequiet@unaffiliated/irrequietus)
2015-01-28 18:19:55 +0100leeN(~leeN@g227212165.adsl.alicedsl.de)
2015-01-28 18:23:06 +0100matthi_d(5dc764ca@gateway/web/freenode/ip.93.199.100.202)
2015-01-28 18:25:01 +0100Zor(~alexrp@d40a2edf.rev.stofanet.dk) (Ping timeout: 255 seconds)
2015-01-28 18:25:12 +0100swgillespie(~textual@c-76-104-129-218.hsd1.wa.comcast.net)
2015-01-28 18:26:06 +0100Zor(~alexrp@d40a2edf.rev.stofanet.dk)
2015-01-28 18:27:10 +0100swgillespie(~textual@c-76-104-129-218.hsd1.wa.comcast.net) (Client Quit)
2015-01-28 18:30:59 +0100Stalkr_(~Stalkr@x1-6-74-44-01-e5-78-62.cpe.webspeed.dk)
2015-01-28 18:45:32 +0100felixgallo(d8735e57@gateway/web/freenode/ip.216.115.94.87)
2015-01-28 18:49:28 +0100 <felixgallo> having some trouble thinking about how to implement a semi-preemptive scheduler in F#.
2015-01-28 18:50:27 +0100 <felixgallo> given functions A, B, C, etc., such that all are tailrec and take lots of time to execute, goal is to run them all 'simultaneously' by interrupting each whenever a fun gets applied (either A, B, C, or any fun they apply).
2015-01-28 18:51:26 +0100 <felixgallo> so A starts out with budget of 1000 reductions, each fun call reduces the budget by 1, when it reaches 0, then it gets deprioritized and B runs for a while, etc., etc.
2015-01-28 18:51:55 +0100 <jose_> felixgallo something like these ideas? http://stackoverflow.com/questions/20517216/f-how-to-run-several-asynchrous-tasks-and-wait-for-res…
2015-01-28 18:52:40 +0100 <jose_> felixgallo some additional ideas here using Observable http://fssnip.net/8s
2015-01-28 18:53:20 +0100 <felixgallo> jose_, close, but I want to implement my own scheduling algorithm, rather than use threads.
2015-01-28 18:54:06 +0100 <felixgallo> the problem is that if I have a very tight loop with any of A, B, C, they will unfairly steal a larger portion of the system than others.
2015-01-28 18:54:27 +0100Stalkr_(~Stalkr@x1-6-74-44-01-e5-78-62.cpe.webspeed.dk) (Quit: Leaving...)
2015-01-28 18:55:16 +0100 <felixgallo> the motivation here is erlang's reduction-counting schedulers, which essentially guarantee timeslices even in the presence of extremely overcommitted functions.
2015-01-28 18:56:13 +0100 <felixgallo> I thought computation expressions might be the right way, but they don't 'descend' into functions like a macro would. Ideally I could redefine 'apply' to run my custom function every time.
2015-01-28 18:57:03 +0100qxjit(~qxjit@162.17.112.173)
2015-01-28 18:57:37 +0100 <jose_> interesting. i'm kind of curious, too, i had this need up until i abandoned F# for this piece of a project due to mono threading issues. depending on how you get it solved i may return to it
2015-01-28 18:59:26 +0100irrequietus(~irrequiet@unaffiliated/irrequietus) ()
2015-01-28 19:17:10 +0100nemelex(~nemelex@host86-178-199-147.range86-178.btcentralplus.com)
2015-01-28 19:35:42 +0100Submarine(~toosexy@wikipedia/Monniaux/David)
2015-01-28 19:43:31 +0100OlegYch7(~OlegYch@178.172.192.131)
2015-01-28 19:45:36 +0100OlegYch(~OlegYch@178.172.192.131) (Ping timeout: 272 seconds)
2015-01-28 20:06:04 +0100riksteri(~purple@dsl-tkubrasgw3-54f96b-216.dhcp.inet.fi) (Remote host closed the connection)
2015-01-28 20:07:19 +0100Submarine(~toosexy@wikipedia/Monniaux/David) (Ping timeout: 265 seconds)
2015-01-28 20:14:10 +0100umikun(~umikun@host86-166-175-148.range86-166.btcentralplus.com)
2015-01-28 20:14:36 +0100Stalkr_(~Stalkr@x1-6-74-44-01-e5-78-62.cpe.webspeed.dk)
2015-01-28 20:17:20 +0100nemelex(~nemelex@host86-178-199-147.range86-178.btcentralplus.com) ()
2015-01-28 20:18:44 +0100Submarine(~toosexy@AMontsouris-158-1-53-243.w92-128.abo.wanadoo.fr)
2015-01-28 20:18:53 +0100Submarine(~toosexy@AMontsouris-158-1-53-243.w92-128.abo.wanadoo.fr) (Changing host)
2015-01-28 20:18:54 +0100Submarine(~toosexy@wikipedia/Monniaux/David)
2015-01-28 20:19:38 +0100ski(~ski@remote1.student.chalmers.se) (Read error: Connection reset by peer)
2015-01-28 20:55:00 +0100nemelex(~nemelex@host86-178-199-147.range86-178.btcentralplus.com)
2015-01-28 20:56:25 +0100zwer_b(~zwer@gateway/tor-sasl/zwer)
2015-01-28 20:58:39 +0100zwer(~zwer@gateway/tor-sasl/zwer) (Ping timeout: 250 seconds)
2015-01-28 21:02:55 +0100nemelex(~nemelex@host86-178-199-147.range86-178.btcentralplus.com) ()
2015-01-28 21:03:20 +0100nemelex(~nemelex@host86-178-199-147.range86-178.btcentralplus.com)