JordiGH

subopt: ,,df upcase-initials-region

fsbot

upcase-initials-region is an interactive built-in function in

`casefiddle.c'.

(upcase-initials-region BEG END)

Upcase the initial of each word in the region.

Subsequent letters of each word are not changed.

In programs, give two arguments, the starting and ending

character positions to operate on.

`casefiddle.c'.

(upcase-initials-region BEG END)

Upcase the initial of each word in the region.

Subsequent letters of each word are not changed.

In programs, give two arguments, the starting and ending

character positions to operate on.

subopt

JordiGH: Thanks!

Fuco

JordiGH: but what's so weird about looking at someone's face and then asking them out? Isn't that how all dating works? You don't know a person before you spend time with them.

JordiGH: of course you can get set-up marriage and be happy with that... but ehm, I would call *that* a weird social thing...

JordiGH: of course you can get set-up marriage and be happy with that... but ehm, I would call *that* a weird social thing...

JordiGH

Fuco: I think successful dating is usually a bit more than "I like your face, let's take it from there."

Fuco

like what

cluck

monkjan heard that, JordiGH is done for. rip mi hermano

gattsu

Fuco: Facebook stalking

rromans

this is definitely the channel I go to for dating tips

Fuco

rromans: definitely

bremner`

M-x I-am-lonely

gattsu

M-x love-dr

dazed_and_amused

(load-library "tinder.el")

JordiGH

Let's listen to some Chiac hip hop instead, preceded by a Mayan introduction: https://www.youtube.com/watch?v=mCzwCtae0UY

nullie

nice choir

Sketch

Fuco: well, if you are most nerds you wait until you spend enough time with someone that you realize you like them, by which time you are already friendzoned, and end up forever alone

deego

how do you completely inhibit horizontal splits? I have this, but when the third window pops up, it still ends up being a horizontal split. (setq split-width-threshold 0)

cluck

"here are all my weird fetishes" "i'm ok with that, i'm too lazy to bother with that" "i can live with that. deal."

JordiGH

nullie: It also has conjugation lessons on "relaxer".

gattsu

cluck: sounds like a reasonable introduction

ryanprior

If I have a function which takes a while to run (say, a second) and I need its return value in both the (interactive) portion of a command for autocompletion, then again in the body of the command, how can I hoist the value out of the (interactive) scope to the function scope to reuse it later?

nullie

somehow "conjugation" reminds me about haskell

Fuco

Sketch: I don't think that counds as starting dating... apparently it means something else than I think. Language barrier hits us again

Sketch

Fuco: or perception barrier ;)

JordiGH

Sketch: I forget, you speak French, right?

monkjan

no, let's listen to an orchestra play zelda music: https://www.youtube.com/watch?v=Wg8d3TJzVl0

Fuco

perception what

nullie

let's develop language solely on theoretical math constrcts

and harness power of Unicode

or better, latex

and harness power of Unicode

or better, latex

monkjan

doo do doo do

bremner`

Let's make a PHP of math.

monkjan

cluck: what did I hear?

Fuco

well okay let's make fun of a serious issue!

I'm going to learn chinese instead, you insensitive clods...

I'm going to learn chinese instead, you insensitive clods...

bremner`

Fuco: good plan.

nullie

could mathematicians prove complex theorems using programming language?

Fuco

yes

JordiGH

nullie: That's Coq. but it's not used by mathematicians, but computer scientists.

bremner`

only a Coq would try that

,judges

,judges

fsbot

It was very close, but bremner` won by a nose.

JordiGH

Well, some mathematicians do use it, but most do not think in terms of Coq.

nullie

I've read about crisis in math field, when people tend to be specialists

and cannot understand problems from other areas of math

and cannot understand problems from other areas of math

thang1

Well to be fair, math is really fu*king large

ryanprior

I think that's inevitable as math gets much bigger and more diverse.

thang1

And in order to actually push the field further in ANY direction you need to specialize an incredible amount

bremner

nullie: that's true in CS too, which is much younger

thang1

It's not like you're using preexisting math to go somewhere new, you're finding out the new math which is way harder because there's no direct way to double check your work

ryanprior

Imagine people in ##math saying: I've read about crisis in computer field, when people tend to be specialists and cannot hack on codebases they haven't seen before.

ryouma`

s/they haven't seen before//

JordiGH

nullie: That "crisis" has been going on for at least 150 years or so.

Or longer.

I think Gauss was the last one who "knew" all known mathematics of his time.

Or longer.

I think Gauss was the last one who "knew" all known mathematics of his time.

Fuco

no, Von Neuman

bremner

rudybot: que es mas macho, Liebniz o Newton?

rudybot

bremner: Odin-: liebniz shot first?

JordiGH

Fuck no, 20th century mathematics was already way too big.

Fuco

fu*k yes

ryouma`

ryanprior: i often try to avoid interactive and do querying directly

Fuco

He made major contributions to a number of fields,[3] including mathematics (foundations of mathematics, functional analysis, ergodic theory, geometry, topology, and numerical analysis), physics (quantum mechanics, hydrodynamics, fluid dynamics and quantum statistical mechanics), economics (game theory), computing (Von Neumann architecture, linear programming, self-replicating machines, stochastic computing),

and statistics

that's pretty much all of math

and statistics

that's pretty much all of math

nzst

i sense a goal post is about to get pushed

bremner

but VN wasn't even scottish??

fsbot

Reply unclear, try again

ryanprior

ErdQs died in '96 and worked in, not all fields, but many fields of math.

JordiGH

Fuco: No homological algebra, and no k-theory (but ok, k-theory started the year he died).

wasamasa

JordiGH: lol, as if I'd want to sell you anything

ryouma`

can all of math be brought under the aegis of a single math subfield?

Fuco

ryouma`: of course, mathematical logic

wasamasa

JordiGH: no, just a document answering some FQAs, that's all

ryouma`

i mean, refactor, guys

nullie

superfiled

Fuco

which is just category theory in disguise

ryouma`

does measure theory cover a bunch of other fields?

Fuco

yes

ryouma`

rudybot: does all of cs come under the aegis of church-turing?

rudybot

ryouma`: There are some disturbing similarities(except for the violence)between Aegis Oil of On Deadly Ground and BP in the gulf and that movie was 16yrs ago.

JordiGH

Fuco: No apparent contribution to group theory?

Fuco: Not one measely result in Galois theory?

Fuco: Not one measely result in Galois theory?

Fuco

you didn't say "contributed a significant result", you said "knew"

knowing groups is pretytu fundamental in quantum mechanics...

knowing groups is pretytu fundamental in quantum mechanics...

JordiGH

Fuco: I'm pretty sure not even he would have been able to read every specialist paper coming out in the mid 20th century.

He didn't know all known mathematics, it's impossible. It's already way too big in the 20th century.

He didn't know all known mathematics, it's impossible. It's already way too big in the 20th century.

Fuco

whatever, this is pointless

JordiGH

There is a point: mathematics is *HUUUUUGE*

Number theory has over two millenia of history.

when were computers invented? 60 years ago?

150, if we're generous?

Number theory has over two millenia of history.

when were computers invented? 60 years ago?

150, if we're generous?

monkjan

i've mathed in my day