2026/04/03

Newest at the top

2026-04-03 12:50:32 +0000craunts795335385(~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat)
2026-04-03 12:36:00 +0000 <tomsmeding> ¯\_(ツ)_/¯
2026-04-03 12:35:48 +0000 <tomsmeding> ... interesting, that typo didn't change the results; I wonder if that means that x just doesn't have high bits?
2026-04-03 12:34:56 +0000 <yahb2> [14283230361796891556,4031505161050178,7205329903210052357,4002821135440958291]
2026-04-03 12:34:56 +0000 <tomsmeding> % take 4 . map fst . iterate (cwg64 . snd) $ cwg64 (newRNG 42)
2026-04-03 12:34:53 +0000 <yahb2> <no output>
2026-04-03 12:34:53 +0000 <tomsmeding> % cwg64 :: RNG -> (Word64, RNG) ; cwg64 (RNG x a w s) = let x' = (x `quot` 2) * ((a + x) .|. 1) `xor` (w + s) in ((a+x) `shiftR` 48 `xor` x', RNG x' (a+x) (w+s) s)
2026-04-03 12:33:24 +0000 <yahb2> [14283230361796893884,4031505161053706,7205329903210052340,4002821135440951121]
2026-04-03 12:33:24 +0000 <tomsmeding> % take 4 . map fst . iterate (cwg64 . snd) $ cwg64 (newRNG 42)
2026-04-03 12:32:48 +0000 <yahb2> <no output>
2026-04-03 12:32:48 +0000 <tomsmeding> % newRNG :: Word64 -> RNG ; newRNG seed = iterate (snd . cwg64) (RNG 0 0 0 (2*seed+1)) !! 48
2026-04-03 12:32:43 +0000 <yahb2> <no output>
2026-04-03 12:32:43 +0000 <tomsmeding> % cwg64 :: RNG -> (Word64, RNG) ; cwg64 (RNG x a w s) = let x' = (x `quot` 2) * ((a + x) .|. 1) `xor` (w + s) in (a `shiftR` 48 `xor` x', RNG x' (a+x) (w+s) s)
2026-04-03 12:32:37 +0000 <yahb2> <no output>
2026-04-03 12:32:37 +0000 <tomsmeding> % data RNG = RNG Word64 Word64 Word64 Word64 deriving (Show) -- https://arxiv.org/pdf/2312.17043 CWG64
2026-04-03 12:32:25 +0000 <yahb2> <no output>
2026-04-03 12:32:25 +0000 <tomsmeding> % :m Data.Bits Data.Word
2026-04-03 12:30:57 +0000somemathguy(~somemathg@user/somemathguy) somemathguy
2026-04-03 12:25:54 +0000tromp(~textual@2001:1c00:340e:2700:f5b2:b468:1c7d:8570)
2026-04-03 12:24:35 +0000xff0x(~xff0x@2405:6580:b080:900:ec01:f28c:6f01:3489)
2026-04-03 12:13:22 +0000 <gentauro> tomsmeding: how do you invoke our Lord and Saviour RNGesus here?
2026-04-03 12:12:45 +0000 <gentauro> tomsmeding: :(
2026-04-03 12:03:32 +0000czan(~czan@user/mange) czan
2026-04-03 11:56:46 +0000wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-04-03 11:44:30 +0000 <yahb2> https://paste.tomsmeding.com/SSJGWZ5X
2026-04-03 11:44:30 +0000 <tomsmeding> %% System.Process.system "ghc-pkg --global list"
2026-04-03 11:43:04 +0000 <tomsmeding> gentauro: random is not a boot library
2026-04-03 11:02:13 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-04-03 10:49:09 +0000 <lambdabot> <hint>:1:1: error: parse error on input `import'
2026-04-03 10:49:08 +0000 <gentauro> > import System.Random
2026-04-03 10:49:05 +0000 <yahb2> <no location info>: error: [GHC-35235] ; Could not find module ‘System.Random’. ; It is not a module in the current program, or in any known package.
2026-04-03 10:49:05 +0000 <gentauro> % import System.Random
2026-04-03 10:48:46 +0000 <yahb2> <interactive>:1:1: error: [GHC-76037] Not in scope: ‘newStdGen’
2026-04-03 10:48:46 +0000 <gentauro> % :i newStdGen
2026-04-03 10:48:41 +0000 <lambdabot> <hint>:1:1: error: parse error on input `:'
2026-04-03 10:48:40 +0000 <gentauro> > :i newStdGen
2026-04-03 10:47:43 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-04-03 10:20:29 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2026-04-03 10:19:21 +0000acidjnk_new3(~acidjnk@p200300d6e700e5002ce9abe45c9e09a5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2026-04-03 10:16:14 +0000acidjnk_new(~acidjnk@p200300d6e700e5029fa95e10e4e0754b.dip0.t-ipconnect.de) acidjnk
2026-04-03 10:10:37 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-03 10:10:37 +0000arandombit(~arandombi@2a02:2455:8656:7100:cd4b:38a2:fba4:622b) (Changing host)
2026-04-03 10:10:37 +0000arandombit(~arandombi@2a02:2455:8656:7100:cd4b:38a2:fba4:622b)
2026-04-03 10:07:25 +0000califax(~califax@user/califx) califx
2026-04-03 10:07:22 +0000Square3(~Square@user/square) (Ping timeout: 268 seconds)
2026-04-03 10:07:12 +0000califax(~califax@user/califx) (Remote host closed the connection)
2026-04-03 10:02:26 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-04-03 09:54:17 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
2026-04-03 09:19:14 +0000DigitteknohippieDigit
2026-04-03 09:12:28 +0000Square3(~Square@user/square) Square