Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 929 930 931 932 933 934 935 936 937 938 939 .. 5022
502,152 events total
2020-10-29 08:15:48 ndbopoi^ joins (aeoifvotdt@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:15:49 × ndbopoi^ quits (aeoifvotdt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:16:03 ndbopoi^ joins (nehsou@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:16:04 × ndbopoi^ quits (nehsou@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:16:19 ndbopoi^ joins (krt@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:16:20 × ndbopoi^ quits (krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:16:35 ndbopoi^ joins (~hph@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:16:36 × ndbopoi^ quits (~hph@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:16:45 × sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-10-29 08:16:50 ndbopoi^ joins (ndbopoi@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:16:51 × ndbopoi^ quits (ndbopoi@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:17:06 ndbopoi^ joins (ndbopoi@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:17:07 × ndbopoi^ quits (ndbopoi@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:17:22 ndbopoi^ joins (ndbopoi@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:17:23 × ndbopoi^ quits (ndbopoi@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:17:37 ndbopoi^ joins (ndbopoi@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:17:38 × ndbopoi^ quits (ndbopoi@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:17:55 ndbopoi^ joins (krt@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:17:56 × ndbopoi^ quits (krt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:18:11 ndbopoi^ joins (~hph@ip98-184-89-2.mc.at.cox.net)
2020-10-29 08:18:12 × ndbopoi^ quits (~hph@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-29 08:18:20 thc202 joins (~thc202@unaffiliated/thc202)
2020-10-29 08:18:21 sakirious joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-10-29 08:27:58 hackage ngx-export-tools-extra 0.5.7.0 - More extra tools for Nginx haskell module https://hackage.haskell.org/package/ngx-export-tools-extra-0.5.7.0 (lyokha)
2020-10-29 08:28:32 ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-29 08:29:02 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-29 08:29:40 heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-29 08:31:26 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-29 08:32:26 idhugo joins (~idhugo@users-1190.st.net.au.dk)
2020-10-29 08:33:44 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-29 08:33:57 chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-10-29 08:34:03 mrc joins (~mrc@81.30.75.204)
2020-10-29 08:34:16 mrc is now known as Guest84165
2020-10-29 08:36:20 nschoe joins (~quassel@2a01:e0a:3c4:c7b0:c945:6e87:b509:d89a)
2020-10-29 08:36:43 × nlhowell quits (~nlhowell@don28-11.ln.rinet.ru) (Ping timeout: 265 seconds)
2020-10-29 08:36:43 dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-29 08:39:15 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-29 08:39:37 × taurux quits (~taurux@net-188-216-115-134.cust.vodafonedsl.it) (Ping timeout: 265 seconds)
2020-10-29 08:39:52 taurux joins (~taurux@net-130-25-114-244.cust.vodafonedsl.it)
2020-10-29 08:41:20 × Tario quits (~Tario@201.192.165.173) (Remote host closed the connection)
2020-10-29 08:42:07 Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-29 08:42:48 × dorkside quits (~tdbgamer@208.190.197.222) (Ping timeout: 258 seconds)
2020-10-29 08:43:06 <dminuoso> 09:41:53 juliusdeane | [03:42:05] what's the process for specifying a dependency from github with cabal2nix?
2020-10-29 08:43:10 <dminuoso> Oh, they're gone
2020-10-29 08:46:25 <dminuoso> proquint: Use Data.ByteString.unpack and then masking/shifting from Data.Bits
2020-10-29 08:46:32 <tomsmeding> proquint: https://paste.tomsmeding.com/W9HxzL4y
2020-10-29 08:46:37 <tomsmeding> lol
2020-10-29 08:47:17 vonfry joins (~user@116.236.75.207)
2020-10-29 08:47:26 <dminuoso> tomsmeding: I have a homework assignment, I need to write a fully functional RADIUS library. Do you have a paste ready for me?
2020-10-29 08:47:30 <dminuoso> :>
2020-10-29 08:47:37 ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-29 08:47:39 <tomsmeding> :p
2020-10-29 08:47:52 <proquint> tomsmending: lol awesome thank you... I stumbled upon the Data.Bits myself but you beat me to the implementation. Thanks!
2020-10-29 08:48:04 tomsmeding tips hat
2020-10-29 08:48:27 <tomsmeding> spec is unclear though
2020-10-29 08:48:48 <dminuoso> tomsmeding: Do you think you can give me an answer in 5 minutes for that problem as well?
2020-10-29 08:48:54 <tomsmeding> not prominent enough that this is strictly about data of an even number of bytes, and the 4-2 sequence does not cycle, only within a single nibble
2020-10-29 08:48:58 <tomsmeding> correction, word
2020-10-29 08:49:10 <tomsmeding> replace 'nibble' with 'word' in my code proquint
2020-10-29 08:49:12 <dminuoso> The term "nibble" and "word" are so ill defined.
2020-10-29 08:49:19 <tomsmeding> nibblewibble
2020-10-29 08:49:22 <tomsmeding> dminuoso: no
2020-10-29 08:49:38 <dminuoso> oh well. nibble is well defined
2020-10-29 08:49:40 <dminuoso> word is not
2020-10-29 08:49:47 <tomsmeding> ah that's true
2020-10-29 08:49:54 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-dqhgzgfgsjzhioqy) (Quit: Connection closed for inactivity)
2020-10-29 08:49:58 × polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-29 08:50:18 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-29 08:50:20 <tomsmeding> dminuoso: it would be nice if I could pull the same trick with writing an automatic differentiation engine, wouldn't it?
2020-10-29 08:50:26 <tomsmeding> then my thesis would be simpler
2020-10-29 08:50:33 ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-29 08:50:36 <merijn> dminuoso: It's not :p
2020-10-29 08:50:38 <dminuoso> Heh, the difference is my task is just of mechanical nature.
2020-10-29 08:50:46 <dminuoso> merijn: It really is.
2020-10-29 08:50:49 <merijn> dminuoso: Hell, byte isn't even well defined if you mix in C
2020-10-29 08:50:59 <dminuoso> The term byte in general is often misunderstood
2020-10-29 08:51:04 <dminuoso> Too many conflate it with octet
2020-10-29 08:51:17 <dminuoso> But so many people dont work with DSPs or legacy hardware..
2020-10-29 08:51:53 <dminuoso> Fun fact, I've seen an architecture where function pointers were 15 bits.
2020-10-29 08:51:56 <tomsmeding> I already have trouble working with modern hardware
2020-10-29 08:52:10 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-29 08:52:29 GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-29 08:52:29 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-29 08:52:29 GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-29 08:52:55 <tomsmeding> dminuoso: interesting, did one store function pointers in separate kinds of registers, or are all registers 15 bits, or are they 16 and one bit is just ignored?
2020-10-29 08:53:10 <dminuoso> merijn: Anyway. Regarding word, there's two conflating notions. It either is the native size CPUs operate on (which doesnt even make sense on CPUs built in the past 30 years, they have many different word widths, depending on the instructions), or its 16 bits if you enter the world of assembers.
2020-10-29 08:54:45 <dminuoso> Because historical reasons, and people writing bad assembly code.
2020-10-29 08:55:09 christo joins (~chris@81.96.113.213)
2020-10-29 08:55:49 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 268 seconds)
2020-10-29 08:56:39 polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c)
2020-10-29 08:56:54 × proquint quits (67e75ebe@103.231.94.190) (Remote host closed the connection)
2020-10-29 08:57:09 <dminuoso> tomsmeding: I dont know the reasons really, it was directly from some something-not-quite-like-C language specification for a texas instruments DSP.
2020-10-29 08:57:24 phr0m3indh0v3n joins (~Android@188.90.94.167)
2020-10-29 08:57:46 <dminuoso> (Or maybe it was 31 bits, one of them anyhow)
2020-10-29 08:58:05 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-29 08:58:15 <tomsmeding> funny things
2020-10-29 08:59:01 × mmohammadi9812 quits (~mmohammad@2.178.160.31) (Ping timeout: 264 seconds)
2020-10-29 08:59:19 ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-29 08:59:52 × christo quits (~chris@81.96.113.213) (Ping timeout: 272 seconds)
2020-10-29 09:00:01 kuribas joins (~user@ptr-25vy0i9qqlftcl4jjst.18120a2.ip6.access.telenet.be)

All times are in UTC.