Mercurial > repo
view paste/paste.9857 @ 3615:ba7c2ed626fe
<Roujo> echo \x03 > wisdom/\x03
author | HackBot |
---|---|
date | Tue, 03 Sep 2013 19:54:03 +0000 |
parents | 2d8e2108cd57 |
children |
line wrap: on
line source
2011-12-20.txt:10:33:15: <shachaf> elliott: It's 02:32. 2012-01-07.txt:10:31:01: <shachaf> 13:30 -!- Irssi: Unknown command: cs 2012-01-09.txt:18:41:02: <shachaf> 21:37 < shachaf> rwbarton: Back in my day, reading a file *denoted* something! 2012-01-09.txt:18:41:02: <shachaf> 21:38 < conal> shachaf: :) 2012-01-10.txt:02:29:20: <shachaf> elliott: I have an appointment at 09:30. 2012-01-27.txt:13:05:01: <shachaf> 19:38:03 <Philippa> tigger: for what it's worth, it's a more than fair question to have :-) Just the sort of thing that needs an even smarter type system than Haskell's, or a less safe one 2012-03-08.txt:01:37:55: <shachaf> 17:37 -!- shachaf( Erroneous Nickname 2012-03-13.txt:05:16:31: <shachaf> 22:16 -NickServ(NickServ@services.)- Registered : Apr 29 23:37:31 2009 (2 years, 45 weeks, 3 days, 05:38:45 ago) 2012-03-13.txt:05:16:37: <shachaf> 22:16 -NickServ(NickServ@services.)- Registered : Jul 03 22:30:48 2004 (7 years, 36 weeks, 2 days, 06:45:31 ago) 2012-04-02.txt:23:34:00: <shachaf> elliott: 16:32 < johannes__> who here thinks that haskell is one of the best languages. I do have one problem, it is not good for game development . do any of you know what the best language is other than c++ 2012-04-14.txt:02:45:03: <shachaf> Apr 13 19:43:30 carbon avahi-autoipd(wlan0)[7970]: Callout BIND, address 169.254.9.114 on interface wlan0 2012-04-14.txt:02:45:06: <shachaf> Apr 13 19:43:34 carbon avahi-autoipd(wlan0)[7970]: Successfully claimed IP address 169.254.9.114 2012-04-14.txt:09:08:25: <shachaf> 01:39 < cppbot> pon pon way way way pon pon way pon way pon - way way pon pon pon way way pon way pon way way 2012-04-14.txt:19:33:08: <shachaf> 12:31 < zhulikas> how can I force evaluation of something? 2012-04-14.txt:19:33:10: <shachaf> 12:32 < mcstar> $!, !, seq, deepseq? 2012-04-14.txt:19:33:14: <shachaf> 12:32 < zhulikas> thanks 2012-04-14.txt:19:33:19: <shachaf> 12:32 < zhulikas> :))) 2012-04-14.txt:19:34:17: <shachaf> 12:34 < reinoud> what does it mean with: Use `+RTS -Ksize -RTS' to increase it. 2012-04-14.txt:19:34:20: <shachaf> 12:34 < reinoud> ?? 2012-04-14.txt:19:34:24: <shachaf> 12:34 < rasfar> i'm in type constraint hell, can anyone help?!... 2012-04-27.txt:11:35:28: <shachaf> elliott: HOW IS IT 04:35 :-( 2012-05-03.txt:05:49:51: <shachaf> 11:38 < elliott> 19:18 <elliott> 08:05:37: <monqy> Patashu: http://dl.dropbox.com/u/13786158/shachaf.png http://dl.dropbox.com/u/13786158/eliot.png 2012-05-07.txt:07:38:35: <shachaf> 00:33 < dolio> The reason is, I guess, that Left (n, n) is the same as Right n, and Left (m, n) is the same as Left (n, m), so there are two of every thing you want to make into one element. 2012-05-07.txt:07:38:38: <shachaf> 00:34 < dolio> You can't just divide Nat * Nat by 2, though, because there is only one of each of the diagonal. 2012-05-07.txt:07:38:42: <shachaf> 00:34 < dolio> You have to add an extra diagonal to it. 2012-06-08.txt:03:38:31: <shachaf> 20:38 elliott shachaf: Did you know: The OS X Terminal can't display dark grey? 2012-06-29.txt:03:37:47: <shachaf> 20:37 <zzo38> edwardk: Do you know what I was writing about above? Maybe you know, nobody else responded and neither did you 2012-07-27.txt:07:32:02: <shachaf> 00:31 <ion> you’re wachaf 2012-09-02.txt:03:40:25: <shachaf> kmc: 20:39 <@lexande_> hunpuns 2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> TODO: -- do I need to care about this? 2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> # Pipermail assumes that message bodies contain US-ASCII text. 2012-09-04.txt:00:36:27: <SHACHAF> 17:33 <elliott> # Change this option to define a different character set to be used as 2012-09-04.txt:00:36:29: <SHACHAF> 17:33 <elliott> # the default character set for the archive. The term "character set" 2012-09-28.txt:00:35:25: <shachaf> 17:34 <jmcarthur> kmc left #haskell? 2012-09-28.txt:00:35:28: <shachaf> 17:35 <jmcarthur> :( 2012-10-13.txt:18:36:46: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too. 2012-10-14.txt:00:38:26: <shachaf> 11:34 <ousado> I found this to be a very nice informal intro: "Some of the best things in life are free; and some are not. Truth is free. Having proved a theorem, you may use this proof as many times as you wish, at no extra cost. Food, on the other hand, has a cost. Having baked a cake, you may eat it only once. If traditional logic is about truth, then linear logic is about food" 2012-10-14.txt:00:38:32: <shachaf> 11:35 <shachaf> Unless you're Zeno. 2012-10-14.txt:00:38:35: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too. 2012-10-14.txt:17:10:18: <shachaf> 10:31 <shachaf> cmccann: I like the part where «foo would just be a special case» could either mean that you implement unusual behavior for foo or that you don't. 2012-10-14.txt:22:38:45: <shachaf> 15:35 <elliott> @get-shapr 2012-10-14.txt:22:38:45: <shachaf> 15:35 <lambdabot> shapr!! 2012-10-14.txt:22:38:45: <shachaf> 15:35 <elliott> it's not working 2012-10-14.txt:22:40:30: <shachaf> He's the one who 15:38 <shachaf> 15:35 <elliott> @get-shapr 2012-10-14.txt:23:35:51: <shachaf> 16:32 <ion> ಠ_ಠ 2012-10-15.txt:04:37:01: <shachaf> 11:34 <ousado> I found this to be a very nice informal intro: "Some of the best things in life are free; and some are not. Truth is free. Having proved a theorem, you may use this proof as many times as you wish, at no extra cost. Food, on the other hand, has a cost. Having baked a cake, you may eat it only once. If traditional logic is about truth, then linear logic is about food" 2012-10-15.txt:04:37:07: <shachaf> 11:35 <shachaf> Unless you're Zeno. 2012-10-15.txt:04:37:10: <shachaf> 11:35 <shachaf> Zeno knew how to halve his cake and eat it too. 2012-10-17.txt:22:38:36: <shachaf> 15:38 <elliott> <shachaf> 15:07 <byorgey> shachaf: once upon a time I had this idea that log corresponded to "paths" in data structures 2012-10-21.txt:02:36:35: <shachaf> 19:36 <copumpkin> I just don't see the point 2012-11-11.txt:04:14:20: <shachaf> 19:22:37 <kmc> i'll take a moment to plug my tiny thread library: http://hackage.haskell.org/packages/archive/spawn/0.2/doc/html/Control-Concurrent-Spawn.html 2012-11-25.txt:09:41:36: <shachaf> @ask elliott 01:41 <fizzie> logs/freenode/#esoteric/2010-01.log:[2010-01-06 00:31:45] <ehird> everyone should preemptively add http://ehird.blogspot.com/ to their feed readers because i am awesome 2012-11-26.txt:18:33:44: <shachaf> 10:31 <rwbarton> thachaf 2012-11-26.txt:18:33:45: <shachaf> 10:31 <shachaf> ywbarton 2012-12-10.txt:22:37:52: <shachaf> And now 14:32 <edwardk> man shachaf is the death of fun in #haskell ;) 2012-12-16.txt:10:53:05: <shachaf> 02:34 <elliott> what we need is some kind of constraint (MaybeUnify a b) 2012-12-18.txt:00:46:53: <shachaf> 00:10:35 <shubshub> I should make a Language that only sometimes works :D ill call it MaybeNumericBatch 2013-01-02.txt:04:38:16: <shachaf> 20:37 <lensbot> lens/master 98245d6 Edward Kmett: more generalization, because that last patch wasn't general enough 2013-01-07.txt:22:50:06: <shachaf> 14:35 <ais523> becaUSE INSTEAD OF YOUR SENTENCE LOOKING LIKE THIS 2013-01-07.txt:22:50:07: <shachaf> 14:35 <ais523> it l°ks like this 2013-01-14.txt:03:23:11: <shachaf> 12:37:53 <beaky> stacks ftw 2013-01-14.txt:03:23:15: <shachaf> 12:38:08 <Cale> beaky: GHC doesn't use a call stack 2013-01-14.txt:03:23:19: <shachaf> 12:38:43 <Cale> (but it does actually use a stack, just not for function applications) 2013-01-14.txt:03:23:22: <shachaf> 12:38:48 <beaky> ah 2013-01-14.txt:03:23:34: <shachaf> 12:39:22 <mauke> mcstar: that's still recursion :-) 2013-01-14.txt:03:23:34: <shachaf> 12:39:30 <beaky> recursion ftw 2013-01-16.txt:01:18:59: <shachaf> haskell/12.12.22:01:09:30 <beaky> All programming languages were born to solve a problem. C was invented to port the UNIX operating system. Perl was designed as an awk killer to efficiently process text. Javascript was designed to implement interactive webpages. What was Haskell born to do? 2013-01-17.txt:20:14:27: <shachaf> :33 < don't be prepawsterous, Taneb. your theory n33ds work 2013-01-21.txt:23:48:05: <HackEgo> 23:44:47: <shachaf> monqy: no!! it's about uh clojure \ 23:45:02: <monqy> are you confusing me for sgeo. i don't know clojure........ \ 23:45:34: <shachaf> do you know lens......... \ 23:45:39: <monqy> : ) \ 23:45:54: <shachaf> : ) \ 23:46:01: <ion> : ) \ 23:47:45: <shachaf> ion knows lens. \ 23:48:27: <shachaf> (If I start a line with a space it 2013-01-24.txt:22:05:43: <shachaf> 20:59:32: <oerjan> <shachaf> `run sed -i s/dal/dahl/g wisdom/* 2013-02-03.txt:02:35:47: <shachaf> > (compare `on` void) (1:2:3:4:5:undefined) [10,20,30] 2013-02-08.txt:06:35:33: <shachaf> 22:30 <lexande> sometimes i am confronted with a problem and i think "I know, I'll use Banach-Tarski" 2013-02-18.txt:13:36:17: <shachaf> 05:32 <shachaf> You provide an indexing and a non-indexing version of the operator. 2013-03-06.txt:04:14:51: <shachaf> :33 < it's purrty bad, Firoara 2013-03-24.txt:03:03:53: <shachaf> :33 < hi 2013-03-24.txt:03:04:01: <shachaf> :33 < I'm not very good at this. 2013-03-24.txt:03:05:09: <shachaf> !bfjoust :33 < hi 2013-03-27.txt:00:35:47: <shachaf> 17:35 <Cale> Shin-LaC: Really, it doesn't work differently. There are just some local bindings in scope and some Prelude definitions are hidden. 2013-03-27.txt:06:00:35: <shachaf> 22:35 <KeithW> SHA-256: e74d0d323226046e402dd469a176075fc2013b69b0e67cea49762c957175df46 2013-03-30.txt:02:35:27: <shachaf> 19:35 <sorear> parcs: for instance, we still don't know whether \pi + e is rational or not 2013-04-02.txt:23:51:11: <shachaf> 23:36 <ddarius> shachaf: Awodey's book and/or Barr and Wells' ESSLLI lecture notes to start. 2013-04-13.txt:20:39:46: <shachaf> 13:39 <edwardk> applicative, ski: equivalent doesn't mean equally useful. Twan's version keeps the 'next' 'f' in the free applicative that you need for interpretation exposed without recursion. Oerjan's requires you to walk uselessly over n levels to get to it. 2013-04-14.txt:15:38:28: <shachaf> 08:36 <GOMADWarrior> what if there was a mmo game, a very cool one 2013-04-14.txt:15:38:29: <shachaf> 08:37 <pjb> Yes, what if? 2013-04-14.txt:15:38:29: <shachaf> 08:38 <GOMADWarrior> but it'd be in a browser 2013-04-14.txt:15:38:29: <shachaf> 08:38 <GOMADWarrior> with node.js 2013-04-14.txt:22:22:39: <shachaf> 05:34 <Botje> mushi: are you seriously expecting me to figure out _your_ problem like this? 2013-04-14.txt:22:22:48: <shachaf> 05:34 <Botje> mushi: go to bed, take another look tomorrow. 2013-04-25.txt:07:11:46: <shachaf> 23:36 <shachaf> the puzzle is: how many "8" shapes (let's say that an 8 shape is two circles tangent to each other) can you fit on the real plane? 2013-04-25.txt:10:14:19: <shachaf> 19:36 <elliott> @tell ais523 is the "Disallow" action somehow preventing the "Block" action? 2013-04-25.txt:10:14:22: <shachaf> 19:36 <elliott> @tell ais523 maybe it's only meant to have the latter or something (see AbuseLog) 2013-05-13.txt:03:53:22: <shachaf> 04:12:31 <copumpkin> oh kmc is younger than I thought he was 2013-05-13.txt:03:53:22: <shachaf> 04:12:38 <kmc> heh how old do i seem 2013-05-16.txt:18:39:24: <shachaf> 11:38 -replies: Ignore replies to nick in channels. For example 2013-05-16.txt:18:39:24: <shachaf> 11:38 "/IGNORE -replies *!*@*.fi PUBLIC" ignores everyone 2013-05-16.txt:18:39:24: <shachaf> 11:38 from Finland, but also anyone sending message 2013-05-16.txt:18:39:24: <shachaf> 11:38 "tofinnishnick: blahblah". 2013-05-23.txt:20:54:42: <shachaf> 13:32 <Taneb> I need something to doooooo 2013-06-16.txt:21:46:22: <shachaf> 2008-06-23.txt:22:34:12: <oerjan> tusho: ITYM "IIRC FTW". HTH. 2013-06-16.txt:21:46:55: <shachaf> 2008-08-10.txt:12:32:43: <fizzie> Mostly used in the construction "ITYM 'foo' HTH HAND". 2013-06-19.txt:00:03:12: <shachaf> what does ":3" even mean 2013-06-20.txt:03:53:50: <shachaf> 17:33 -!- mode/#haskell [+o elliott] by ChanServ 2013-06-20.txt:03:53:50: <shachaf> 17:33 -!- fwe was kicked from #haskell by elliott [fwe] 2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [+b *!*ssjsj@31.205.67.*] by elliott 2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [-o shachaf] by elliott 2013-06-20.txt:03:53:51: <shachaf> 17:33 -!- mode/#haskell [-o elliott] by elliott 2013-07-09.txt:22:43:23: <shachaf> haskell/13.05.02:09:06:34 <mike4_> please check that link that gives an extensive critique on FUNCTIONAL PROGRAMMING. 2013-07-09.txt:22:45:43: <shachaf> haskell/13.04.24:11:58:35 <philosophy> hi, i thought programming was about solving peoples problems, instead of creating more. 2013-07-15.txt:00:37:24: <shachaf> 17:36 <kmc> BIIIIKE 2013-08-02.txt:03:09:04: <shachaf> 06:30:59 <sclv_> @remember knuth To help the reader drowning in a sea of abstraction, the following example may serve as a concrete life preserver 2013-08-13.txt:23:49:42: <shachaf> it looks like it's more like :35bux: