Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 .. 5022
— 502,152 events total
2020-11-11 16:20:20 <p0a> lol
2020-11-11 16:20:20 × texasmynsted quits (~texasmyns@64.44.55.108) (Remote host closed the connection)
2020-11-11 16:21:18 → v_m_v_ joins (~vm_v@2a02:aa12:3200:6480:fc4f:fb56:796a:9a4a)
2020-11-11 16:21:33 <Uniaika> Rust as well has attracted quite a diverse community
2020-11-11 16:21:39 <Uniaika> it's pretty nice
2020-11-11 16:22:00 <maerwald> I'd guess edward would give even seasoned haskellers at a meetup a little bit of imposter syndrome feeling :p
2020-11-11 16:22:21 <Uniaika> I met edward at ZuriHac 2019
2020-11-11 16:22:28 <Uniaika> very impressive dude
2020-11-11 16:22:43 <merijn> Uniaika: I think you mean very impressive robot
2020-11-11 16:23:00 <maerwald> yeah, basically: take my job, because you can do it better :p
2020-11-11 16:23:03 <bqv> sounds like he passes the turing test
2020-11-11 16:23:08 <merijn> We all know edwardk is an android. That's how he manages to be so productive, he doesn't require sleep
2020-11-11 16:23:48 → st8less joins (~st8less@2603:a060:11fd:0:e425:75f4:6a4e:b8f8)
2020-11-11 16:23:51 <dminuoso> merijn: edwardk once wore a "fully functional and programmed in multiple techniques" t-shirt
2020-11-11 16:23:58 <dminuoso> Think that's a hint?
2020-11-11 16:24:02 <arianvp> is there no function in haskell to get the domain or fqdn of a host?
2020-11-11 16:24:07 <arianvp> e.g. the output from hostname -f ?
2020-11-11 16:24:10 <arianvp> or hostname -d ?
2020-11-11 16:24:18 <maerwald> did you check network-bsd?
2020-11-11 16:24:52 <bqv> @hoogle gethostbyname
2020-11-11 16:24:52 <Uniaika> p. sure I used hostname resolution in Haskell some years ago
2020-11-11 16:24:52 <lambdabot> Network.BSD getHostByName :: HostName -> IO HostEntry
2020-11-11 16:25:24 <merijn> Is there even a sensible API for getting fqdn?
2020-11-11 16:25:31 <merijn> bqv: That seems like the opposite
2020-11-11 16:25:46 <merijn> C has gethostname(), but I'm not sure if that's FQDN
2020-11-11 16:26:00 bqv shrug
2020-11-11 16:26:01 × neiluj quits (~jco@24.104.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-11 16:26:13 <maerwald> close enough
2020-11-11 16:26:23 × recon_-_ quits (~quassel@2602:febc:0:b6::6ca2) (Quit: No Ping reply in 180 seconds.)
2020-11-11 16:26:24 → neiluj joins (~jco@24.104.204.77.rev.sfr.net)
2020-11-11 16:26:31 <merijn> Uniaika: hostname resolution is not the same as "what's the FQDN of this host?"
2020-11-11 16:26:57 <merijn> arianvp: I recommend modifying your desire so that getHostName is sufficient :p
2020-11-11 16:27:10 <arianvp> I think it's the uname syscall
2020-11-11 16:27:45 × adm quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-11 16:27:46 <Uniaika> erf, my bad
2020-11-11 16:27:50 → recon_- joins (~quassel@2602:febc:0:b6::6ca2)
2020-11-11 16:27:55 <merijn> arianvp: uname should be in the unix package
2020-11-11 16:28:17 → _linker_ joins (~linker@185.12.21.77)
2020-11-11 16:28:18 <p0a> https://pubs.opengroup.org/onlinepubs/009695399/functions/getnameinfo.html
2020-11-11 16:28:53 <arianvp> ah no I think it parses /etc/hosts to get the domain part
2020-11-11 16:29:05 <arianvp> looking at the strace of "hostname --fqdn"
2020-11-11 16:29:10 <bqv> @hoogle getnameinfo
2020-11-11 16:29:10 <lambdabot> Network.Socket getNameInfo :: [NameInfoFlag] -> Bool -> Bool -> SockAddr -> IO (Maybe HostName, Maybe ServiceName)
2020-11-11 16:29:12 <bqv> is a thing
2020-11-11 16:29:12 × Franciman quits (~francesco@host-82-56-223-169.retail.telecomitalia.it) (Quit: Leaving)
2020-11-11 16:29:16 <arianvp> it first calls uname to get the hostname; and then parses /etc/hosts
2020-11-11 16:30:02 <maerwald> https://hackage.haskell.org/package/network-bsd-2.8.1.0/docs/Network-BSD.html#v:getHostEntries
2020-11-11 16:30:23 → leungbk joins (~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-11 16:30:41 → adm joins (~adm@43.229.89.44)
2020-11-11 16:31:25 × neiluj quits (~jco@24.104.204.77.rev.sfr.net) (Ping timeout: 240 seconds)
2020-11-11 16:32:44 → neiluj joins (~jco@24.104.204.77.rev.sfr.net)
2020-11-11 16:36:04 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-11 16:38:08 × avdb quits (~avdb@ip-83-134-202-84.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-11 16:38:27 → avdb joins (~avdb@ip-83-134-202-84.dsl.scarlet.be)
2020-11-11 16:39:45 × forell quits (~forell@unaffiliated/forell) (Ping timeout: 258 seconds)
2020-11-11 16:39:56 → forell_ joins (~forell@unaffiliated/forell)
2020-11-11 16:40:51 × adm quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-11 16:43:11 → christo joins (~chris@81.96.113.213)
2020-11-11 16:43:47 → Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se)
2020-11-11 16:43:57 → forell joins (~forell@unaffiliated/forell)
2020-11-11 16:44:53 × forell_ quits (~forell@unaffiliated/forell) (Ping timeout: 260 seconds)
2020-11-11 16:45:55 <p0a> does anyone else use haskell-mode on emacs? How do you make the indentation behave?
2020-11-11 16:46:27 → adm joins (~adm@43.229.89.44)
2020-11-11 16:46:42 → Sanchayan joins (~Sanchayan@122.181.216.76)
2020-11-11 16:47:03 <maerwald> you don't
2020-11-11 16:47:07 <maerwald> never works correctly
2020-11-11 16:47:10 <p0a> This is how it looks: https://paste.tomsmeding.com/gP3DZmu2 I wanted to align <$> with <*>
2020-11-11 16:47:21 <p0a> lol alright. What's the solution? Don't use emacs? :P
2020-11-11 16:47:45 × adm quits (~adm@43.229.89.44) (Remote host closed the connection)
2020-11-11 16:49:08 → adm joins (~adm@43.229.89.44)
2020-11-11 16:49:17 → knupfer joins (~Thunderbi@200116b82c3cbf005c849efffed8d804.dip.versatel-1u1.de)
2020-11-11 16:49:28 <tomsmeding> automatic indentation for haskell is a complex topic anyhow
2020-11-11 16:49:54 <tomsmeding> writing a parser being difficult and all, but also people not agreeing on how stuff is to be formatted
2020-11-11 16:49:58 <maerwald> yeah, on vim it's probably worse and would sometimes keep re-indenting, even if you revert it
2020-11-11 16:50:01 <maerwald> weird stuf
2020-11-11 16:50:19 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-11 16:50:31 × forell quits (~forell@unaffiliated/forell) (Ping timeout: 246 seconds)
2020-11-11 16:50:31 × adm quits (~adm@43.229.89.44) (Read error: Connection reset by peer)
2020-11-11 16:50:32 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-11 16:50:49 × Sanchayan quits (~Sanchayan@122.181.216.76) (Client Quit)
2020-11-11 16:50:49 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
2020-11-11 16:51:41 × knupfer quits (~Thunderbi@200116b82c3cbf005c849efffed8d804.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-11 16:51:52 <dsal> p0a: It'll do that if you put the (,,) on the line above.
2020-11-11 16:51:52 → knupfer joins (~Thunderbi@200116b82c3cbf00386ef564a0cbc086.dip.versatel-1u1.de)
2020-11-11 16:52:04 <dsal> One of the problems is that everyone else's code is uglier than mine would be if the tools just did what I wanted.
2020-11-11 16:52:05 → forell joins (~forell@unaffiliated/forell)
2020-11-11 16:52:53 <p0a> dsal: okay, thank you. I wanted to make sure, I guess ad-hoc solutions is what I have to employ
2020-11-11 16:53:07 → timCF joins (~i.tkachuk@m91-129-105-245.cust.tele2.ee)
2020-11-11 16:53:17 <dsal> My haskell-mode and stylish-haskell setups don't disagree too much.
2020-11-11 16:53:21 → adm_ joins (~adm@43.229.89.44)
2020-11-11 16:53:22 × alp quits (~alp@2a01:e0a:58b:4920:97f:2fae:e002:3954) (Ping timeout: 260 seconds)
2020-11-11 16:54:50 × timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Client Quit)
2020-11-11 16:55:09 → timCF joins (~i.tkachuk@m91-129-105-245.cust.tele2.ee)
2020-11-11 16:55:42 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 260 seconds)
2020-11-11 16:56:00 → jlamothe joins (~jlamothe@198.251.55.207)
2020-11-11 16:56:03 × Sheilong quits (uid293653@gateway/web/irccloud.com/x-gsqgottzxxeaqqqd) (Quit: Connection closed for inactivity)
2020-11-11 16:56:48 → Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-11 16:57:16 → boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-11 16:57:23 × atle quits (~jack@beta3.space) (Quit: WeeChat 2.3)
2020-11-11 16:57:31 → lucasb joins (uid333435@gateway/web/irccloud.com/x-gnyndoykxsezdnwx)
←Prev  Next→
Page 1 .. 1190 1191 1192 1193 1194 1195 1196 1197 1198 1199 1200 .. 5022

All times are in UTC.