Logs: liberachat/#haskell
| 2021-06-17 13:26:15 | <kw> | Yep. `data Foo a = Foo{ foo :: a }` |
| 2021-06-17 13:26:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-17 13:26:30 | <ente_> | ah thanks |
| 2021-06-17 13:28:40 | → | yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-17 13:30:18 | <ente_> | and if you want to create a record of Foo, how do you specify the type? |
| 2021-06-17 13:30:25 | × | nschoe quits (~quassel@178.251.84.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-06-17 13:30:40 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-17 13:30:45 | <ente_> | `Thing String {content: "", ...}` doesn't seem to work |
| 2021-06-17 13:30:50 | <ente_> | sorry for noob questions |
| 2021-06-17 13:31:11 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 268 seconds) |
| 2021-06-17 13:31:29 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-17 13:32:12 | <kw> | ente_: I'm not sure I understand the question. Say you want a Foo of String, with the value `"foo"`. You use `x = Foo{ foo = "foo" }` . Then `x :: Foo String` . |
| 2021-06-17 13:32:26 | <ente_> | oh ok |
| 2021-06-17 13:37:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-17 13:37:41 | <gentauro> | 13:33 < tomsmeding> I know of the existence of homomorphic encryption |
| 2021-06-17 13:37:48 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 13:38:10 | <gentauro> | tomsmeding: for fully homomorphic encryption, you need addition and multiplication which the NAND gate provides you :) |
| 2021-06-17 13:39:26 | <gentauro> | tomsmeding: https://blog.cryptographyengineering.com/2012/01/02/very-casual-introduction-to-fully/ |
| 2021-06-17 13:39:29 | <gentauro> | :) |
| 2021-06-17 13:39:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-17 13:40:26 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 252 seconds) |
| 2021-06-17 13:40:26 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Read error: Connection reset by peer) |
| 2021-06-17 13:40:29 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-17 13:40:38 | <gentauro> | Cale and tomsmeding: my intention was to add a basic `octet type` which you could use to implement basic logic |
| 2021-06-17 13:40:42 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-06-17 13:40:50 | → | nschoe joins (~quassel@2a04:cec0:1017:3105:d178:ff24:bc5e:5c16) |
| 2021-06-17 13:40:51 | <gentauro> | as kuribas said, this was just "some experimenting" |
| 2021-06-17 13:40:58 | × | nschoe quits (~quassel@2a04:cec0:1017:3105:d178:ff24:bc5e:5c16) (Client Quit) |
| 2021-06-17 13:41:14 | → | nschoe joins (~quassel@2a04:cec0:1017:3105:d178:ff24:bc5e:5c16) |
| 2021-06-17 13:41:26 | gentauro | and mostly see, how far I could push Haskell |
| 2021-06-17 13:41:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-06-17 13:42:19 | → | andreabedini joins (~andreabed@8s8kj6n7rfstpc4f9nxm.ip6.superloop.com) |
| 2021-06-17 13:42:26 | <gentauro> | I guess, wouldn't it be better for our society if more *bright* Haskellers spent time on problems like HE / FHE and perhaps, not su much on crypto stuff? Just a thought … |
| 2021-06-17 13:43:01 | <kuribas> | I don't even get why people think haskell is good for crypto. |
| 2021-06-17 13:43:03 | <tomsmeding> | gentauro: but surely, if you want to define arithmetic operations in terms of logic gates, then the goal is to let the number of logic gates be linear in the number of bits, right? |
| 2021-06-17 13:43:12 | <tomsmeding> | your current code is exponentially sized in the number of bits :p |
| 2021-06-17 13:43:17 | <kuribas> | I think it's mediocre at it, and not even better than other languages. |
| 2021-06-17 13:45:18 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-17 13:46:13 | → | muto joins (~muto@d75-159-225-7.abhsia.telus.net) |
| 2021-06-17 13:46:17 | <kuribas> | F* looks more reasonable |
| 2021-06-17 13:46:26 | <Cale> | gentauro: Cryptocurrencies and blockchain stuff in general is pretty much a complete waste of everyone's time and energy and I'm sad about it as well, but it's hard to fault people for following the money around. I find that phrasing a bit funny though, since homomorphic encryption would usually have been considered solidly part of "crypto". |
| 2021-06-17 13:46:27 | <Franciman> | f* is coooool |
| 2021-06-17 13:47:05 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-06-17 13:47:20 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-17 13:47:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-17 13:51:02 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection) |
| 2021-06-17 13:51:15 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-17 13:52:01 | × | andreabedini quits (~andreabed@8s8kj6n7rfstpc4f9nxm.ip6.superloop.com) (Quit: Client closed) |
| 2021-06-17 13:53:10 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-17 13:53:56 | <maerwald> | gentauro: pay them better... even boring js jobs often pay better. Only exception is fintech and crypto is just part of that |
| 2021-06-17 13:55:00 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev) |
| 2021-06-17 13:56:19 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-17 13:57:54 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 264 seconds) |
| 2021-06-17 13:58:08 | → | _xor joins (~xor@74.215.46.133) |
| 2021-06-17 13:58:15 | × | _xor quits (~xor@74.215.46.133) (Client Quit) |
| 2021-06-17 13:58:35 | → | _xor joins (~xor@74.215.46.133) |
| 2021-06-17 13:58:45 | <janus> | Cale: do you have know a good article that explains why even blockchain is bad in general? i'd like to have something to show people when they claim that blockchains have merit outside cryptocurrency |
| 2021-06-17 13:59:29 | <merijn> | janus: Well, you've got it reversed, you should be asking "give me one thing they're *good* at" |
| 2021-06-17 13:59:44 | <Cale> | janus: hmm... I have my own argument for it |
| 2021-06-17 13:59:55 | <merijn> | The answer is: They aren't particularly good at anything and 99.9% of all supposed use cases have much simpler/easier alternatives |
| 2021-06-17 14:00:06 | <Cale> | ^^ yes |
| 2021-06-17 14:00:08 | <merijn> | Anyway, that's rapidly going offtopic for #haskell I think |
| 2021-06-17 14:00:14 | <merijn> | Might actually be 100%, tbh |
| 2021-06-17 14:00:37 | <janus> | Cale: are you in another channel where i can ask you about it? |
| 2021-06-17 14:00:39 | <maerwald> | But most of Haskell is blockchain |
| 2021-06-17 14:00:44 | <maerwald> | :p |
| 2021-06-17 14:00:47 | <merijn> | janus: #haskell-offtopic :p |
| 2021-06-17 14:01:04 | <Franciman> | here we can talk about haskell fading into darkness? |
| 2021-06-17 14:01:28 | <Franciman> | micheal snoyman adopted rust |
| 2021-06-17 14:01:54 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds) |
| 2021-06-17 14:01:57 | <maerwald> | BC rust is used in blockchain |
| 2021-06-17 14:02:26 | <merijn> | Franciman: So? |
| 2021-06-17 14:02:49 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-17 14:02:52 | <merijn> | Franciman: I disagree with a lot of his opinions anyway :p |
| 2021-06-17 14:03:21 | <Franciman> | merijn: me too |
| 2021-06-17 14:04:03 | × | ikex quits (~ash@user/ikex) (Quit: WeeChat 3.2-rc1) |
| 2021-06-17 14:04:03 | <Franciman> | everything I used that was created by his accolades or himself, has sucked badly for me |
| 2021-06-17 14:04:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-17 14:04:44 | <Franciman> | stackage skipping tests :D |
| 2021-06-17 14:04:46 | <Franciman> | was hilarious |
| 2021-06-17 14:08:28 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Read error: Connection reset by peer) |
| 2021-06-17 14:08:29 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-17 14:09:14 | → | fabfianda joins (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) |
| 2021-06-17 14:09:54 | × | nschoe quits (~quassel@2a04:cec0:1017:3105:d178:ff24:bc5e:5c16) (Ping timeout: 240 seconds) |
| 2021-06-17 14:10:23 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-17 14:10:28 | → | fendor__ joins (~fendor@212095005121.public.telering.at) |
| 2021-06-17 14:12:42 | × | fendor quits (~fendor@77.119.131.250.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-06-17 14:13:07 | × | fendor_ quits (~fendor@77.119.131.250.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-06-17 14:13:21 | allbery_b | is now known as geekosaur |
| 2021-06-17 14:13:37 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 2021-06-17 14:13:43 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-17 14:14:01 | → | fendor joins (~fendor@178.115.128.93.wireless.dyn.drei.com) |
| 2021-06-17 14:15:23 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-17 14:16:03 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-17 14:18:07 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 272 seconds) |
| 2021-06-17 14:18:23 | → | fabfianda joins (~fabfianda@mob-5-90-245-136.net.vodafone.it) |
| 2021-06-17 14:19:04 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-17 14:20:24 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-17 14:20:34 | → | fluffyballoon joins (~fluffybal@131.93.208.196) |
| 2021-06-17 14:20:50 | × | nschoe quits (~quassel@178.251.84.79) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
All times are in UTC.