Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 48 49 50 51 52 53 54 55 56 57 58 .. 17899
— 1,789,879 events total
2021-05-24 01:14:49 <ski> yea .. but that's not the same as the applicative operators
2021-05-24 01:15:46 × Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Ping timeout: 264 seconds)
2021-05-24 01:17:03 × ku quits (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395) (Ping timeout: 272 seconds)
2021-05-24 01:21:56 → cyclosa joins (~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com)
2021-05-24 01:22:03 × zaraksidd94 quits (6f77bb2b@107.161.19.109) (Ping timeout: 244 seconds)
2021-05-24 01:22:52 × DasBrain quits (~DasBrain@user/dasbrain) (Quit: Leaving)
2021-05-24 01:30:33 × cyclosa quits (~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com) (Quit: computer broke)
2021-05-24 01:30:59 → cyclosa joins (~cyclosa@2603-6011-4a41-8ada-3d44-ff2a-130a-5b15.res6.spectrum.com)
2021-05-24 01:31:22 × doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-05-24 01:34:50 → fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-05-24 01:35:03 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-05-24 01:42:10 × Restle quits (2d53dcc0@107.161.19.109) (Ping timeout: 264 seconds)
2021-05-24 01:42:15 × Reisen quits (2d53dcc0@107.161.19.109) (Ping timeout: 264 seconds)
2021-05-24 01:44:55 × fart quits (68e8ca7b@user/actor) (Ping timeout: 272 seconds)
2021-05-24 01:47:03 × shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-05-24 01:47:34 × oxide quits (~lambda@user/oxide) (Ping timeout: 264 seconds)
2021-05-24 01:48:10 → oxide joins (~lambda@user/oxide)
2021-05-24 01:50:25 <Carter> Yeah
2021-05-24 02:02:53 <boxscape> @hoogle [(a, b)] -> ([a] -> c) -> ([b] -> d) -> (a, d)
2021-05-24 02:02:54 <lambdabot> No results found
2021-05-24 02:02:59 → fart joins (68e8ca7b@user/actor)
2021-05-24 02:03:14 <boxscape> hmm
2021-05-24 02:04:22 <boxscape> % :t \f g -> bimap f g . unzip
2021-05-24 02:04:22 <yahb> boxscape: forall {a} {b1} {b2} {d}. ([a] -> b1) -> ([b2] -> d) -> [(a, b2)] -> (b1, d)
2021-05-24 02:04:23 <boxscape> okay
2021-05-24 02:05:17 → yumaikas- joins (~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375)
2021-05-24 02:06:20 → Guest81 joins (~textual@198.55.125.207)
2021-05-24 02:06:55 × jaevanko quits (~jaevanko@2600:1700:1330:2bef:b287:70d2:d44:657) (Quit: Leaving)
2021-05-24 02:07:07 → jaevanko joins (~jaevanko@2600:1700:1330:2bef:156f:5a26:e61c:8357)
2021-05-24 02:07:27 × jaevanko quits (~jaevanko@2600:1700:1330:2bef:156f:5a26:e61c:8357) (Remote host closed the connection)
2021-05-24 02:09:04 <ezzieyguywuf> so, object-oriented programming isn't inherently imperitive programming. is it? for example, I'm reading a problem statement that says "implement the MyLinkedList class". So, by design, I have to ose OOP. but I can still use a functional programming style here, can't I?
2021-05-24 02:09:41 → heath joins (~heath@68.68.64.38)
2021-05-24 02:10:22 <ski> yes
2021-05-24 02:10:22 × hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 264 seconds)
2021-05-24 02:10:31 <ezzieyguywuf> thought so
2021-05-24 02:10:57 <ezzieyguywuf> i always get tripped up - whenever I see OOP I assume "oh boi, here we go", but (a) there's a time and place for it, and (b) it does not presume imperitive
2021-05-24 02:11:04 <ezzieyguywuf> and (c) sometimes you want imperitive
2021-05-24 02:11:14 <ski> mm
2021-05-24 02:11:34 <ezzieyguywuf> I'm actually curious as to how some of the c++20 stuff can translate into a more functional-friendly programming style
2021-05-24 02:12:15 <ezzieyguywuf> specifically it seems with "concepts" they're trying to mimic some of the behaviour we get with typeclasses
2021-05-24 02:18:55 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
2021-05-24 02:18:55 finn_elija is now known as Guest6539
2021-05-24 02:18:55 FinnElija is now known as finn_elija
2021-05-24 02:20:49 Guest81 is now known as S___
2021-05-24 02:21:32 × Jeanne-Kamikaze quits (~Jeanne-Ka@192.252.212.15) (Quit: Leaving)
2021-05-24 02:21:57 → seL4 joins (~seL4@47.187.204.61)
2021-05-24 02:22:22 × Guest6539 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 264 seconds)
2021-05-24 02:22:37 <seL4> writing formally verified program with 50 lines of haskell, how hard?
2021-05-24 02:22:47 <seL4> can I prove by hand?
2021-05-24 02:27:15 <Axman6> Yes
2021-05-24 02:27:41 <Axman6> Interesting choice of nickname seL4, are(/were) you part of trustworthy systems?
2021-05-24 02:28:00 → ku joins (~ku@2601:280:c780:7ea0:f045:534c:8a14:7395)
2021-05-24 02:28:04 <seL4> no, but I would like to learn how to write formally verified code
2021-05-24 02:28:18 <seL4> how hard is formally verified assembly
2021-05-24 02:29:12 <dibblego> you want the isabelle proof assistant
2021-05-24 02:29:22 <Axman6> Go and look at the seL4 project and find out ;)
2021-05-24 02:29:35 <seL4> I thought isabelle uses c not assembly
2021-05-24 02:29:54 <seL4> I'm reading book about coq but that uses gallina
2021-05-24 02:30:11 <Axman6> Go and look at the seL4 project, there's probably no better resource
2021-05-24 02:31:43 <seL4> I saw the website, which link?
2021-05-24 02:32:02 <seL4> read faq, etc. don't see formally verified assembly
2021-05-24 02:32:34 <seL4> read whitepaper
2021-05-24 02:34:13 <seL4> ok I see it
2021-05-24 02:35:11 <seL4> rip its a pdf
2021-05-24 02:35:55 × S___ quits (~textual@198.55.125.207) (Quit: Textual IRC Client: www.textualapp.com)
2021-05-24 02:36:16 <Axman6> it's all open source, all the code is available on github\
2021-05-24 02:37:32 <seL4> yeah I cloned it, but how does that teach me formally verified assembly?
2021-05-24 02:38:21 <dibblego> do a an undergrad research thesis, that's how the-person-I-live-with is learning it
2021-05-24 02:38:31 × drewr quits (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a) (Ping timeout: 244 seconds)
2021-05-24 02:38:51 × juhp quits (~juhp@128.106.188.199) (Quit: juhp)
2021-05-24 02:39:05 → juhp joins (~juhp@128.106.188.199)
2021-05-24 02:39:06 <seL4> ok, will try
2021-05-24 02:39:46 × td_ quits (~td@muedsl-82-207-238-244.citykom.de) (Ping timeout: 264 seconds)
2021-05-24 02:41:22 → td_ joins (~td@94.134.91.149)
2021-05-24 02:43:36 <Axman6> seL4: to learn cutting edge research, you're going to need to read some research papers, and almost certainly spend a lot of time learning the findamentals of softeware verification
2021-05-24 02:43:54 <seL4> yeah I will read book about coq
2021-05-24 02:44:07 <seL4> is it possible to write all proofs by hand
2021-05-24 02:44:18 <Axman6> things like Hoare triples, and... functional equivalence? IT's been a long time since I've looked into it
2021-05-24 02:45:11 <seL4> so it is possible?
2021-05-24 02:45:57 <Axman6> sure
2021-05-24 02:46:02 <keltono> seL4: you should read software foundations
2021-05-24 02:46:05 <keltono> https://softwarefoundations.cis.upenn.edu/
2021-05-24 02:46:57 <seL4> yeah thats the one I found! no pdf, just html
2021-05-24 02:49:23 <seL4> wait so RFNOMNT can block syscalls?
2021-05-24 02:49:46 <seL4> oops, my bad. thanks
2021-05-24 02:49:49 ← seL4 parts (~seL4@47.187.204.61) ()
2021-05-24 02:53:30 × Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 244 seconds)
2021-05-24 03:02:39 → Codaraxis joins (~Codaraxis@185.226.67.169)
2021-05-24 03:03:33 × Codaraxis quits (~Codaraxis@185.226.67.169) (Remote host closed the connection)
2021-05-24 03:05:02 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-05-24 03:05:39 → doyougnu joins (~user@c-67-168-253-231.hsd1.or.comcast.net)
2021-05-24 03:06:08 ← doyougnu parts (~user@c-67-168-253-231.hsd1.or.comcast.net) ()
2021-05-24 03:10:30 → ddellacosta joins (~ddellacos@89.46.62.51)
2021-05-24 03:11:36 × smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity)
2021-05-24 03:11:39 × waleee-cl quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 265 seconds)
2021-05-24 03:14:25 × ddellacosta quits (~ddellacos@89.46.62.51) (Read error: Connection reset by peer)
2021-05-24 03:15:10 <Carter> Huh.
2021-05-24 03:15:37 <Carter> Axman6 dibblego: I read that the sel4 team got dissolved :(
2021-05-24 03:16:07 <dibblego> Data61 now has very low wattage light bulbs in charge of all the things
2021-05-24 03:16:19 <Carter> Bummer
←Prev  Next→
Page 1 .. 48 49 50 51 52 53 54 55 56 57 58 .. 17899

All times are in UTC.