Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 .. 5022
— 502,152 events total
2020-11-20 09:32:10 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 09:32:12 <merijn> never >.>
2020-11-20 09:32:37 dminuoso wonders whether a second doctor entitles you to being called "Doctor Doctor"
2020-11-20 09:32:47 <koz_> dminuoso: Doctor Squared.
2020-11-20 09:32:55 <dminuoso> heh
2020-11-20 09:32:56 <merijn> I'm already drs. :p
2020-11-20 09:33:14 <dminuoso> merijn: This is honestly so confusing. Why are you already dr?
2020-11-20 09:33:21 <merijn> Which sadly, is not the plural of dr
2020-11-20 09:33:25 <dminuoso> oh
2020-11-20 09:33:27 <dminuoso> haha
2020-11-20 09:33:29 <dminuoso> what is drs then?
2020-11-20 09:33:51 <merijn> dminuoso: drs is doctorandus, it's roughly equivalent to MSc. from the time before EU standardized on bachelor/master
2020-11-20 09:34:07 <dminuoso> Ah, presumably its similar to Dipl. in Germany
2020-11-20 09:34:19 → vsiddharth joins (~user@135-180-144-154.fiber.dynamic.sonic.net)
2020-11-20 09:34:29 <merijn> But since I started university before that switch I'm entitled to use either drs or MSc. as I see fit
2020-11-20 09:34:38 <pjb> dminuoso: IMO, doctor titles sum, not multiply.
2020-11-20 09:34:49 <merijn> Anyway
2020-11-20 09:35:08 <merijn> Only morons do a phd, I'm not sure what kinda idiot you gotta be to do *two* of the damn things
2020-11-20 09:35:37 <dminuoso> pjb: addition/multiplication are relative. In fact, there are fields in math in which b^2 and 2*b denote the same thing
2020-11-20 09:35:46 <merijn> otoh, if your dumb and stubborn enough to start a 2nd phd, I guess you'd be dumb and stubborn enough to make it
2020-11-20 09:35:52 <pjb> merijn: when you want to advance two fields. For example, Elon Musk could be doctor in car batteries, and doctor in rocket engines.
2020-11-20 09:35:53 <merijn> s/your/you're
2020-11-20 09:36:18 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-20 09:36:38 <dminuoso> pjb: PhDs dont advance you.
2020-11-20 09:36:56 <pjb> merijn: no, it advances science.
2020-11-20 09:37:00 <merijn> hah
2020-11-20 09:37:03 <dminuoso> "advances science"
2020-11-20 09:37:07 <merijn> I like your optimism :)
2020-11-20 09:37:32 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-11-20 09:37:32 × hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2020-11-20 09:38:05 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Remote host closed the connection)
2020-11-20 09:38:16 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2020-11-20 09:38:42 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 09:39:03 <dminuoso> Much of academia follows "publication creep" where you're pushed to publish as often as possible in magazines with high impact factors.
2020-11-20 09:39:16 <dminuoso> The primary motivation is not science, it's just money.
2020-11-20 09:40:08 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-20 09:40:21 <dminuoso> It's getting increasingly difficult to filter out the useless, irrelevant or (semi-)plagiarized publications if you want to do some work in a field
2020-11-20 09:40:23 × avoandmayo quits (~textual@122-58-109-105-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-20 09:40:30 hackage Z-IO 0.1.8.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.8.0 (winterland)
2020-11-20 09:40:40 <merijn> dminuoso: Oh, I got a simple hack for that
2020-11-20 09:41:04 <merijn> dminuoso: I just assume it's irrelevant and don't read it ;)
2020-11-20 09:42:55 <hololeap> the TH generated Show1 instance from deriving-compat seems to work fine
2020-11-20 09:43:52 <hololeap> although i have to put the `$(deriveShow1 ''Foo)` line at the very bottom... template haskell is weird
2020-11-20 09:49:52 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds)
2020-11-20 09:50:13 → Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-20 09:51:01 → falafel_ joins (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4)
2020-11-20 09:51:37 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-11-20 09:52:39 <c_wraith> a top-level TH splice separates the file into what's sort of multiple compilation units. It resolves names from before the splice, then does the splice with only those names in context, then looks at the rest of the file.
2020-11-20 09:53:20 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-20 09:55:46 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-kwmvlnupagfhstlw)
2020-11-20 09:59:11 → ubert joins (~Thunderbi@p200300ecdf1e5355e6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-20 10:00:35 → Rudd0 joins (~Rudd0@185.189.115.98)
2020-11-20 10:03:08 → ph88^ joins (~ph88@ip5f5af6cd.dynamic.kabel-deutschland.de)
2020-11-20 10:03:10 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 272 seconds)
2020-11-20 10:03:10 → knupfer joins (~Thunderbi@200116b824bb7e005406fbfffe2fdbcc.dip.versatel-1u1.de)
2020-11-20 10:03:12 × knupfer quits (~Thunderbi@200116b824bb7e005406fbfffe2fdbcc.dip.versatel-1u1.de) (Client Quit)
2020-11-20 10:03:25 → knupfer joins (~Thunderbi@i5E86B41D.versanet.de)
2020-11-20 10:04:57 × falafel_ quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 260 seconds)
2020-11-20 10:05:16 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-20 10:05:42 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-20 10:05:56 × hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit)
2020-11-20 10:06:21 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Remote host closed the connection)
2020-11-20 10:07:14 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:f073:c081:c2ef:433b) (Ping timeout: 264 seconds)
2020-11-20 10:07:19 × Feuermagier_ quits (~Feuermagi@213.178.26.41) (Quit: Leaving)
2020-11-20 10:11:22 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
2020-11-20 10:12:33 → jpds joins (~jpds@gateway/tor-sasl/jpds)
2020-11-20 10:16:18 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-20 10:19:35 × guest1120 quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1))
2020-11-20 10:20:36 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Ping timeout: 256 seconds)
2020-11-20 10:22:36 × vsiddharth quits (~user@135-180-144-154.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2020-11-20 10:25:55 → gienah joins (~mwright@gentoo/developer/gienah)
2020-11-20 10:30:56 → kuribas joins (~user@ptr-25vy0i7lmmi4jlxzmxu.18120a2.ip6.access.telenet.be)
2020-11-20 10:34:22 <merijn> c_wraith: Except a bug made it work for several years with classes >.>
2020-11-20 10:34:57 → fendor_ joins (~fendor@77.119.129.57.wireless.dyn.drei.com)
2020-11-20 10:36:09 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 260 seconds)
2020-11-20 10:36:49 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-20 10:37:37 × fendor quits (~fendor@178.165.131.185.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
2020-11-20 10:39:03 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-20 10:39:19 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-20 10:41:22 × pong quits (chiya@2406:3003:2077:2341::babe) (Ping timeout: 260 seconds)
2020-11-20 10:41:58 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-20 10:42:34 → pong joins (chiya@2406:3003:2077:2341::babe)
2020-11-20 10:46:24 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-20 10:47:47 × darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 265 seconds)
2020-11-20 10:50:26 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-11-20 10:51:56 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds)
2020-11-20 10:53:21 → hidedagger joins (~nate@unaffiliated/hidedagger)
2020-11-20 10:54:24 × alp quits (~alp@2a01:e0a:58b:4920:c533:3fa3:3963:3f02) (Ping timeout: 240 seconds)
2020-11-20 10:57:16 × knupfer quits (~Thunderbi@i5E86B41D.versanet.de) (Ping timeout: 240 seconds)
2020-11-20 10:57:23 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-11-20 10:57:58 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-11-20 10:57:58 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-11-20 11:00:16 × jwynn6 quits (~jwynn6@050-088-122-078.res.spectrum.com) (Ping timeout: 240 seconds)
2020-11-20 11:02:02 → darjeeling_ joins (~darjeelin@122.245.211.11)
2020-11-20 11:04:46 → jwynn6 joins (~jwynn6@050-088-122-078.res.spectrum.com)
2020-11-20 11:08:02 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-20 11:09:02 × prez quits (~prez@unaffiliated/prez) (Quit: znc)
2020-11-20 11:10:04 → jonatanb joins (jonatanb@gateway/vpn/protonvpn/jonatanb)
2020-11-20 11:12:53 → solonarv joins (~solonarv@astrasbourg-653-1-156-4.w90-6.abo.wanadoo.fr)
2020-11-20 11:13:50 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:ef:21ba:eb1b:b066) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 1401 1402 1403 1404 1405 1406 1407 1408 1409 1410 1411 .. 5022

All times are in UTC.