« first day (1467 days earlier)      last day (3482 days later) » 

11:00 PM
so you have max(x,y) >= 25, and x,y different you have max(x,y) > 25, and x + y = min(x,y) + max(x,y) = 50, or min(x,y) = 50 - max(x,y) < 25
 
how do these principles extend to existential and universal statements anyway?
 
so at least one of x,y < 25
 
@TemplateRex apparently he needs to apply classic logic instead of maths here
at least that's what the link above makes me think
 
@AlexM. Years ago they figured out that choosing the size of dictionary for a spell-checker is something of an art. Once upon a time, Wordstar and such had wars over who had the largest dictionary and every new version expanded it. That quickly became counterproductive though--beyond ~55,000 words or so, the false positive rate starts to climb rather quickly. With lots of obscure words in the dictionary, chances are that even if somebody does type them in correctly, they did so by accident.
 
11:03 PM
pic of one of my fave mathematicians
 
@corvid two positive real numbers, if they are both 25, would that be like ... 1 number used twice?
 
@TemplateRex I'd call @Mysticial
 
@TemplateRex who's that
Nevermind. Urls
 
@AlexM. Spellchecking dictionaries lack a lot of derived words
 
11:06 PM
@corvid ok, I've done the googling for you
if the sum of two positive real numbers is 50, then at least one of the numbers is less than 25
 
@chmod711telkitty that seems too easy
 
can be read as
the sum of two positive real numbers is 50 -> at least one of the numbers is less than 25
 
@AlexM. That said, the biggest problem is with words that are obscure but short. The second is with words that are longer by extremely similar to something much more common. Chances are that something like contrapositive or contraposition didn't happen by accident, so adding them would be reasonably safe.
 
you need to find the contrapositive of this
start from there
and try to get back to what's written above
 
@AlexM. i need contraceptives against words like that
 
11:07 PM
by... doing what I said above
wtf is up with contrapositive and shit
is this some sort of fancy pants proof by contradiction
 
@AlexM. That, however, is clearly false. 50 can be expressed as 25 + 25, and 25 clearly is not less than 25. s/less than/less than or equal to/
 
@JerryCoffin yeah we noted that
15 mins ago, by TemplateRex
@corvid they must also be distinct
 
@AlexM. Ah, missed that.
 
@corvid probably like this:
 
the book doesn't say they have to be distinct. That threw me off. But it says prove that it's true so..
 
11:10 PM
(V) a, b with a > 0, b > 0, a != b, a + b = 50 -> a < 25 v b < 25
(V) is the universal specifier thing (for any)
 
@AlexM. Can't both the numbers be 25?
 
makes much more sense written like that
 
@JerryCoffin should this not be more trivial?
like, say, if the browser uses UK english for spellchecking
can't it just use the online oxford dictionary as reference?
wait, that would be too slow
nvm
 
at least the most used words are covered
I use spellcheck to make sure I write proper words all the time
actually, and this is something bad, I feel the need to google for words whenever I'm writing something that's not spellchecked
to make sure they're correct
w/o spellcheck I end up doubting my English somewhat
 
11:15 PM
This one is rather educational http://giant.gfycat.com/FairThinKillerwhale.gif
I might show it to my kids
 
lol, maybe they'll ask you "Is that GTA V?"
 
> "the report would be lukewarm, obnoxious, and often written in sarcastic or patronizing style". read his Opinion 77: Take This Math Journal and Shove It, Ain't Submitting there No More
Hey that reminds me of lounge
> Logical Fellatio
 
@corvid it's a lot harder n to make complicated things simple than to make simple things complicated
 
welp I got work in the morning
I gotta start going home after work.
 
@chmod711telkitty Are you introducing entropy yet again
 
user1646075
11:19 PM
@sehe sorta looks like the car is going a tinge too fast. I think I'd feel like .... that could happen ... if I was seeing the trees going past that fast in a holiday park full of kiddies.
 
user1646075
do those cams record vehicle speed? If so, I'd better not get one.
 
it's pretty easy to make simple things complicated
 
user1646075
@corvid hence religion
 
@aclarke Yeah well, I think it's probably max reasonable, but the kid is clearly not paying any attention either
 
user1646075
@sehe definitely.
 
user1646075
11:21 PM
looks survivable though
 
I feel like a lot of problems in this book prove to be incorrect, or maybe I just suck at algebra
 
I don't understand how millions of people could get into war over a few ancient books (in regards to religion)
 
@corvid only if you place layers of complexity on top of them
 
@AlexM. It would be slow, and (worse) would have lots of false positives, because it would allow lots of words that are ancient and/or so obscure chances are extremely high that if you did type them it was an accident.
 
which is hard to say it's making the original things complex :P
 
user1646075
11:22 PM
also my opinion mostly because kids are stupid. adults - they get what they deserve. They've had enough time to learn common sense.
 
user1646075
 
if a scammer believes the story (s)he is telling, would that make the scammer holier?
 
user1646075
@chmod711telkitty because you're wrong and you'll go to hell if you don't validate my imaginary friend!
 
why would I want to be stuck in the heaven for eternalty with people like you? :p
 
user1646075
@chmod711telkitty it would make them more effective at the scam. It's probably the 1st rule of scamming
 
user1646075
11:24 PM
@chmod711telkitty because I am righteous and my moral judgement is impeccable, that's why.
 
@aclarke we are not talking about markerting here >_< ... maybe we are @_@
 
user1646075
@chmod711telkitty a scam is marketing - on a micro scale
 
I don't want to be stuck any where for eternity, heaven or not
 
user1646075
@chmod711telkitty good thing your soul will shut down as your organics seize up then.
 
I kinda wish I kept the book my ex computational logic prof wrote
I should go pirate it again
 
Ell
11:27 PM
I love food
 
food is good
eating when you're hungry and drinking when you're thirsty is the most satisfying shit you can do
 
user1646075
ooo nice quote: "Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it." Brian W. Kernighan
 
especially if you're really thirsty and hungry
 
user1646075
@AlexM. one of
 
I don't know
if I'm really thirsty and I finally drink water
I feel like I'm not going to die anymore
 
user1646075
11:29 PM
I can think of two activities using a bed that are also very satisfying. In any order
 
user1646075
@AlexM. that's always a good feeling
 
user1646075
but perhaps you shouldn't let yourself get that dehydrated?
 
user1646075
pro top: drink several times a day, not several times a month
 
user1646075
Alex, are you looking the other way?
 
Does anybody per-chance, know the tiff format tag that gives the z dimension, all I could find was tags for height and width...
 
user1646075
11:31 PM
your piccy looks subtly different
 
@aclarke sure, death can be a poor deterrent though
 
user1646075
wtf? my gol-danged network...
 
@aclarke well, duh
 
user1646075
heh
 
say, I think that's the best thing about summer here
taking a walk for an hour or two in the heat then drinking something really cold
 
user1646075
11:32 PM
@AlexM. the girlies in their summer clothes? I'll say!
 
user1646075
oh, that
 
user1646075
where is 'here' for you? Romania is it?
 
yes
usually, in the middle of summer it gets so hot that some people end up dying for staying in the heat for too long
 
user1646075
ooo-err. Just looking at the climate story on wiki. Do any parts get snow?
 
unless you're old and/or sick though, you should be fine
all of Romania gets snow
hopefully it will start snowing in a month or so
 
user1646075
11:37 PM
ok - 'cos it said average winter temp is about 2C - so yeah...
 
almost December
 
user1646075
my kiddies want to see snow. I said, grow up get a job, get tickets to europe
 
> The average annual temperature is 11 °C (51.8 °F) in the south and middle-south and 8 °C (46.4 °F) in northeast. In Bucharest, the temperature ranges from average low −5 °C (23 °F) in January to average high 29 °C (84.2 °F) in July and August, with average temperatures of −3 °C (26.6 °F) in January and 23 °C (73.4 °F) in July and August.
not sure where you got the 2*C from
 
user1646075
hmmm - missed that bit tehn
 
winters have been variable lately... as most of the seasons actually
 
user1646075
11:39 PM
it's not on my wiki page ?? huh ??
 
there have been chaotic drops from 25+ C to 8+ C in summer this year, for days at a time
 
user1646075
web censorship!!!
 
and we've been having more rainy winters than snowy
 
user1646075
@AlexM. and people try to deny climate change
 
user1646075
yeah, the weather here is getting more mental too
 
11:40 PM
like, three days it would be -15C
and then for another two days it would go up to 3C
I hope this winter will be snowy and cold
 
user1646075
hmmm. our winters have been setting new record highs for several years now. each one more unbelievable than the last. Winter just passed, I didn't wear more than a t-shirt all through. I should at least require a jumper for a 'normal' sydney winter, with occasional jacket
 
it sure started ok, with low temperatures in November
 
user1646075
I struggle to imagine living in a place so cold you walk on snow ;-) wierd how people adapt to such vast differences
 
lol tshirt during winters
that doesn't sound good to me tbh
 
user1646075
heh
 
11:44 PM
I'm really looking forward to winter so I can wear my trenchcoat again
I was actually planning to buy a new one, with extra wool for extra warmth
 
user1646075
in aus, anyone wearing a trenchcoat is automatically arrested as a flasher, 'cos they can't possibly have anything on underneath
 
lol
 
user1646075
and spring is the season for the flowering of side-boob. So beautiful in the spring.
 
you'd probably like romania during summer
@aclarke btw, here are some Romanians who would rather switch places with you
 
user1646075
i think i might. I might like all of Europe in the summer. Technically I am a citizen of the EU too. I was imported to aus from england as a 4 year old, and I never bothered to do the paperwork...
 
user1646075
11:49 PM
@AlexM. THIS! freaks me out
 
user1646075
then again, could be fun if you don't, like, die
 
that's not even the worst part
the worst part is when that thing melts
and everything gets flooded
 
Ell
yah meltwater is an issue
 
floods due to melting snow are serious issues in areas with heavy snow
 
I'm writing the worst C++ code I've ever written right now
 
Ell
11:51 PM
come to the UK, the king of consistently unimpressive weather and climate!
 
stupid programming assignment required manual memory management
 
user1646075
ooo
 
user1646075
@Ell I dunno, your recent floods looked impressive
 
I'm probably leaking memory / referencing potential null pointers all over the place, but I can't even be bothered to fix it
 
Ell
@aclarke I guess flooding is an issue occasionally
and we've had the tail of hurricane gonzalo
 
user1646075
no one-boxing, for the nervous
 
user1646075
@nightcracker i have yet to write the worst C++ code I will ever write...
 
also how do you manage to survive in aus?
doesn't like, everything there try to kill you?
or is the internet wrong on this one?
 
I heard the dropbears are very dangerous
 
user1646075
@AlexM. no, not really. only if you annoy them. Only the brown snake and funnel web spider will actively challenge you if you look sideways at them.
 
user1646075
11:56 PM
also some big ants are very territorial.
 
do you have big spiders in your houses?
 
user1646075
@nightcracker especially during mating season
 
user1646075
@AlexM. yup - hang on...
 
the biggest spider I saw in Romania is much smaller than my smallest finger
 
user1646075
 
11:57 PM
due to their size I'm ok with them living in my home too
spiders get me rid of other insects
 
user1646075
although those ones are actually harmless. if you actually somehow managed to be bitten by it, you'd suffer puncture wounds but that's about all
 
.@feliciaday speaks out about how recent events have affected her & someone "shows her" by posting her address in the comments. DISGUSTING
 
user1646075
those things also like to hide in cars, then suddenly run across the windscreen when you're driving. They've probably kiilled a few people that way.
 
literally who?
 
@aclarke yeaaah
 

« first day (1467 days earlier)      last day (3482 days later) »