Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4912 4913 4914 4915 4916 4917 4918 4919 4920 4921 4922 .. 5022
— 502,152 events total
2021-05-16 19:46:54 <gedda> mniip, thanks for the more proper definition, never saw it as a morhpism between f and fmap f before
2021-05-16 19:47:21 <mniip> that's not a correct way to call it
2021-05-16 19:47:44 <gedda> yea sorry, between implies iso which is not in this case
2021-05-16 19:47:50 <mniip> no
2021-05-16 19:48:21 <mniip> saying "f : X -> Y" aka "f is a morphism from X to Y" means that X is an object that is its domain, and Y is an object that is its codomain
2021-05-16 19:48:32 <mniip> "f(x) = y" or "f maps x to y" is completely different
2021-05-16 19:48:42 <mniip> here x is an element of X (whatever that means)
2021-05-16 19:49:09 × Guest87676 quits (~laudiacay@45.162.228.190) (Ping timeout: 245 seconds)
2021-05-16 19:51:10 → Alleria joins (~textual@2603-7000-3040-0000-a930-38e4-f357-846f.res6.spectrum.com)
2021-05-16 19:51:33 Alleria is now known as Guest36185
2021-05-16 19:51:52 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection)
2021-05-16 19:52:31 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06)
2021-05-16 19:53:08 → jneira joins (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249)
2021-05-16 19:53:48 → poljar joins (~poljar@93-139-93-177.adsl.net.t-com.hr)
2021-05-16 19:54:02 → falafel joins (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com)
2021-05-16 19:55:55 <boxscape> A crude illustrations, for morphisms from sets to sets https://i.imgur.com/WO1HeYN.png
2021-05-16 19:56:20 → ThinkPad joins (~user@2603-8080-4904-7592-f1d1-497c-8bbd-901a.res6.spectrum.com)
2021-05-16 19:56:39 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Ping timeout: 245 seconds)
2021-05-16 19:56:39 × poljar1 quits (~poljar@78-1-53-252.adsl.net.t-com.hr) (Ping timeout: 245 seconds)
2021-05-16 19:56:41 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-05-16 20:04:36 × mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer)
2021-05-16 20:05:13 → mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-05-16 20:05:41 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-05-16 20:06:38 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-05-16 20:06:38 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-05-16 20:06:38 → mouseghost joins (~draco@wikipedia/desperek)
2021-05-16 20:06:46 → pavonia joins (~user@unaffiliated/siracusa)
2021-05-16 20:06:55 → ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-16 20:08:30 <gedda> cheers!
2021-05-16 20:10:11 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-16 20:11:48 × TK__ quits (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Remote host closed the connection)
2021-05-16 20:15:13 × xff0x quits (~xff0x@2001:1a81:5322:8600:5cc4:429b:3219:4854) (Ping timeout: 250 seconds)
2021-05-16 20:16:03 → xff0x joins (~xff0x@2001:1a81:5322:8600:89e1:ee88:e1af:1ae6)
2021-05-16 20:16:17 × finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-05-16 20:16:50 → finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-05-16 20:18:08 → xcmw joins (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com)
2021-05-16 20:18:27 × Guest72179 quits (~alexander@2a02:587:dc19:ab00:49f:5b0e:f658:23e8) (Ping timeout: 260 seconds)
2021-05-16 20:19:09 × supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 245 seconds)
2021-05-16 20:20:45 × mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-05-16 20:20:47 → romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt)
2021-05-16 20:21:36 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-05-16 20:22:26 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-16 20:25:52 <ThinkPad> Hi. I am the ghost of Johnny von Neumann. I know almost nothing about modern programming but I have a question : Why would you need anything other than machine code? köszönöm szépen
2021-05-16 20:30:18 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-16 20:30:55 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-azmheisgydotdkpn) ()
2021-05-16 20:34:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-16 20:34:06 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-16 20:34:10 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-16 20:34:11 × Benzi-Junior quits (~BenziJuni@dsl-149-64-251.hive.is) (Ping timeout: 260 seconds)
2021-05-16 20:36:48 × stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-05-16 20:37:20 × mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 252 seconds)
2021-05-16 20:38:14 <hpc> machine code? FPGAs should be enough for anyone
2021-05-16 20:40:41 × bennofs_ quits (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de) (Read error: Connection reset by peer)
2021-05-16 20:41:07 → bennofs_ joins (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de)
2021-05-16 20:43:43 → safinaskar joins (~user@109.252.90.136)
2021-05-16 20:44:04 <safinaskar> hi. i'm reading docs for Happy. And I see that Happy can count lines, but not characters!!!
2021-05-16 20:44:15 <safinaskar> are Happy really so bad, or this is just old docs?
2021-05-16 20:44:45 × juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!)
2021-05-16 20:45:24 <pjb> ThinkPad: what you need is abstractions. You can start from machine code, but when you clim the abstraction layers, you will implement progressively higher level programming languages.
2021-05-16 20:46:25 <pjb> ThinkPad: https://www.smart-jokes.org/programmer-evolution.html
2021-05-16 20:46:29 × boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed)
2021-05-16 20:46:46 <pjb> ThinkPad: note the "Senior Manager" level of abstraction.
2021-05-16 20:47:10 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-05-16 20:47:25 <pjb> ThinkPad: then ask Siri to say Hello World!
2021-05-16 20:48:44 × ozzymcduff quits (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-16 20:48:44 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-16 20:49:45 → stree joins (~stree@68.36.8.116)
2021-05-16 20:50:04 → boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220)
2021-05-16 20:50:44 → mozzarella joins (~sam@unaffiliated/sam113101)
2021-05-16 20:52:51 → Guest82031 joins (~zmv@unaffiliated/zmv)
2021-05-16 20:53:32 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-05-16 20:54:35 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2021-05-16 20:55:48 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-16 20:56:08 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-16 20:57:44 → acidjnk_new joins (~acidjnk@p5487d90a.dip0.t-ipconnect.de)
2021-05-16 20:58:24 → knupfer joins (~Thunderbi@200116b82287f900f69634fffef0b45f.dip.versatel-1u1.de)
2021-05-16 21:00:55 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds)
2021-05-16 21:02:25 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-16 21:02:54 × knupfer quits (~Thunderbi@200116b82287f900f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-05-16 21:04:33 × romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-05-16 21:06:33 × Guest82031 quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-05-16 21:07:04 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds)
2021-05-16 21:07:13 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
2021-05-16 21:07:13 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-05-16 21:07:13 → neiluj joins (~jco@unaffiliated/neiluj)
2021-05-16 21:08:05 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Quit: Leaving...)
2021-05-16 21:09:38 → DavidEichmann joins (~david@185.178.93.209.dyn.plus.net)
2021-05-16 21:10:39 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-05-16 21:11:06 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-05-16 21:13:42 × DavidEichmann quits (~david@185.178.93.209.dyn.plus.net) (Remote host closed the connection)
2021-05-16 21:16:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-05-16 21:18:03 → patlv joins (~patlv@unaffiliated/patlv)
2021-05-16 21:20:02 → cdsmith joins (~cdsmithus@c-73-184-127-183.hsd1.ga.comcast.net)
2021-05-16 21:20:47 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2021-05-16 21:20:57 → viluon joins (uid453725@gateway/web/irccloud.com/x-ldrzezyrskjdiqmn)
2021-05-16 21:24:54 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-05-16 21:24:59 × sheepduck quits (~sheepduck@2607:fea8:2a60:b700::cafd) (Ping timeout: 245 seconds)
2021-05-16 21:26:36 <cdsmith> > pi == (pi * 10000) / 10000
2021-05-16 21:26:38 <lambdabot> True
2021-05-16 21:26:47 <cdsmith> How is that true? There should be loss of precision, right?
←Prev  Next→
Page 1 .. 4912 4913 4914 4915 4916 4917 4918 4919 4920 4921 4922 .. 5022

All times are in UTC.