Logs: freenode/#haskell
| 2021-03-02 15:38:04 | → | jil joins (~user@45.86.162.6) |
| 2021-03-02 15:38:08 | <jil> | hello |
| 2021-03-02 15:38:58 | <maralorn> | Does anyone know about a irc/matrix/slack/discord Room where I can ask questions about cardano? |
| 2021-03-02 15:39:16 | × | todda7 quits (~torstein@athedsl-258913.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-03-02 15:40:22 | × | liyang quits (~liyang@cpc80675-stap13-2-0-cust362.12-2.cable.virginm.net) (Quit: leaving) |
| 2021-03-02 15:40:24 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-02 15:40:26 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 240 seconds) |
| 2021-03-02 15:40:29 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-02 15:40:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-02 15:41:12 | × | berberman quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2021-03-02 15:41:55 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-02 15:42:19 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 15:44:10 | <jil> | I know about forum.cardano.org . |
| 2021-03-02 15:45:02 | <jil> | Is there a code formatter like black in python for haskell ? Something that indents code, add space in a standard way. |
| 2021-03-02 15:45:14 | <maerwald> | standard? |
| 2021-03-02 15:45:51 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-03-02 15:46:15 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 15:46:23 | <boxscape> | jil there's several, some that come to mind are ormolu, fourmolu, brittany |
| 2021-03-02 15:47:49 | <jil> | I use emacs and maybe I could run some of these with a key stroke. Thank you boxscape |
| 2021-03-02 15:49:29 | → | tweek joins (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) |
| 2021-03-02 15:49:49 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-02 15:50:26 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-03-02 15:51:17 | <jil> | eval s (Var x) = find x s |
| 2021-03-02 15:52:59 | × | plast1k_ quits (~plast1k_@105.178.35.11) (Ping timeout: 245 seconds) |
| 2021-03-02 15:53:02 | × | carlomagno quits (~cararell@148.87.23.10) (Remote host closed the connection) |
| 2021-03-02 15:54:37 | → | carlomagno joins (~cararell@148.87.23.10) |
| 2021-03-02 15:56:15 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-03-02 15:58:16 | → | carlomagno1 joins (~cararell@148.87.23.10) |
| 2021-03-02 16:00:09 | × | tomsen[m] quits (tfbiomatri@gateway/shell/matrix.org/x-junoizbhiuyanlfn) (Quit: Idle for 30+ days) |
| 2021-03-02 16:01:35 | × | carlomagno quits (~cararell@148.87.23.10) (Ping timeout: 240 seconds) |
| 2021-03-02 16:01:46 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2021-03-02 16:02:00 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-02 16:03:19 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-02 16:05:30 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-03-02 16:05:31 | <maralorn> | jil: Thanks. I was there the other day but looking again I found exactly what I wanted to know. |
| 2021-03-02 16:05:42 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-02 16:05:53 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 16:06:45 | <dminuoso> | jil: stylish-haskell also exists |
| 2021-03-02 16:07:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) (Ping timeout: 240 seconds) |
| 2021-03-02 16:08:43 | → | nurupo_ joins (~nurupo.ga@unaffiliated/nurupo) |
| 2021-03-02 16:09:02 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 16:09:03 | × | nurupo quits (~nurupo.ga@unaffiliated/nurupo) (Ping timeout: 260 seconds) |
| 2021-03-02 16:09:56 | <sm[m]> | maralorn: you found the irc channel and matrix room I guess |
| 2021-03-02 16:09:59 | <maerwald> | maralorn: what type of question? |
| 2021-03-02 16:10:01 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 2021-03-02 16:10:32 | nurupo_ | is now known as nurupo |
| 2021-03-02 16:10:49 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-02 16:10:52 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-03-02 16:11:00 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) |
| 2021-03-02 16:11:14 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-02 16:11:16 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:30e7:f9ef:2218:63e0) (Remote host closed the connection) |
| 2021-03-02 16:11:20 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-02 16:11:45 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 16:12:06 | <sm[m]> | (4 matrix rooms now, actually) |
| 2021-03-02 16:13:07 | <maralorn> | maerwald: I was curious about where cardano gets the randomness to select validators. But I found a post in the forum that explains it. |
| 2021-03-02 16:20:29 | → | kuribas joins (~user@ptr-25vy0i7beqcypgxlfat.18120a2.ip6.access.telenet.be) |
| 2021-03-02 16:21:55 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-03-02 16:24:58 | × | _rht quits (uid86914@gateway/web/irccloud.com/x-flgafvdijlixohjl) (Quit: Connection closed for inactivity) |
| 2021-03-02 16:26:43 | × | catt quits (~r@31.127.31.99) (Ping timeout: 245 seconds) |
| 2021-03-02 16:26:57 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 264 seconds) |
| 2021-03-02 16:29:22 | × | toorevitimirp quits (~tooreviti@117.182.182.60) (Remote host closed the connection) |
| 2021-03-02 16:29:41 | → | conal joins (~conal@192.145.118.125) |
| 2021-03-02 16:33:10 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-02 16:34:46 | × | tinhatcat quits (~tsranso@108-91-101-161.lightspeed.gnvlsc.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-03-02 16:34:53 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:883b:8e1b:48a:92f0) |
| 2021-03-02 16:37:00 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-03-02 16:38:44 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-c404-e80d-f3d0-d4c5.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-03-02 16:40:24 | <sm[m]> | maralorn: what was the gist of it ? Some kind of seed that's propagated around ? |
| 2021-03-02 16:40:30 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-02 16:40:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-02 16:41:06 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 16:42:23 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-02 16:43:15 | <maralorn> | sm: I think the idea is the following: At the start of each epoch every stakeholder generates a random seed and commits it's hash to chain. After that is locked they all post the random seeds and they get combined to create the seed to determine who validates which slot in that epoch. |
| 2021-03-02 16:43:38 | <maralorn> | Because everyone needs to commit their randomness before seeing the randomness of the others no one can hack the process to influence the RNG in their favor. |
| 2021-03-02 16:44:09 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 16:44:26 | <maralorn> | I may have garbled the exact protocol, but this is the idea in principle. |
| 2021-03-02 16:44:29 | <sm[m]> | nice, thanks |
| 2021-03-02 16:46:56 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:2d2c:7153:bdbb:6201) |
| 2021-03-02 16:47:21 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 264 seconds) |
| 2021-03-02 16:48:08 | × | conal quits (~conal@192.145.118.125) (Quit: Computer has gone to sleep.) |
| 2021-03-02 16:59:42 | → | conal joins (~conal@192.145.118.125) |
| 2021-03-02 17:00:30 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-02 17:04:43 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-02 17:05:02 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-emslfebnrfzacuco) |
| 2021-03-02 17:05:57 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2021-03-02 17:07:24 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-02 17:08:22 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-02 17:08:51 | × | conal quits (~conal@192.145.118.125) (Quit: Computer has gone to sleep.) |
| 2021-03-02 17:09:09 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-02 17:10:52 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-02 17:11:23 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-02 17:12:45 | → | Fortune73 joins (3223b878@50.35.184.120) |
| 2021-03-02 17:13:10 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-02 17:13:36 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:e0e9:a038:1112:d7c8) |
| 2021-03-02 17:14:59 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 2021-03-02 17:15:25 | Fortune73 | is now known as FortuneZero |
| 2021-03-02 17:15:54 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 245 seconds) |
| 2021-03-02 17:16:45 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-02 17:20:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-02 17:20:41 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
All times are in UTC.