Viewing profile — t-ob

I attended this talk, and it was one of the highlights of the conference for me. Mike is a great speaker and I found myself inspired to dive deeper into LLVM internals afterwards.

> I'm sure you can derive all sorts of weird metrics so that various weird identities are true On the rational numbers, at least, the p-adic metrics are more or less your whole lot…

Not an exhaustive list, but the best resource I've come across for a number of these topics is this course http://www.seas.upenn.edu/~cis194/spring13/lectures.html It's terse but c…

I really like GMB's approach to fitness (emphasis on movement and skill over reps and kilograms lifted) and have paid for a number of their programs. They know what they're talking…

Lumi | London, UK | iOS Developer (Swift) | ONSITE | https://lumi.news Salary: £40,000 - £65,000 depending on experience. Lumi is a personalised news reader. We learn your interest…

In 2009 during my Masters I was taking a course in elliptic curves and I was having a tough time getting to grips with them. I discovered Sage and was suddenly (after an eight-hour…

I took a History of Mathematics module as an undergrad and remember our lecturer telling us the main reason "New Math" never stuck was because parents were no longer able to help t…

I read quite a lot about Noether when I took a module in the history of mathematics as an undergraduate. Few mathematicians excel so greatly as to have an entire class of ring[0] n…

Modulo a prime ideal you're only guaranteed an integral domain. The residue ring is only a field when the ideal you're taking as a modulus is maximal. All maximal ideals are prime,…