Logs: liberachat/#haskell
| 2021-08-06 07:34:42 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 245 seconds) |
| 2021-08-06 07:42:35 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-06 07:44:43 | → | aman joins (~aman@user/aman) |
| 2021-08-06 07:46:52 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 2021-08-06 07:47:04 | × | pe200012_ quits (~pe200012@113.105.10.33) (Ping timeout: 272 seconds) |
| 2021-08-06 07:47:09 | <Axman6> | yeah |
| 2021-08-06 07:47:14 | <Axman6> | I think ghc fails to run too |
| 2021-08-06 07:47:30 | <maerwald[m]> | do you have the freebsd 12 compat pkg? |
| 2021-08-06 07:47:43 | <Axman6> | no |
| 2021-08-06 07:47:52 | <maerwald[m]> | try that |
| 2021-08-06 07:49:04 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-06 07:49:08 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-06 07:49:33 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 2021-08-06 07:49:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-06 07:50:58 | → | slavaqq82 joins (~slavaqq@sdmail.sdserver.cz) |
| 2021-08-06 07:51:52 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Ping timeout: 246 seconds) |
| 2021-08-06 07:54:33 | × | kenran quits (~kenran@b2b-37-24-119-190.unitymedia.biz) (Quit: WeeChat info:version) |
| 2021-08-06 07:55:51 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-06 07:57:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-06 07:58:09 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-06 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-06 08:05:55 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-06 08:08:45 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-06 08:17:27 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-06 08:17:28 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-06 08:17:31 | allbery_b | is now known as geekosaur |
| 2021-08-06 08:20:25 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-06 08:22:37 | <Axman6> | Do we have any nice ways to write streams of bits? Looking at https://blog.tempus-ex.com/hello-video-codec/ and wanting a BitstreamWriter |
| 2021-08-06 08:24:46 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-06 08:27:22 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 2021-08-06 08:28:16 | × | slavaqq82 quits (~slavaqq@sdmail.sdserver.cz) (Ping timeout: 246 seconds) |
| 2021-08-06 08:30:03 | <[exa]> | Axman6: you mean "huge amount of stuff that isn't aligned to bytes" ? |
| 2021-08-06 08:30:14 | <Axman6> | yeah I guess |
| 2021-08-06 08:30:52 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-06 08:31:06 | <Axman6> | huge isn't a necessaty but the rest, yes |
| 2021-08-06 08:34:48 | <[exa]> | like, if you don't need total top performance, you might be good with wrapping a ByteString builder or something |
| 2021-08-06 08:36:04 | Cajun85 | is now known as Cajun |
| 2021-08-06 08:36:37 | <[exa]> | data ByteBuilder = {buffer :: ByteString, currentByte::Word8, nextBit::Word8 } |
| 2021-08-06 08:37:05 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-06 08:38:34 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-06 08:43:30 | → | gzj joins (~GZJ0X@192.243.120.171.16clouds.com) |
| 2021-08-06 08:44:19 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-08-06 08:44:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-06 08:45:58 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 08:47:09 | × | michalz quits (~michalz@185.246.204.62) (Read error: No route to host) |
| 2021-08-06 08:47:37 | → | tengu12 joins (~tengu12@cpe-70-121-244-14.neb.res.rr.com) |
| 2021-08-06 08:48:09 | × | gzj quits (~GZJ0X@192.243.120.171.16clouds.com) (Ping timeout: 258 seconds) |
| 2021-08-06 08:49:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-06 08:56:06 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 272 seconds) |
| 2021-08-06 08:57:21 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 258 seconds) |
| 2021-08-06 09:00:03 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-06 09:00:34 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 09:03:12 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Quit: Connection closed) |
| 2021-08-06 09:03:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-06 09:05:12 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 256 seconds) |
| 2021-08-06 09:07:09 | <tomsmeding> | presumably with another integer indicating the number of bits in nextBit :) |
| 2021-08-06 09:07:47 | → | mei joins (~mei@user/mei) |
| 2021-08-06 09:07:52 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-06 09:09:16 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) |
| 2021-08-06 09:09:36 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 09:13:24 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 2021-08-06 09:14:16 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 256 seconds) |
| 2021-08-06 09:14:26 | <[exa]> | tomsmeding: better move the nextBit with << directly than have a counter that you need to transform with << everytime |
| 2021-08-06 09:14:33 | <maerwald[m]> | Sounds like `SerialT m (Array Word8)` |
| 2021-08-06 09:15:22 | <[exa]> | that can do bits? |
| 2021-08-06 09:15:47 | <maerwald[m]> | hmm |
| 2021-08-06 09:15:50 | <tomsmeding> | [exa]: yeah sure, but with your current representation how are you going to distinguish between writing 0b1 and writing 0b10 |
| 2021-08-06 09:16:22 | <tomsmeding> | (or the 1 and 0 the other way round depending on your favourite endianness :p ) |
| 2021-08-06 09:16:28 | <[exa]> | currentBit = currentBit | nextBit ? |
| 2021-08-06 09:16:42 | <[exa]> | (and nextBit <<= 1, sorry for C notation) |
| 2021-08-06 09:17:00 | <tomsmeding> | oh wait, 0 <= nextBit < 8 ? |
| 2021-08-06 09:17:12 | <[exa]> | nextBit is a power of 2 |
| 2021-08-06 09:17:23 | <tomsmeding> | aaaaaah yes that makes sense, ignore what I said |
| 2021-08-06 09:17:27 | <[exa]> | literally the next bit that would be added if you.. ok |
| 2021-08-06 09:17:31 | <tomsmeding> | I mistook the meaning of your fields :p |
| 2021-08-06 09:17:40 | <maerwald[m]> | I think you can transform it into a `SerialT m Word8`, but that would be slow, because the event loop is then over every bit. |
| 2021-08-06 09:17:50 | <[exa]> | I originally wanted to have nextBitPos :: Word3 but alas, no Word3. |
| 2021-08-06 09:17:51 | <[exa]> | :( |
| 2021-08-06 09:18:26 | tomsmeding | wonders if (bit * mask) is faster or slower than (bit << index) |
| 2021-08-06 09:19:02 | <[exa]> | maerwald[m]: if you get the data bit by bit, you're unlikely to improve the speed much...otoh for block data you'd need word shifting anyway |
| 2021-08-06 09:19:50 | <[exa]> | tomsmeding: << and & may eat less energy and take less cycles than * |
| 2021-08-06 09:20:08 | <[exa]> | but I was over-optimizing for sure, this won't be ever visible with haskell around :D |
| 2021-08-06 09:20:22 | <tomsmeding> | wanting the << version means that you want the Word3 version |
| 2021-08-06 09:20:37 | <tomsmeding> | yes lol |
| 2021-08-06 09:20:46 | → | azeem joins (~azeem@176.201.8.137) |
| 2021-08-06 09:21:09 | <[exa]> | I like how I still nerdrage on such tiny details, feels like I'm 15 again. :D |
| 2021-08-06 09:21:57 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-06 09:22:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-06 09:23:03 | <tomsmeding> | an important reason why premature micro-optimisation needed to be called evil is that programmers like to do it :p |
| 2021-08-06 09:23:54 | <Rembane> | But it's so fun! |
| 2021-08-06 09:24:25 | <tomsmeding> | yes |
| 2021-08-06 09:25:07 | <tomsmeding> | in that vein: probably better to have {ByteString, Word64, Word6} |
| 2021-08-06 09:25:42 | <[exa]> | that is the way. |
| 2021-08-06 09:26:05 | <[exa]> | you meant Word64String right. |
| 2021-08-06 09:26:28 | <tomsmeding> | lol yes |
| 2021-08-06 09:26:39 | <tomsmeding> | (UnboxedVector Word64) possibly |
| 2021-08-06 09:27:14 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-06 09:29:00 | × | xff0x_ quits (~xff0x@2001:1a81:52e3:2500:9c72:9058:eb7a:ca08) (Ping timeout: 256 seconds) |
| 2021-08-06 09:29:57 | → | xff0x_ joins (~xff0x@2001:1a81:52e3:2500:4853:8255:fc4e:2378) |
| 2021-08-06 09:30:26 | <[exa]> | totally forgot about the !'s |
All times are in UTC.