Logs: liberachat/#haskell
| 2021-05-28 15:29:50 | × | sondre quits (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) (Ping timeout: 248 seconds) |
| 2021-05-28 15:30:25 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-28 15:33:01 | <tomsmeding> | assuming I'm not making mistakes in my calculations, and assuming a ShortByteString has 16 bytes of overhead (not sure if accurate), an immutable datastructure in the form of a tree seems to always require at least 32GB of memory to store 4GB of data |
| 2021-05-28 15:33:25 | tomsmeding | 's calculations are incorrect |
| 2021-05-28 15:33:25 | × | onion quits (~zzz@user/yin) (Quit: onion) |
| 2021-05-28 15:33:27 | → | sondre joins (~sondrelun@eduroam-193-157-188-96.wlan.uio.no) |
| 2021-05-28 15:33:59 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-28 15:34:20 | tomsmeding | is stupid |
| 2021-05-28 15:34:30 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-28 15:34:33 | × | smr quits (~smn@91-114-144-112.adsl.highway.telekom.at) (Quit: WeeChat 3.1) |
| 2021-05-28 15:36:48 | <tomsmeding> | okay assuming 16 bytes of overhead on a ShortByteString and 64-byte (thus 64-entry) leaves, it seems to be optimal to have a branching factor of 4, yielding 6GB of memory usage with optimal heap packing without excess space |
| 2021-05-28 15:37:49 | <_73> | I am going to totally reconsider what I am doing here |
| 2021-05-28 15:37:58 | <tomsmeding> | with 256-byte leaves (4 cache lines, perhaps a reasonable tradeoff) you need 4.5GB ram |
| 2021-05-28 15:38:06 | <tomsmeding> | _73: don't mind me going off on tangents :p |
| 2021-05-28 15:38:16 | <tomsmeding> | but this is going to require a lot of memory |
| 2021-05-28 15:38:44 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-28 15:38:49 | tomsmeding | is going to hack this immutable thing together anyway to see how bad it is |
| 2021-05-28 15:38:59 | <cdsmith> | _73: I agree that this seems wise. Depending on 4 GB or more of state to live in memory probably means you should be changing your design, or looking into external storage |
| 2021-05-28 15:39:07 | <boxscape> | you have 6GB of memory usage but only need 4.5 GB ram? |
| 2021-05-28 15:39:13 | <boxscape> | oh wait |
| 2021-05-28 15:39:16 | → | sedeki joins (~textual@user/sedeki) |
| 2021-05-28 15:39:19 | <boxscape> | those are two different options |
| 2021-05-28 15:39:54 | <tomsmeding> | yeah |
| 2021-05-28 15:40:54 | × | fjmorazan quits (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-05-28 15:41:59 | → | fjmorazan joins (~quassel@user/fjmorazan) |
| 2021-05-28 15:43:06 | × | basudev quits (~basudev@sourcehut/user/basudev) (Quit: basudev) |
| 2021-05-28 15:44:23 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-05-28 15:45:35 | → | involans joins (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) |
| 2021-05-28 15:46:14 | → | connrs joins (~connrs@s1.connrs.uk) |
| 2021-05-28 15:47:09 | → | werneta joins (~werneta@mobile-166-176-57-62.mycingular.net) |
| 2021-05-28 15:48:26 | × | ccntrq quits (~ccntrq@business-90-187-183-141.pool2.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-28 15:49:32 | → | zyzzyxdonta joins (~zyzzyxdon@p54bdfeea.dip0.t-ipconnect.de) |
| 2021-05-28 15:49:41 | → | root___ joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-05-28 15:49:51 | root___ | is now known as bwe |
| 2021-05-28 15:50:01 | bwe | is now known as register |
| 2021-05-28 15:50:10 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-28 15:50:14 | register | is now known as identify |
| 2021-05-28 15:50:28 | identify | is now known as bwe |
| 2021-05-28 15:50:43 | × | zyzzyxdonta quits (~zyzzyxdon@p54bdfeea.dip0.t-ipconnect.de) (Client Quit) |
| 2021-05-28 15:51:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-28 15:52:09 | → | Tomurb joins (~tom@158.194.92.121) |
| 2021-05-28 15:52:34 | → | Morrow joins (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-05-28 15:53:17 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2021-05-28 15:53:27 | → | root___ joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-05-28 15:54:12 | × | root___ quits (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2021-05-28 15:54:25 | → | root___ joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-05-28 15:54:32 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-05-28 15:56:03 | × | monadlight quits (~chris@bras-vprn-nwmkon8540w-lp130-19-184-147-249-234.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2021-05-28 15:56:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-05-28 15:58:41 | × | root___ quits (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2021-05-28 15:58:47 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-05-28 15:59:10 | × | connrs quits (~connrs@s1.connrs.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-28 15:59:41 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2021-05-28 15:59:48 | → | bwe joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 2021-05-28 15:59:59 | → | connrs joins (~connrs@s1.connrs.uk) |
| 2021-05-28 16:00:05 | × | nsilv quits (~nsilv@212.103.198.210) (Quit: WeeChat 3.0.1) |
| 2021-05-28 16:02:58 | × | sedeki quits (~textual@user/sedeki) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-28 16:03:58 | × | bfrk quits (~Thunderbi@200116b84508c2004c8614311807bd60.dip.versatel-1u1.de) (Ping timeout: 248 seconds) |
| 2021-05-28 16:06:08 | × | connrs quits (~connrs@s1.connrs.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-28 16:06:38 | × | ku quits (~ku@2601:280:c780:7ea0:bdb5:230d:40c:e48e) (Ping timeout: 248 seconds) |
| 2021-05-28 16:06:41 | <Athas> | Pretty funny that ony of the Haskell Foundation board members has the surname "Boardman". |
| 2021-05-28 16:06:48 | → | connrs joins (~connrs@s1.connrs.uk) |
| 2021-05-28 16:07:03 | → | Bartosz joins (~textual@50.35.215.151) |
| 2021-05-28 16:08:46 | × | Tomurb quits (~tom@158.194.92.121) (Ping timeout: 248 seconds) |
| 2021-05-28 16:09:18 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 264 seconds) |
| 2021-05-28 16:10:25 | × | ddellaco_ quits (~ddellacos@86.106.121.23) (Remote host closed the connection) |
| 2021-05-28 16:10:54 | → | ddellacosta joins (~ddellacos@86.106.121.23) |
| 2021-05-28 16:12:50 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-05-28 16:13:26 | × | coot quits (~coot@37.30.49.19.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 264 seconds) |
| 2021-05-28 16:15:15 | <zwro[m]> | is it possible to ask ghci to evaluate a line without opening the repl? |
| 2021-05-28 16:16:43 | → | ccntrq joins (~ccntrq@dynamic-077-008-029-067.77.8.pool.telefonica.de) |
| 2021-05-28 16:17:00 | <geekosaur> | are you thinking of ghc -e? |
| 2021-05-28 16:18:21 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/using.html#expression-evaluation-mode |
| 2021-05-28 16:18:30 | <Hecate> | zwro[m]: ❯ ghc -e "print \"lol\"" |
| 2021-05-28 16:18:30 | <Hecate> | "lol" |
| 2021-05-28 16:18:46 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-28 16:20:11 | → | thelounge92 joins (~thelounge@cpe-23-240-28-18.socal.res.rr.com) |
| 2021-05-28 16:20:30 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-28 16:20:50 | <zwro[m]> | thats it thanks |
| 2021-05-28 16:20:52 | → | yumaikas- joins (~yumaikas@2601:281:c700:4240:90f1:d2bf:b6e2:acbf) |
| 2021-05-28 16:23:06 | → | nsilv-phone-1 joins (~nsilv-pho@host-82-50-119-12.retail.telecomitalia.it) |
| 2021-05-28 16:23:17 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-28 16:24:22 | <doublex> | > take 15 (cycle "lo") |
| 2021-05-28 16:24:23 | <lambdabot> | "lololololololol" |
| 2021-05-28 16:25:22 | × | ddellacosta quits (~ddellacos@86.106.121.23) (Remote host closed the connection) |
| 2021-05-28 16:25:28 | → | a6a45081-2b83 joins (~aditya@106.212.79.20) |
| 2021-05-28 16:25:32 | → | ddellacosta joins (~ddellacos@86.106.121.23) |
| 2021-05-28 16:25:50 | <a6a45081-2b83> | > let x=1:x in x |
| 2021-05-28 16:25:52 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 2021-05-28 16:26:03 | × | nsilv-phone quits (~nsilv-pho@37.160.131.29) (Ping timeout: 272 seconds) |
| 2021-05-28 16:26:07 | <a6a45081-2b83> | i thought it'd crash lambdabot |
| 2021-05-28 16:26:26 | → | argento joins (~argent0@168.227.96.51) |
| 2021-05-28 16:26:35 | <tomsmeding> | _73: I have an immutable data structure that takes about 7GB of memory to store 2^30 bytes, but it's terribly slow: single-byte set operations take 22 seconds on my (fast) machine |
| 2021-05-28 16:26:37 | <Athas> | I don't know when lambdabot was first written, but I know an infinite list must have been among the first handful of expressions it ever evaluated. |
| 2021-05-28 16:27:07 | <geekosaur> | @v |
| 2021-05-28 16:27:07 | <lambdabot> | "\"\\\"\\\\\\\"\\\\\\" |
| 2021-05-28 16:27:38 | → | benin8 joins (benin@gateway/vpn/protonvpn/benin) |
| 2021-05-28 16:27:53 | <davean> | a6a45081-2b83: Haskell, being a lazy language, makes it easy to deal with infinite data |
| 2021-05-28 16:28:04 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-05-28 16:28:06 | → | seabass joins (~sebastian@user/seabass) |
All times are in UTC.