Profile

Cover photo
Malcolm Tredinnick
163 followers|60,597 views
AboutPostsPhotosVideos

Stream

Malcolm Tredinnick

Shared publicly  - 
1
1
Pat Kelly's profile photo
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
David Miller bought a Google Pixel machine and installed Debian on it. He's had some some success and shared the code changes required.
 
Ok I added a howto document to my chromebook pixel driver repo that anyone should be able to use to replicate my install.  Unlike what the Google guys have posted it shows you exactly how to get Linux installed natively onto the SSD.  And also, unlike what the Google guys have posted, it shows you how to get the touchpad and touchscreen fully working in that install.  To say that I am disappointed with how Google has facilitated this so far would be an understatement.  They owe me.

Here's a link to an external copy of that doc on the web.
1
Martin Pool's profile photoMalcolm Tredinnick's profile photo
2 comments
 
Oops. Good catch. Changed the text: Debian was the successful install.
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
John Regher has been doing interesting practical work detecting integer overflow and undefined behaviour usage in C. In this post, he takes his tool for a run over OCaml and then building Coq (as a way to test the OCaml build). Very much work in progress, but interesting to see.

http://blog.regehr.org/archives/903
I built a version of OCaml with some instrumentation for reporting errors in using the C language's integers. Then I used that OCaml to build the Coq proof assistant. Here's what happens when we start...
1
2
Chris Adams's profile photoErik de Castro Lopo's profile photo
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
Was reviewing a personal Haskell project I last worked on about a year ago and this showed up: I use unfoldr a lot more than most code I see around me. Rather than an outer func that sets up an inner recursive call, I tend to reach for unfoldr for the outer one. My brain just works that way: foldr/unfoldr come naturally.

Code is basically equivalent, but the shape of mine isn't the way others do it. I'm probably doing more packing of Just instances than I need to in the long run, too. Something I should think about.
3
Erik de Castro Lopo's profile photoMalcolm Tredinnick's profile photo
2 comments
 
I'm not sure anybody uses it much. There's a Jeremy Gibbons paper on "the under-appreciated unfold" which is fairly high-powered usage. But I mostly use it simplistically: given a seed value, generate new seed + next value in sequence, which could just as easily be done with recursive funcs.
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
 
Pretty good ansible talk. Covers all of the basics and some more advanced bits.
2
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
 
One is the loneliest number. I'm tired of being a party of one. I want community.

Earlier tonight, I found out I am the only individual female scientist on Google+'s suggested people and pages in Science & Nature (there are 10 people, and 30 pages listed). This is a huge honor, but it is also an honor that disturbs me. I've gone through too much of my life as the only girl in class, the only girl at the podium, the only woman on the panel, and sometimes even the only woman in the room. It is time for greater inclusion, and it is up to you to make the difference.

I have to admit, I'm not entirely sure how Google+ comes up with it's suggested users list. As a programmer, I can only presume it is some complicated algorithm that looks at who is talking about what, and who is included on what named lists, and is getting pluses, circles, and shares for using what sets of words. This is a nasty concept for an algorithm, but Google has the technology to process a clean list of quality content out of the chaos that is our beloved social community. (And heck, there may even be a human engaged in making the final decisions!) Whatever the details of how this has happened, it boils down to this: A lot of the amazing women in our community aren't getting acknowledged as individuals: they are only getting grouped in as +STEM Women on G+ 

You can change this! Find and recommend individual women in science. Shout their names, and share their content, and encourage others to follow you in a movement to force Google's algorithms to add more women to the recommended list.

Personally, I love the posts made by +Bug G. Membracid: They are often rich in amazing images and content on bugs that I didn't know I really didn't want to know, but strangely can't help but consume (Yes, that is a recommendation to follow her).  There is also +Carin Bondar, who has the most open and odd content stream (You're going to have to check her out yourself!) And don't forget +Joanne Manaster and her application of chemistry that includes the occasional application of chemistry concepts to her makeup applicator. And in the space community, we have our own +Nicole Gugliucci, a radio astronomer who works her PhD off getting you the latest news in space science.

Circle, plus, share, and learn. Find a woman scientist, or two, or twenty and help promote their content, and help Google's intelligent software learn just how intelligent, powerful, sensitive, and remarkable women in science can be.

#ScienceSUL #SUL #WomenonGPlus #STEMwomen #BeRemarkable  

(Edited to add hashtags)
1
Add a comment...
Have them in circles
163 people
Pio Ryan Lumongsod's profile photo
Paul Gestwicki's profile photo
Roger Barnes's profile photo
Kat Padilla's profile photo
Cliff Skolnick's profile photo
Abdullah Zainul Abidin's profile photo
Gregory Leblanc's profile photo
Ram Smith's profile photo
Bryan Weingarten's profile photo

Malcolm Tredinnick

Shared publicly  - 
 
Disappointed that my almost my entire dev team are too young to know this reference: http://en.wikipedia.org/wiki/Ming_the_Merciless

It's like none of them have seen the Flash Gordon movie. :-(
Ming the Merciless. Publication information. Publisher · King Features Syndicate · Created by · Alex Raymond. In-story information. Abilities, Genius-level intellect. Command of magic. Access to advan...
3
Malcolm Tredinnick's profile photoerrazudin ishak's profile photoDavid Rushton's profile photoNick Lang's profile photo
7 comments
 
I only know about Ming and Flash from the movie Ted. 
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
Unsure whether to be disappointed Apple are taking their users for another ride down the Come In Sucker slide, or impressed by the tiny computer:

http://www.panic.com/blog/2013/03/the-lightning-digital-av-adapter-surprise/
1
James Henstridge's profile photoMalcolm Tredinnick's profile photo
4 comments
 
This might be an explanation of why there are hardware restrictions here (it might also be completely made up): https://www.panic.com/blog/2013/03/the-lightning-digital-av-adapter-surprise/#comment-16841 . Technical limitations are fine; happen all the time. Deceptive claims about facilities (such as 1080p out with Lightning Adaptor) are not.
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
Well there's my earwig for the next few days.
2
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
Dear LazyWeb: any positive recommendations from JSON parsing libraries in C or C++? There seem to be a few choices; not sure if any stands out from the crowd.
1
Malcolm Tredinnick's profile photoMi-e Foame's profile photo
3 comments
 
I'd be interested to see if/how you use it. I haven't done any real C before and I've got an itch to get into it.
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
The work +Paul Gestwicki is doing implementing agile methods with students building games has been great reading over the years. Below is his most recent piece. Outside of the educational ideas, I'm finding food for thought for my management skills in general.

http://paulgestwicki.blogspot.com/2013/02/one-and-half-days-of-rules-design.html
1
Paul Gestwicki's profile photo
 
Thanks! It's been a great experiment here in terms of teaching and game development. I have a great team this semester and high hopes for our end-of-semester product!
Add a comment...

Malcolm Tredinnick

Shared publicly  - 
 
For about the past 15 years, I've enjoyed reading the rare accounts from Microsoft employees discussing the practical matter of application support, bug fixing with an eye to compatibility, bug fixing with an eye to localisation and accessibility support, etc. Because that stuff matters! The very best open source projects operate that way as well, but it's not as common as I'd like in the industry.

Today's link is a write-up from the always interesting Raymond Chen where he diagnoses a serious problem and proposes a fix that works with the downstream users. Requires diagnosing original programmer errors, so the write-up is tricky because it has to address that without being unnecessarily insulting.
1
Curtis Maloney's profile photoMalcolm Tredinnick's profile photo
2 comments
 
A few of the commenters explain why that happens: in Windows, they basically are the same thing. Remember, they used to be all UCS-2 and all of Asia cried out in pain. He's writing for a particular audience; I'm normally as finicky about that as you, but in the Windows dev world, that's the way they use those terms, for better or worse.
Add a comment...
People
Have them in circles
163 people
Pio Ryan Lumongsod's profile photo
Paul Gestwicki's profile photo
Roger Barnes's profile photo
Kat Padilla's profile photo
Cliff Skolnick's profile photo
Abdullah Zainul Abidin's profile photo
Gregory Leblanc's profile photo
Ram Smith's profile photo
Bryan Weingarten's profile photo