←2014-07-30 2014-07-31 2014-08-01→ ↑2014 ↑all
00:00:32 -!- idris-bot has joined.
00:06:46 -!- idris-bot has quit (Quit: Terminated).
00:07:00 -!- idris-bot has joined.
00:19:50 -!- imp9 has joined.
00:21:39 <elliott> welcome back
00:26:42 <Melvar> Anyone for some ridiculous feature abuse?
00:27:23 <newsham> anyone NOT for some ridiculous feature abuse!?@
00:27:31 <Melvar> ( let foo = "bar" in getNamedVar "foo"
00:27:31 <idris-bot> "bar" : String
00:27:54 <Bike> that's very... perl? weird
00:28:59 <Melvar> It uses a reflected tactic to look for the right thing in the environment. Only statically-known variable name strings will work.
00:29:21 -!- imp9 has quit (Quit: Leaving).
00:29:52 <HackEgo> [wiki] [[Talk:Lambda: the Gathering]] M http://esolangs.org/w/index.php?diff=40228&oldid=40224 * Oerjan * (+50) unsigned
00:30:17 <elliott> that's horrifying
00:31:04 <Melvar> Took me a day to get it working, too.
00:33:40 <Melvar> But it doesn’t actually break anything, all it does in the end is have the compiler fill in the actual variable in question.
00:34:40 -!- mhi^ has quit (Quit: Lost terminal).
00:47:43 -!- Gregor has quit (Ping timeout: 260 seconds).
00:51:24 -!- Gregor has joined.
00:51:49 -!- Gregor has changed nick to Guest17686.
00:55:39 -!- esowiki has joined.
00:55:43 -!- esowiki has joined.
00:55:44 -!- esowiki has joined.
00:55:47 -!- glogbot has joined.
01:20:29 <oerjan> <oerjan> (my _last_ answer was of course something trivial which just popped up and i couldn't resist because it would put me over 2000) <-- of _course_ this had to ironically end up as my most upvoted SO answer so far...
01:21:19 <shachaf> Which one?
01:22:40 <oerjan> the newtype Maybe a one
01:22:53 -!- augur has quit (Remote host closed the connection).
01:23:19 -!- augur has joined.
01:23:39 <shachaf> ugh, that one
01:24:13 <oerjan> is that the one you thought was so unclear i shouldn't have answered it?
01:24:48 <shachaf> i never said you shouldn't have answered it
01:25:07 <oerjan> good, good *puts swatter back down*
01:25:23 <shachaf> can you get a balloon to swat me with?
01:25:59 <oerjan> no.
01:27:33 -!- augur has quit (Ping timeout: 240 seconds).
01:41:59 -!- Gregor has joined.
01:42:54 <oerjan> there's a Gregor in the house. i believe he has a message.
02:33:23 <newsham> blah, think soon i'll have to update my ubuntu LTS
02:34:04 <oerjan> i didn't know mormon were linux based
02:34:07 <oerjan> oops
02:34:22 <oerjan> puns are so bad when you misread a letter
02:34:30 <oerjan> also leave one out
02:34:55 <newsham> latter tahg saints?
02:37:00 <oerjan> i didn't know minecraft had saints either
02:39:30 <elliott> where did minecraft come from?
02:40:23 <oerjan> just google tahg hth
02:40:47 <quintopia> minecraft came from hell
02:43:56 <newsham> https://www.youtube.com/watch?v=ws70oI3yMBc
02:54:30 -!- augur has joined.
02:55:17 -!- augur has quit (Read error: Connection reset by peer).
02:55:35 -!- augur has joined.
03:19:47 -!- Sprocklem has joined.
03:40:00 <Sgeo> So, DotA vs League of Legends is reminding me a bit of NetHack vs some other roguelikes (Crawl and Brogue), in that the former supposedly tends to require more knowledge not immediately present in the UI for effective play
03:41:05 <Bike> so you're saying in dota you can determine the nature of a ring by dropping it down a sink.
03:41:35 <shachaf> Bike: is that a primitive form of caller id
03:41:45 <Bike> if that's a pun i'm not getting it
03:42:08 <Bike> anyway, anyone here play dorfs? i am, swear to god, having trouble understanding how to navigate the help menu
03:42:15 <shachaf> "nature of a ring" [heh heh heh]
03:44:43 <quintopia> Bike: sounds Fun
03:59:36 -!- Sprocklem has quit (Quit: Night).
04:15:14 <Sgeo> Bike: I like reading about dorfs
04:20:49 -!- shikhin has joined.
05:03:58 -!- not^v has joined.
05:05:35 -!- not^v has quit (Client Quit).
05:11:31 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
05:26:33 -!- oerjan has quit (Quit: Might).
05:59:55 -!- skarn has quit (Quit: ZNC - http://znc.in).
06:11:12 -!- MindlessDrone has joined.
06:45:17 -!- aloril has quit (Ping timeout: 245 seconds).
06:47:32 -!- aloril has joined.
07:00:17 <Sgeo> It's not possible to have a NUL-terminated UTF-32 string, is it?
07:00:44 <Sgeo> Well, I guess codepoint 0 could terminate. Just NULL-terminated wouldn't work
07:24:16 <fizzie> You could terminate a big-endian UTF-32 string with a single byte, if you liked.
07:24:52 <fizzie> Not a 0, but e.g. ff, since the code points only go up to 0x0010ffff.
07:24:57 <fizzie> It'd be kind of hacky, though.
07:26:14 <b_jonas> Sgeo: yes, codepoint 0 as terminator would be natural
07:26:30 <b_jonas> but it's usually better to use an explicit length (or end pointer)
07:26:42 <b_jonas> it comes with fewer bugs and usually easier code these days
07:27:08 <Sgeo> Wha sort of data structures do word processors use? What about many years ago (e.g. what did Word 1.0 use)?
07:35:46 <fizzie> Ropes are not uncommon in editors, or so I've heard.
07:36:15 <fizzie> I have also gotten the vague impression that whatever's under the hood in LibreOffice is something quite paragraph-oriented.
07:53:34 <shachaf> fizzie: for a good time terminate it with a single byte and put that byte right at the end of a page
08:24:16 -!- Patashu has joined.
08:35:00 -!- shikhin has changed nick to sikhin.
08:36:02 -!- sikhin has changed nick to shikhin.
08:42:01 -!- mhi^ has joined.
08:42:22 -!- vifino has joined.
08:42:53 <fizzie> "Why do you have three bytes of padding at the start of your memory block?" "So that I could put the terminating byte right at the end of a page."
09:21:51 -!- vifino has quit (Quit: Ze Cat now leaves...).
09:52:23 -!- J_Arcane has quit (Quit: Nettalk6 - www.ntalk.de).
10:00:04 -!- shikhout has joined.
10:02:04 -!- TieSoul has quit (Remote host closed the connection).
10:03:03 -!- shikhin has quit (Ping timeout: 240 seconds).
10:03:04 -!- TieSoul has joined.
10:19:52 <TieSoul> hey
10:21:48 -!- TieSoul has quit (Excess Flood).
10:22:06 -!- TieSoul has joined.
10:23:59 -!- boily has joined.
10:25:28 -!- ion has quit (Ping timeout: 260 seconds).
10:32:58 <mroman> "Ropes"?
10:33:48 <mroman> ah
10:33:50 <mroman> trees
10:33:51 <mroman> alright
10:34:13 <boily> “"Ropes"?”?
10:42:17 <elliott> mroman: the string type?
10:45:41 -!- ZuuTorvalds has changed nick to ZuuJobs.
11:01:02 <mroman> yeah
11:01:06 <mroman> the tree type
11:01:10 <mroman> it's a tree
11:01:12 <mroman> for strings
11:01:14 <mroman> but it's still a tree
11:06:49 * impomatic_ is tempted to mine CthulhuCoins https://bitcointalk.org/index.php?topic=294383.0
11:08:21 <boily> `coins
11:08:28 <HackEgo> catcombcoin selfcoin peracoin alboxybeatnikcoin mcnecoin dislacoin negrcoin ctcoin musivecoin braincoin ztendidncoin perfectorcoin d1ffcoin poetercecoin beuvecoin inspooncoin befortlecoin kmancoin 1932coin ortecoin
11:08:37 <boily> ah, the command still exists!
11:09:26 -!- boily has quit (Quit: CYCLOPEAN CHICKEN).
11:15:03 -!- ion has joined.
11:23:28 -!- yorick has joined.
11:27:53 <mroman> `analog
11:27:54 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: analog: not found
11:27:57 <mroman> `analogy
11:28:01 <HackEgo> part is to thia as squef is to hamplique
11:28:05 <mroman> only took me about half an hour to get it working :D
11:36:50 -!- imp9 has joined.
11:57:23 -!- ZuuJobs has changed nick to Zuu.
12:08:46 -!- imp9 has quit (Quit: Leaving).
12:12:47 -!- Sgeo has quit (Read error: Connection reset by peer).
12:19:09 -!- imp9 has joined.
12:33:18 -!- mhi^ has quit (Quit: Lost terminal).
12:37:02 -!- Tritonio has joined.
12:39:32 -!- imp_9 has joined.
12:40:08 <Taneb> I would like some advice!
12:40:43 <Taneb> If a function doesn't pass the fairbairn threshold but the implementation is not obvious, what should I do
12:41:21 <Taneb> Hang on, I'm only using this function once
12:42:12 <Taneb> I guess that's pretty firmly on the "remove" side of things
12:42:33 -!- imp9 has quit (Ping timeout: 240 seconds).
12:44:57 -!- Frooxius has quit (Read error: Connection reset by peer).
12:47:53 -!- imp_9 has quit (Quit: Leaving).
12:48:00 -!- Frooxius has joined.
12:48:09 -!- imp9 has joined.
12:55:42 -!- imp9 has quit (Quit: Leaving).
12:57:49 -!- Patashu has quit (Ping timeout: 272 seconds).
13:09:18 -!- Tritonio has quit (Quit: Tritonio).
13:15:05 -!- Gregor has quit (Ping timeout: 245 seconds).
13:15:09 -!- KingOfKarlsruhe has quit (Ping timeout: 240 seconds).
13:15:10 -!- shikhout has quit (Ping timeout: 240 seconds).
13:15:10 -!- ^v has quit (Ping timeout: 240 seconds).
13:15:17 -!- ion has quit (Ping timeout: 245 seconds).
13:15:18 -!- shikhin has joined.
13:15:18 -!- realzies has quit (Ping timeout: 245 seconds).
13:15:18 -!- atehwa has quit (Ping timeout: 245 seconds).
13:15:25 -!- atehwa has joined.
13:16:00 -!- ion has joined.
13:16:06 -!- KingOfKarlsruhe has joined.
13:16:26 -!- Gregor has joined.
13:16:32 -!- realzies has joined.
13:16:32 -!- realzies has quit (Changing host).
13:16:32 -!- realzies has joined.
13:16:35 -!- ^v has joined.
13:18:04 -!- HackEgo has quit (Write error: Broken pipe).
13:18:23 -!- HackEgo has joined.
13:22:00 -!- mhi^ has joined.
13:30:05 -!- trn has joined.
14:11:43 <HackEgo> [wiki] [[User:TieSoul]] M http://esolangs.org/w/index.php?diff=40229&oldid=40163 * TieSoul * (+358) List of languages I've implemented
14:22:30 -!- `^_^v has joined.
14:25:20 -!- mhi^ has quit (Quit: Lost terminal).
14:25:51 -!- MindlessDrone has quit (Ping timeout: 256 seconds).
14:32:25 -!- Tritonio has joined.
14:35:31 <fizzie> Hello from the As-sembly.
14:39:16 <ion> Ass-embly
14:39:34 -!- MindlessDrone has joined.
14:40:17 <fizzie> Asse-mbly.
14:47:09 -!- J_Arcane has joined.
14:48:17 -!- oerjan has joined.
14:49:50 -!- klotztest has joined.
14:50:29 -!- klotztest has quit (Remote host closed the connection).
14:50:37 -!- perrier has joined.
14:51:30 -!- perrier has quit (Remote host closed the connection).
14:51:38 -!- perrier has joined.
15:01:40 <mroman> `analogy
15:01:44 <HackEgo> eight is to upgn as vam is to edney
15:01:57 <mroman> Who made that dictionary?
15:02:37 <oerjan> you did hth
15:03:05 <fizzie> The Hoover did `words.
15:03:21 <mroman> I meant words
15:03:22 <mroman> upgn?
15:03:48 <fizzie> That's statistical models for you.
15:04:03 <fizzie> I think it's trigrams.
15:04:46 <fizzie> 'pgn' sounds slightly unlikely, but sometimes the source dicts have abbrevs too.
15:05:41 <Melvar> `words --help
15:05:42 <HackEgo> Usage: words [-dhNo] [DATASETS...] [NUMBER_OF_WORDS] \ \ options: \ -l, --list list valid datasets \ -d, --debug debugging output \ -N, --dont-normalize don't normalize frequencies when combining \ multiple Markov models; this has the effect \ of making larger dataset
15:06:01 <oerjan> from google, "fairbairn threshold" seems like a haskell/agda community thing
15:06:27 <Melvar> `words -l
15:06:29 <HackEgo> valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M
15:06:36 <oerjan> um that was in response to Taneb in the logs
15:08:12 <Taneb> oerjan, it's "if a name of a function is about as long as its definition, ask yourself is it really worth having a name?" roughly
15:08:21 <Taneb> Ask edwardk
15:08:32 <oerjan> i did get the gist of the definition
15:08:42 <oerjan> it just didn't seem like a very widespread term
15:08:43 <edwardk> ?
15:08:55 <edwardk> oh fairbairn
15:08:59 <Taneb> edwardk, where does the Fairbain threshold come from?
15:09:03 <Taneb> Who was Fairbairn?
15:09:09 <edwardk> it was an early discussion on the libraries mailing list
15:09:16 <edwardk> about naming a simple composition
15:09:29 <edwardk> and he pointed out that it was better to have smaller combinators that folks could put together
15:09:35 <edwardk> than to name all the pairs of combinators
15:09:40 <oerjan> so then, does "fairbairn threshold" cross the fairbairn threshold?
15:09:51 <edwardk> because the latter is a less compositional vocabulary and it drives users to look up the solution in the dictionary
15:10:00 <edwardk> causing you to grow the dictionary further
15:10:38 <edwardk> on the other hand if you have simple compositional higher order functions then you get units of highly reusable functionality and don't cram the namespace full of trivial compositions
15:11:10 <edwardk> anywyas jon fairbairn has been around in the haskell community a long time, maybe 15 years or so, but he's kinda idle these days
15:11:38 <Taneb> Right
15:11:44 <oerjan> so he's responsible for killing equating, basically.
15:11:50 <edwardk> i use his threshold as a sort of litmus test to prevent core library explosion
15:12:05 <edwardk> well, i rather think of it as he's responsible for driving the creation of on
15:12:14 <oerjan> ah
15:12:21 <Taneb> I may have been misusing the threshold slightly
15:12:31 <edwardk> i'm personally okay with the addition of equating if only because it crosses another threshold
15:12:43 <edwardk> the point at which telling people no is taking more time than just adding the fucking thing
15:12:56 <edwardk> i've been calling that the co-"Fairbairn" threshold ;)
15:13:17 <edwardk> if the whole point of the former was to save people time, then there is a point at which we're in net productivity loss the other way too ;)
15:13:41 <oerjan> heh
15:14:09 <edwardk> i tend to re-evaluate my stance on something when it gets reinvented over and over every few months by different people
15:14:26 <edwardk> because obviously there is something there -- a need we arent satisfying
15:14:37 <edwardk> we're not at a local optimum, something wants to pull us along a gradient
15:15:57 <Melvar> Where did “co-” come from in the first place?
15:16:16 <elliott> lens does not obey the afirbairn threshold :)
15:16:25 <elliott> also, I can't type.
15:16:33 <oerjan> i was going to mention lens
15:16:55 <elliott> to be fair, it does mostly obey it, it's just that it has to macro-expand the definition of the compositional language that is its operators.
15:17:02 <edwardk> lens is all about building a compositional vocabulary -- it just chose a bigger grain size
15:17:20 <edwardk> and morphology has structure to it
15:17:24 <Taneb> elliott, most of the operators are my fault
15:17:28 <edwardk> in a way that most of these one off things don't
15:17:41 <edwardk> yeah i blame taneb for everything
15:17:44 <edwardk> i'm totally innocent
15:17:46 <Taneb> Because I wanted <<+~ for a thing and I got slightly carried away
15:17:54 <elliott> is morphology what we're calling optics now?
15:17:55 <oerjan> well the other libraries have some of that too, like _ M A
15:18:31 <edwardk> elliott: nah, just meaning the structure inside the name of a thing. the fact that our naming conventions agglutinate like prefixes and suffixes, etc.
15:18:36 <edwardk> :t preview
15:18:37 <elliott> oh.
15:18:38 <lambdabot> MonadReader s m => Getting (First a) s a -> m (Maybe a)
15:18:40 <edwardk> :t view . pre
15:18:42 <lambdabot> MonadReader s m => Getting (First a) s a -> m (Maybe a)
15:18:44 <elliott> see, morphology kinda works as a name for optics.
15:18:50 <elliott> sorta.
15:19:16 <edwardk> i've been spending a lot of time with lenses in a more general categorical setting
15:19:29 <edwardk> isos on natural transformations are pretty awesome
15:19:39 <edwardk> emember all the quantified lens stuff we couldn't say?
15:19:47 <edwardk> bam, easy.
15:19:51 <elliott> what kinda stuff?
15:20:10 <edwardk> take plated, now go write something that walks a syntax tree and takes statements to statements, expressions to expressions
15:20:22 <edwardk> or which preserves types
15:20:33 <elliott> let's not and say I did :)
15:25:11 -!- TieSoul_ has joined.
15:28:21 -!- TieSoul has quit (Ping timeout: 255 seconds).
15:39:34 -!- Tritonio has quit (Ping timeout: 250 seconds).
15:51:13 -!- TieSoul has joined.
15:54:35 -!- TieSoul_ has quit (Ping timeout: 264 seconds).
16:00:38 -!- shikhout has joined.
16:03:11 -!- oerjan has quit (Quit: leaving).
16:04:01 -!- shikhin has quit (Ping timeout: 272 seconds).
16:14:49 -!- mhi^ has joined.
16:18:58 <mroman> wait. so words doesn't use a dictionary?
16:19:09 <mroman> `words --eng-1m
16:19:11 <HackEgo> spithwachardli
16:20:29 <quintopia> it would make sense to use a language model kind of how fungot does right?
16:20:30 <fungot> quintopia: that's nice. you mean to simply pass the arguments to the call to call/ cc isn't a time machine module that returns the list?
16:21:40 <mroman> It'd be much easier for german
16:21:45 <mroman> just give a base dictionary
16:21:56 <mroman> and then mix words together to construct compound words
16:22:02 <fizzie> It does exactly what fungot does.
16:22:02 <fungot> fizzie: that's what i used
16:22:16 <fizzie> Except in characters and not words.
16:22:22 <mroman> Flaschenhundsammelbeckenreinigungsfachmann
16:22:40 <fizzie> Also some minor other differences.
16:23:24 <mroman> bottle dog collector tub cleaning specialist
16:32:41 -!- edwardk has quit (Quit: Computer has gone to sleep.).
16:46:02 <TieSoul> Hey guys
16:47:29 <TieSoul> Dutch also does that. Autobandenwieldopjesverzamelaarsbeurskaartjes is car tyre valve collectors' exchange tickets.
16:53:24 <fizzie> Finnish, unsurprisingly.
16:53:56 <fizzie> Though also with inflection, up to some degree.
17:19:35 -!- mihow has quit (Quit: mihow).
17:27:06 -!- TodPunk has quit (Ping timeout: 260 seconds).
17:29:33 <Taneb> `words
17:29:35 <HackEgo> pritonio
17:29:41 <Taneb> `words 10
17:29:42 <HackEgo> usur atlan pxcelief oling eductor prainer moniah cochoppa villa poul
17:30:04 <mroman> `cat words
17:30:04 <HackEgo> cat: words: No such file or directory
17:30:07 <mroman> `cat bin/words
17:30:08 <HackEgo> ​#!/usr/bin/perl \ use strict; use warnings; \ use v5.10; \ use open qw( :encoding(UTF-8) :std); \ use File::Basename 'dirname'; \ use Storable 'retrieve'; \ use List::Util qw(sum min); \ use Getopt::Long qw(:config gnu_getopt); \ BEGIN { \ eval { \ require Math::Random::MT::Perl; Math::Random::MT::Perl->import('rand'); \ }; \ #wa
17:30:16 <Taneb> `paste bin/words
17:30:17 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/words
17:30:23 <mroman> does it have python?
17:30:31 <mroman> also
17:30:33 <Taneb> `python --version
17:30:34 <HackEgo> Python 2.7.3
17:30:37 <mroman> how can you add such large files?
17:30:44 <Taneb> `help
17:30:44 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
17:30:56 <mroman> ah
17:30:58 <mroman> ok
17:31:00 <mroman> hm
17:32:46 <fizzie> The `fetch has been occasionally broken.
17:33:23 <fizzie> Don't know about current state.
17:34:50 -!- perrier has quit (Remote host closed the connection).
17:35:33 -!- perrier has joined.
17:35:47 -!- perrier has quit (Remote host closed the connection).
17:36:29 -!- perrier has joined.
17:36:48 <Melvar> `words --german
17:36:50 <HackEgo> yorken
17:36:55 <Melvar> `words --german 10
17:36:56 <HackEgo> ausgesches quotenbetrieb großes vivo ungspolitätisch tantermorperan rechnungsplani öylen ficingabe frei
17:37:37 -!- perrier has quit (Remote host closed the connection).
17:38:07 <Melvar> `words --german 10
17:38:08 <HackEgo> hanienspekt extaufklärung vötigesundspitz hangendestielte reierudenkorreprac capitzers portelleticschwulfarbeschutz schenkvorrieder unbedürfnisinummis dnl
17:38:19 -!- perrier has joined.
17:38:41 -!- KingOfKarlsruhe has quit (Read error: Connection reset by peer).
17:39:09 <fizzie> `run words --german --finnish 10 # one of its best features
17:39:11 <HackEgo> antabunktiv reuzstr geburyholh rach hefessalle sämmänä geograahekser sachtetesi terik ethalustel
17:40:48 -!- mhi^ has quit (Quit: Lost terminal).
17:43:17 -!- mihow has joined.
17:43:21 <Melvar> `words --german-medical 10
17:43:22 <HackEgo> bewegungen adrezifisch glycetamin hyperidenomenfall pioidtumphase resierteropium expresensitiere anspuffiziös hyperationen explageburs
17:43:56 <Melvar> Neat.
17:47:06 -!- shikhout has changed nick to shikhin.
17:47:20 <Melvar> `ls share/WordData
17:47:21 <HackEgo> Brazilian \ Bulgarian \ CanadianEnglishInsane \ Catalan \ Eng1M \ EngAll \ EngFiction \ EngGb \ EngUs \ Esolangs \ Finnish \ French \ Gaelic \ German \ GermanMedical \ Hebrew \ Irish \ Italian \ Manx \ Norwegian \ Ogerman \ Polish \ Portuguese \ Russian \ Spanish \ Swedish
17:50:34 <mroman> you can't just chain german nouns though
17:50:46 <mroman> there's the -s- that sometimes must be squished in
17:50:49 <mroman> and case
17:50:56 <mroman> although the -s- is regional
17:54:02 <Melvar> Also -n-.
17:57:27 -!- Sprocklem has joined.
17:58:43 <Melvar> https://en.wikipedia.org/wiki/Rinderkennzeichnungs-_und_Rindfleischetikettierungs%C3%BCberwachungsaufgaben%C3%BCbertragungsgesetz
17:58:45 -!- KingOfKarlsruhe has joined.
18:06:46 <mroman> where's the -n-?
18:07:02 <mroman> ah
18:07:07 <mroman> aufgaben
18:07:46 <mroman> I guess these are actually just case endings
18:07:47 <Melvar> Well, that’s strictly a plural -n.
18:07:50 <mroman> -s is genitive
18:07:54 <mroman> and -n is plural
18:08:05 <mroman> Verrechnung-s-steuer
18:08:22 <Melvar> In “Sonnenstrahl” however, the -n is historical genitive IIRC.
18:08:24 <mroman> it's the steuer of the verrechnung
18:08:41 <mroman> "Verrechnungs Steuer" really means the Steuer of the Verrechnung
18:09:22 <Melvar> No, “Verrechnung” is its own genitive form, nowadays anyway.
18:09:33 <mroman> Really?
18:09:58 <mroman> Des Verrechnung Steuer sounds weird
18:10:32 <Melvar> “der Verrechnung” – -ung nouns are feminine.
18:10:54 <mroman> Oh. yeah
18:11:24 <mroman> genitive for feminine nouns sounds weird
18:11:26 <mroman> i.e.
18:11:28 <mroman> Des Mannes Koffer
18:11:33 <mroman> Der Frau Koffer <- ??
18:11:47 <quintopia> help i'm trying to find the original source of the comic graph of "physics knowledge vs. how much sense the universe makes". i'm pretty sure it's SMBC, or if not that, then xkcd, but I can't find it
18:11:54 <Melvar> Using the genitive that way is rare in the first place.
18:12:04 <Melvar> Except for names.
18:12:42 <mroman> I was born without a genitive :)
18:12:59 <mroman> (swiss dialects generally lack genitive)
18:13:27 <mroman> Der Koffer der Frau is a perfect sentence though
18:13:33 <Melvar> They use the dative instead, no?
18:13:46 <mroman> in swiss german you'd say "Der Koffer von der Frau"
18:14:49 <mroman> Which means you cant answer to question like "Welches Auto" with just "Papas"
18:15:00 <mroman> you have to say "dem Papa seines"
18:15:23 <Melvar> Yeah. Dative.
18:15:38 <mroman> or "em papi siis" to put it into real swiss german ;)
18:16:18 <mroman> german is lacking a neutral "unbestimmter Artikel" though
18:16:28 <mroman> ein/eine is all you guys have ;)
18:16:37 <mroman> (officially)
18:17:13 <mroman> and I've heard your definition of "obwohl" is broken, too.
18:17:22 <Melvar> “indefinite article” is the English term.
18:17:51 <Melvar> And what besides ein/eine/ein would we have? And what would you say “obwohl” means?
18:17:58 <mroman> "Obwohl ich zur Bank ging, war sie geschlossen."
18:18:04 <Melvar> Never.
18:18:25 <mroman> somebody said, this wouldn't imply that the speaker expects the bank to open just for him
18:18:37 <Melvar> That’s what it sounds like to me.
18:19:15 <mroman> to me it's sounds like the speaker expects the bank to open for him
18:19:17 <mroman> and
18:19:20 <Melvar> Yes.
18:19:24 <mroman> "Ich ging zur Bank, obwohl sie geschlossen war"
18:19:30 <mroman> is - to him - the same thing
18:19:42 <Melvar> wat
18:19:44 <mroman> to me it implies that you knew that it was closed
18:19:48 <mroman> but you chose to go anyway
18:20:01 <Melvar> Yeah.
18:22:01 <Melvar> So, I don’t know about your informant, but I would consider the first example to imply that the speaker expects the bank to be open just because he went there.
18:36:01 -!- imp9 has joined.
18:44:10 <mroman> that's what I told him :)
18:51:36 -!- MoALTz has joined.
18:57:07 <Vorpal> So... My phone randomly rebooted and then went into a boot loop (in the boot loader, didn't even get to the kernel logo). Had to remove the battery and put it back in to fix that. How strange
18:57:41 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:02:35 -!- edwardk has joined.
19:03:46 -!- Sprocklem has quit (Quit: g2g).
19:04:35 <int-e> It seems more likely that the speaker has trouble with the subtleties of the German language.
19:05:54 <int-e> (This was my first reaction, "this sounds off, what is the intended meaning likely to be?")
19:37:42 -!- TodPunk has joined.
19:38:02 <TieSoul> you know what, I'm going to make a stack-based arbitrary-dimension language, because there seems to be a lack of that (with the exception of BeQunge)
19:38:19 <TieSoul> And I just really enjoy multi-dimensional languages
19:44:11 <quintopia> there's an encoding problem
19:44:26 <TieSoul> ?
19:45:19 <quintopia> it's easy enough to do computation in many dimensions
19:45:29 <TieSoul> notation
19:45:30 <TieSoul> yes
19:45:49 <TieSoul> that will be done by putting the 2,3,4,5...-dimensional coordinates before the line
19:45:53 <TieSoul> like Dimensifuck
19:49:28 <fizzie> In the time-honored Assembly tradition, nothing is working right here.
19:51:08 -!- mihow has quit (Quit: mihow).
19:51:50 <TieSoul> http://bpaste.net/show/tcsF1mXcInau1cr5ftKZ/ < what I'm planning for the language. Feedback?
19:55:17 <TieSoul> oh, I forgot, new lines are denoted by ascii character 10
19:55:21 -!- mihow has joined.
20:00:46 <coppro> I don't understand
20:03:57 <TieSoul> What don't you understand?
20:06:29 <coppro> how it works
20:07:02 <int-e> maybe it doesn't
20:07:11 <int-e> whatever "it" is.
20:09:38 <TieSoul> do you mean the dimension thing?
20:09:44 <fizzie> `coins
20:09:45 <HackEgo> wabetcoin jrowncoin aracketlancoin feracoin brbcoin smdcoin bubcoin bfjousiccoin devebantumbraidicoin producoin cicsends.jscoin gorycoin kayarcoin mkbcoin indecoin sumercoin grotorcoin minuongshawcoin self-brokeryedumberckcoin bitcoin
20:10:20 <TieSoul> if you want a 3-dimensional program, and the first line is on 3D coordinate 1, you can do
20:10:27 <TieSoul> 0,1 (program)
20:11:08 <TieSoul> I mean
20:11:11 <TieSoul> 0,1 (line)
20:11:36 <TieSoul> then when you make another line, it will be on coords 1,1 if you don't specify anything
20:11:43 <int-e> you've described a syntax, but what are the semantics?
20:11:52 <TieSoul> http://bpaste.net/show/tcsF1mXcInau1cr5ftKZ/
20:11:58 <int-e> no
20:12:04 <int-e> that's what I've read
20:12:12 <TieSoul> then I clearly don't know what semantics means
20:12:42 <int-e> what happens when the program is executed?
20:13:10 <TieSoul> well, I haven't gotten that far yet
20:13:30 <TieSoul> but there'll an IP that moves along with a delta
20:13:58 <TieSoul> and there'll be instructions that the IP executes, and they can change the delta to any multi-dimensional vector
20:14:15 <TieSoul> that's about as far as I've got
20:14:16 <TieSoul> :P
20:15:05 <TieSoul> (as long as that multi-dimensional vector fits within the amount of dimensions of the program
20:15:08 <TieSoul> )
20:16:32 -!- TieSoul-mobile has joined.
20:16:56 <TieSoul-mobile> If you said anything after my last message I didn't see it :P
20:17:33 <int-e> TieSoul-mobile: you could check the logs, but nothing was said in the meantime
20:17:48 <TieSoul-mobile> Alright
20:19:54 <quintopia> i don't really see the benefit of all those dimensions
20:20:37 <TieSoul-mobile> I don't really see the benefit of brainfuck
20:20:39 <quintopia> we can avoid intersection of code lines with only 3 dimensions
20:20:53 <quintopia> TieSoul-mobile: to create the smallest compiler possible
20:21:20 <TieSoul-mobile> It's an experiment and a programming exercise for me.
20:22:39 <quintopia> ok i'll give you five bfjousicoin if you succeed
20:23:03 <TieSoul-mobile> How much dogecoin is that worth?
20:23:57 <quintopia> ~0
20:24:01 <TieSoul-mobile> Ah
20:24:03 <TieSoul-mobile> Nice
20:24:27 <quintopia> `coins
20:24:29 <HackEgo> razycoin malcoin belcoin colliiecoin ted!coin pointercacoin bestfrocercoin cloorthcoin l00coin phoniccoin .yacuaticoin spilecoin udacoin disilacoin uncitocoin dracoin capuicoin moustcoin oischemcoin audinava2coin
20:24:46 <quintopia> would you prefer some ted!coin?
20:24:59 <int-e> `` printf "%u" $((~0))
20:25:00 <HackEgo> 18446744073709551615
20:25:20 <TieSoul-mobile> Lol
20:25:35 <int-e> `` printf "%d" $((~0)) # alas...
20:25:35 <HackEgo> ​-1
20:25:58 <TieSoul-mobile> I'd rather have some colliiecoin.
20:26:30 <int-e> I suggested "coercoin" a while ago but nobody reacted.
20:33:07 <myname> inrecommend unciteocoin for wikipedia sponsoring
20:39:59 -!- imp9 has quit (Quit: Leaving).
20:48:34 -!- TieSoul-mobile has quit (Read error: Connection reset by peer).
20:58:17 -!- TieSoul-mobile has joined.
21:00:32 -!- Patashu has joined.
21:23:29 -!- Patashu has quit (Ping timeout: 256 seconds).
21:35:37 <FreeFull> It would be fun if the coin thing was fed by markov chains and logs from here
21:36:51 <int-e> fungot: give us a coin, please
21:36:51 <fungot> int-e: it's a lot of pictures of fnord and strcat. so what is a ' cell tracker' for 9110, btw.
21:36:59 <int-e> argl.
21:37:10 <int-e> not the f-word! please! have mercy!
21:52:17 <shachaf> is the f-word fungot
21:52:17 <fungot> shachaf: something stinks here. the lady replied... " but i had noticable slow down when conducting sisc upgrade test
21:56:31 -!- ais523_ has joined.
21:57:17 <ais523_> finally, I have success in the "get Windows to work again" direction
21:57:43 <ais523_> I'm not sure if I'm going to go beyond this and actually attempt to install Visual Studio
21:57:44 <ais523_> but I might
21:58:01 -!- ais523 has joined.
22:00:34 -!- shikhout has joined.
22:01:38 <ais523_> it was quite the adventure, I might write a blog post about it
22:02:05 <coppro> hah
22:03:30 -!- shikhin has quit (Read error: Connection reset by peer).
22:04:23 -!- oerjan has joined.
22:17:52 <oerjan> <quintopia> help i'm trying to find the original source of the comic graph of "physics knowledge vs. how much sense the universe makes". i'm pretty sure it's SMBC, or if not that, then xkcd, but I can't find it <-- well googling your term doesn't give me any _copy_ of the graph either.
22:18:10 <oerjan> which makes it a little hard to get started.
22:19:53 -!- Sgeo has joined.
22:20:15 <ais523_> there were numerous problems
22:20:26 <ais523_> and I only just resolved the last one (I was having the same problem as the last comment here: http://social.technet.microsoft.com/Forums/windowsserver/en-US/6119d4c0-c3c0-40bf-9c3e-46b46915e738/service-not-start-access-denied-software-protection-event-logs?forum=winservergen)
22:21:15 <ais523_> Herman Bonnie, I don't know who you are, but thanks for the advice, and thanks for letting me know about procmon
22:21:34 <ais523_> for several hours, I was thinking "if only I had a Windows version of strace, this would be easy to fix"
22:21:55 <ais523_> and procmon has a subset of strace's abilities, but fortunately, all the functionality I needed was in that subset
22:22:34 -!- ais523 has quit (Ping timeout: 250 seconds).
22:25:12 -!- mihow has quit (Quit: mihow).
22:26:59 <quintopia> oerjan: i can find a link to a copy hold on
22:27:39 <quintopia> (however, note that this will not contain any references to the original source, so it will still be hard to get started)
22:28:21 <oerjan> kay
22:30:01 <oerjan> although with some luck maybe it'll jog my memory
22:31:32 <quintopia> http://www.quora.com/Religion/How-does-one-believe-in-so-called-God-when-Science-proves-everything
22:33:03 -!- ais523 has joined.
22:33:07 <oerjan> why are you linking to that, also i can only read the first answer
22:34:11 <quintopia> well that's where the image is
22:34:15 <quintopia> here's a direct link
22:34:17 <quintopia> http://qph.is.quoracdn.net/main-qimg-dec081428190913d063e3ef0a62eb191?convert_to_webp=true
22:35:40 <oerjan> well that allowed me to google the first phrase properly
22:36:19 <oerjan> giving this, which credits zach weiner (of smbc) https://twitter.com/sndrclsn/status/486748250071126016
22:36:45 <quintopia> yes i was pretty sure that's where i saw it thanks
22:37:54 <oerjan> the reddit link points me on to the right comic http://www.smbc-comics.com/?id=2376 (red button)
22:39:06 <quintopia> i figured it was a votey too
22:39:08 <quintopia> ty
22:41:06 <oerjan> yw
22:43:09 <quintopia> damn smbc site doesn't say what license these are published on the main front page :(
22:43:26 <quintopia> it just says copyright
22:43:32 <quintopia> so i guess there is no license
22:46:39 <oerjan> in a shocking development, dmm's latest comic, planet of hats, isn't open licensed either
22:46:47 <oerjan> afaict
22:47:23 <oerjan> hm i guess darths & droids isn't either
22:47:41 <oerjan> but all the others that i remember
22:47:58 <oerjan> THEY'VE CORRUPTED HIM
23:03:40 -!- MoALTz_ has joined.
23:06:22 -!- MoALTz has quit (Ping timeout: 260 seconds).
23:10:50 <quintopia> the web keeps breaking here
23:10:55 <quintopia> internet works, web breaks
23:10:58 <quintopia> i don't get it
23:12:18 -!- ais523 has quit (Ping timeout: 250 seconds).
23:13:00 <ais523_> is some sort of proxy involved?
23:13:07 <ais523_> compare http and https, see if one is more reliable than the other
23:13:13 <ais523_> (either way round would be interesting)
23:14:29 <quintopia> i don't know of a proxy
23:21:25 <oerjan> there are approximately none
23:21:48 <ais523_> quintopia: the "compare http and https" was meant as an attempt to detect one
23:22:15 <ais523_> you might also want to try looking at https certificates to see if they're being replaced
23:24:45 -!- edwardk has quit (Ping timeout: 256 seconds).
23:25:47 <oerjan> it's funny how my favorite puzzles from simon tatham's have changed after i got a new laptop - solely because the new touchpad is more awkward for frequent precision clicks
23:27:02 <oerjan> i used to do lightup for a _long_ time, but now i get annoyed after a couple tries.
23:27:39 <oerjan> some of the awkwardness might be because i'm now actually keeping it in my lap.
23:27:58 <oerjan> but not all of it.
23:28:36 <oerjan> so i've sort of changed to doing more of the puzzle that have good keyboard shortcuts.
23:28:40 <oerjan> *+s
23:43:28 -!- edwardk has joined.
23:43:34 <HackEgo> [wiki] [[RAGE]] N http://esolangs.org/w/index.php?oldid=40230 * 173.240.241.83 * (+21) Redirected page to [[RAGE!!!]]
23:54:47 -!- ais523 has joined.
←2014-07-30 2014-07-31 2014-08-01→ ↑2014 ↑all