!wypKDDiZJdzZRWebIG:matrix.org

J

273 Members
4 Servers

Load older messages


SenderMessageTime
14 May 2022
@_discord_968170383259873331:t2bot.ioawagga changed their display name from frumpus to frumpus#7146.14:10:35
@_discord_968170383259873331:t2bot.ioawagga changed their display name from frumpus#7146 to awagga.14:10:40
@_discord_173539222337224704:t2bot.ioSnooli#2774 changed their display name from Snooli to Snooli#2774.16:50:26
@_discord_265062687451381782:t2bot.iofourier joined the room.23:24:48
@_discord_182575708390948864:t2bot.ioSigmund Friedrich Hegel changed their display name from Sigmund Friedrich Hegel to Sigmund Friedrich Hegel#2392.23:46:30
@_discord_182575708390948864:t2bot.ioSigmund Friedrich Hegel changed their display name from Sigmund Friedrich Hegel#2392 to Sigmund Friedrich Hegel.23:46:34
15 May 2022
@_discord_722191022557364315:t2bot.iojpf Apparently OCaML multicore has an ability to limit the consequence of data races with formally proved properties.
https://github.com/snu-sf/promising-ldrf-coq
02:57:22
@_discord_722191022557364315:t2bot.iojpf * Apparently OCaml multicore has an ability to limit the consequence of data races with formally proved properties.
https://github.com/snu-sf/promising-ldrf-coq
02:57:48
@_discord_722191022557364315:t2bot.iojpf This is referenced in the memory models section here: https://kcsrk.info/slides/mcocaml_gallium.pdf , and it's apparently been launched in 5.0 https://github.com/ocaml-multicore/ocaml-multicore 03:00:46
@_discord_336567624982986752:t2bot.iomilia OCaml is really something. 13:09:08
@_discord_353952774897270785:t2bot.ioconnolly#4281 changed their profile picture.16:31:04
@_discord_968170383259873331:t2bot.ioawagga Is there a conjunction B, such that x uBv y ←→ (u x) v y

In other words, reverse-hook
20:44:11
@_discord_968170383259873331:t2bot.ioawagga In another form: (v~ u)~ 20:52:17
@_discord_828684654454112286:t2bot.iobobTerryo There is not a primitive that is built for that, but aside from reversing the order of u and v, you have already defined one. You can declare it tacitly in J903.
   Bt=: (([.~)].)~
   Be=: {{ (u~ v)~}}
   4 +Bt% 5
5.25
   4 +Be% 5
5.25
   4 (+~ %)~ 5
5.25
  
21:35:18
@_discord_968170383259873331:t2bot.ioawagga Okay, thanks! 21:38:42
16 May 2022
@_discord_351172817519116301:t2bot.ionikyq#8590 changed their display name from nikyq to nikyq#8590.06:18:31
@idahotokens:matrix.org@idahotokens:matrix.org joined the room.11:16:49
@dzaima:matrix.orgdzaima banned @idahotokens:matrix.org@idahotokens:matrix.org.15:04:09
17 May 2022
@_discord_975728573312802847:t2bot.ioAdeline joined the room.14:24:18
@_discord_762711306041294948:t2bot.iohardkorebob joined the room.17:30:17
@_discord_762711306041294948:t2bot.iohardkorebob New here and to Array languages. Going thru J primer, watching tangentstorm videos and also found the ngn/k tutorial 3 days ago. 17:45:24
@_discord_762711306041294948:t2bot.iohardkorebob jpf thank u 19:26:09
@_discord_696634651875213322:t2bot.ioOsKaR31415 joined the room.19:30:44
@_discord_722191022557364315:t2bot.iojpfunknown.png
Download unknown.png
20:30:16
@_discord_722191022557364315:t2bot.iojpf Interested in perspectives on boxing efficacy. The chart above shows boxed / unboxed space utilization, per the gist below. Boxing seems to use 30-70x as much memory on my machine, which makes boxes infeasible for even moderate amounts of data. For example, reading a 1GB CSV file fails entirely, as each element is boxed in the default implementation.
https://gist.github.com/interregna/ad3ea2a33412c2daa4048020ecc007d1
20:30:16
@_discord_762711306041294948:t2bot.iohardkorebob Makes sense 22:15:45
@_discord_828684654454112286:t2bot.iobobTerryo The advice that I have heard is to stay away from boxing whenever possible and when you do need to use it, make sure that you are boxing and boxing as little as possible. So when you unbox then perform a sequence of operations before you box again, rather than boxing and then unboxing between each operation. 22:27:04
@_discord_828684654454112286:t2bot.iobobTerryo * The advice that I have heard is to stay away from boxing whenever possible and when you do need to use it, make sure that you are boxing and unboxing as little as possible. So when you unbox then perform a sequence of operations before you box again, rather than boxing and then unboxing between each operation. 22:27:29
@_discord_722191022557364315:t2bot.iojpf I think this fundamentally conflicts with the use of strings that aren't the same length, unfortunately. 22:49:26
@_discord_828684654454112286:t2bot.iobobTerryo Well you could just save them as strings that would be padded with blanks or the character of your choice to fill. You can't get around the extra spaces, but perhaps if you were able to sort longer strings together on input then the padding would be minimized. I don't know if this would work for you, I am just tossing out ideas that I might try. 22:55:06

There are no newer messages yet.


Back to Room List