Profile

Cover photo
Ashley Yakeley
44,704 views
AboutPostsPhotosVideos+1's

Stream

Ashley Yakeley

Shared publicly  - 
 
It would be useful for writing Makefiles if more unix commands had no-op options, i.e. "no error if already done". Of course I can ignore all errors in a Makefile line, but that's not what I want.

For example, "rm -f" and "mkdir -p" are good, but "rmdir -p" still returns an error if the directory is missing. But I really need no-op options for mount, umount, kpartx, losetup etc.
1
Ashley Yakeley's profile photoNoah Easterly's profile photoBenjamin Russell's profile photo
3 comments
 
It's easier to use "-" before the line to ignore errors in Makefiles, but I only want to ignore no-op errors.

I mean, I can fix it with clever scripting, but it's a pain.
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
So apparently various historians on reddit are comparing the Ukraine situation to the run-up to the First World War...
1
Alexey Romanov's profile photoGershom B's profile photo
2 comments
 
+Gershom B Unless speaking specifically of /r/AskHistorians, I'd agree.
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
I read +Terence Tao's approaches to formalising physical dimensional analysis, but none of them allow you to express such things as "ln (T/T_0) = ln T - ln T_0". Dare I say they even have trouble converting (vector) velocities to (scalar) speeds, since who's to say that a metre-per-second is positive rather than negative?

There's a much simpler approach. A unit system assigns positive real numbers to "kilogramme", "metre", "second" etc. Then a physical expression is dimensionless iff it has the same value for all unit systems. Likewise, a physical expression has some dimension if it is proportional to the corresponding product of units in the unit system. An equation or an inequality is true if it's true for all unit systems.

This allows one to write all kinds of crazy expressions, provided one cleans up after oneself. For example, one can add a length to a time, and then take the same length away again, to end up with a time.
2
Ashley Yakeley's profile photoCarlos Scheidegger's profile photoDan Piponi's profile photo
4 comments
 
Sure, it makes no difference.
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
Enjoyed listening to these today. Sussex Carol is my favourite.

No, I'm not a Christian, but I am from Cambridge.

Once in Royal David's City {Hymn} [King's - 2013, № 1]
1
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
wow
2
Add a comment...
 
"It was overcoming the appeal of category theory as a candidate for new foundation of mathematics that was for me personally most difficult." Vladimir Voevodsky talks about the motivations behind Univalent Foundations, and especially the need for computer verification of mathematics. #CategoryTheory

http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf
7
1
Patrick Wheeler's profile photoCarlos Scheidegger's profile photo
 
The ending paragraph before the acknowledgements is good as well.

"But I think that the sense of urgency that pushed me to hurry with the program remains. Sooner or later computer proof assistants will become the norm, but the longer this process takes the more misery associated with mistakes and with unnecessary self-verification the practitioners of the field will have to endure."
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
So why did people leave their bitcoins with Mt. Gox? Why didn't they keep them in their own accounts?
1
Ashley Yakeley's profile photoMarco Devillers's profile photoErik de Castro Lopo's profile photoAngyl Bender's profile photo
9 comments
 
Hmm. I guess running a business at a 20M loss happens.

It's either a) they overdrew on the credit of people who stashed their money there, b) they, someone inside, someone else stole the money, c) Bitcoin is broken.

Problem is that the difference between running a bank and running a Ponzi scheme just isn't that big. More a matter or perspective than anything else.
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
All I want to do in Proof General is change the background to white. You know, like a white piece of paper? But this involves learning about emacs' multi-layered inheritable "face" system and changing the appropriate setting through one of three different option management systems, if I can find it, by typing in the hex code directly (fortunately I know the one for white) then keeping my fingers crossed that the setting really will be persisted to the next time I open the program.

It wouldn't matter so much if their approach to UI design weren't stuck in 1978.
1
Ashley Yakeley's profile photoBenjamin Russell's profile photoDan Piponi's profile photo
10 comments
 
+Dan Piponi > I wasn't suggesting forcing people to prove my lemmas! :-)

Ah, I see.  In that case, however, your suggestion might not be too effective because, IIRC, back when I used to have a Facebook account (which I later deactivated to switch to Google+), there was a well-publicized controversy over automatic reporting of a user's information to another user's timeline, and many users (myself included) widely publicized information on how to deactivate this feature.  You may have difficulty in finding someone who was still on Facebook then who left it intact. ;-)
Add a comment...

Ashley Yakeley

Shared publicly  - 
 
I've accepted an offer from Amgen to work on a software research project making use of my more particular skills. I'll be in their Seattle office starting Jan 13th or 20th.
11
Benjamin Russell's profile photoDave Fayram's profile photo
2 comments
 
Congratulations, and good luck on the project.
Add a comment...
3
Erik de Castro Lopo's profile photoBenjamin Russell's profile photomathew's profile photoRobin Green's profile photo
5 comments
 
Feminists can often be the ones who confirm sociological biases and stereotypes ad nauseum.

If I was a well-educated woman I would/should be offended by the notion that feminine logic is inherently paraconsistent.

I agree somewhat with her though since I am developing a programming language for midgets. It's time for people to accept that little reasoning is as valuable as big reasoning.
Add a comment...
Story
Tagline
Bloody Brilliant.
Links
Contributor to
Ashley Yakeley's +1's are the things they like, agree with, or want to recommend.
Gunnerkrigg Court - Television Tropes & Idioms
tvtropes.org

A description of tropes appearing in Gunnerkrigg Court

Santorum
spreadingsantorum.com

Santorum 1. The frothy mix of lube and fecal matter that is sometimes the byproduct of anal sex. 2. Senator Rick Santorum

YouTube - The Three Ravens- A History of Britain
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi

YouTube - Karminsky Experience Inc. - The Hip Sheik
www.youtube.com

Create AccountSign In. Home. BrowseMoviesUpload. Hey there, this is not a commercial interruption. You're using an outdated browser, whi