ausimian

8 ms·

1.
by ausimian 5y ago
Live in Sydney and have had the cockatoos in our bins a few times in the past six months. They’re pretty brazen too, caught them at it a while ago and they carried on like I wasn’t there. Started leaving a brick on the lid which seems to wo
2.
VMware now supports Hyper-V mode(blogs.vmware.com)
27 points by ausimian 6y ago|5 comments
3.
Rust/WinRT Coming Soon(kennykerr.ca)
2 points by ausimian 7y ago|0 comments
4.
by ausimian 7y ago
I think that's fair. It's been described elsewhere as 'exhaustively testable pseudocode'.
5.
by ausimian 7y ago
I used it for the first time in firmware design at MSFT a few years ago, and I've used it since in the areas of protocol design. I don't use it frequently but it's a tool I'm glad I took the time to learn, and have to ha
6.
by ausimian 7y ago
Nicely put. In my nearly three decades of software development, the most successful of my various colleagues have been the ones motivated by understanding the problem and its wider context, rather than the tech/process/language _d
7.
Racket-on-Chez Status(blog.racket-lang.org)
137 points by ausimian 7y ago|50 comments
8.
by ausimian 7y ago
VCC[1] was a substantial piece of research from MSR aimed at supporting the verification of C (not C++) via a theorem prover. However, it appears in a study[2] of its application to parts of the Hyper-V code-base, there were some practical
9.
by ausimian 8y ago
I learnt and used TLA+ while working at msft, and I'm still using it today: - anytime I have some protocol or state machine whose behaviour isn't obvious, I write a TLA+ spec. - the process of writing it clarifies my understanding
10.
by ausimian 9y ago
I understand that someone at Microsoft Research once found a bug in the XB360's memory subsystem by model checking a TLA+ spec of it. The story goes that IBM initially refused to believe the bug report. A few weeks later they admitted
11.
by ausimian 9y ago
1. It took too long to start. 2. Navigating between specific pages of the app was slow. 3. It would sometimes get into a bad state if a podcast failed during streaming, requiring a restart of the app. 4. More generally, the audio stack seem
12.
by ausimian 9y ago
I was a long time user until yesterday. Due to working at MSFT, I had been on the 7/8 windows phone train for a few years with a few devices, latterly a 925. I'm not a power user, I don't use social media apps, just a few dai
13.
by ausimian 10y ago
I concur with both these statements, but would widen the former slightly to say that it helps you think (and then validate your thinking) about any non-trivial state-machine - it doesn't have to be concurrent or distributed. [Used to w
14.
by ausimian 10y ago
"...and wasted the rest" to quote the late George Best.
15.
Honour for software writer on Apollo moon mission(bbc.co.uk)
7 points by ausimian 10y ago|0 comments
16.
by ausimian 10y ago
Hololens already runs x86 natively. What did you have in mind?
17.
by ausimian 10y ago
I've used TLA+ professionally in a previous role and found it useful. I'd agree with the sentiments in the GG discussion: 1. A repl would be useful. 2. Better documentation for the individual tools, allowing other editors and tool
18.
Bhyve-bootable boot environments(callfortesting.org)
3 points by ausimian 10y ago|0 comments
19.
by ausimian 10y ago
Yep, exactly the same thing happened to my wife's iMac two weeks ago. Bought it in the US 4 years ago, private sale, reputable owner (senior MS exec if I remember, bought it for his wife, she didn't like it). Back in Sydney now so