Logs: freenode/#haskell
| 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.