Charles Stanhope cstanhope@identi.ca
Portland, OR
Software/hardware developer interested in programming languages, open platforms, art, diy, craft, music, making a living, learning, life etc. Trying hard to be part of the solution. See also http://charles.stanho.pe
Charles Stanhope shared by Charles Stanhope at 2017-10-14T17:08:11Z via Identi.ca Web To: Public, Charles Stanhope CC: Followers
I finally got around to making this adaptor. It's embarrassing how long it takes me to get to things sometimes. https://social.coop/@cstanhope/1831190Charles Stanhope shared this.
2017-09-16T14:41:37Z via Identi.ca Web To: Public CC: Followers
I came across this on another part of the federated multiverse:
'We live in a world where technology is consuming society, ethics, and our core existence. It is time to take responsibility for the world we are creating. Time to put humans before business. Time to replace the empty rhetoric of “building a better world” with a commitment to real action. It is time to organize, and to hold each other accountable.' http://copenhagenletter.org/
Perhaps I am mistaken, but it seems like there is more and more discussion, realization, and acceptance to the ideas that a "technologist" should have duty and obligations beyond deadlines, disruption, and shareholder value. Speaking as somebody who has wrestled with the ethical dimensions of my work from the beginning of my career, this helps me feel optimism.Francisco M García Claramonte, Mike Linksvayer, Jason Self likes this.
Mike Linksvayer, Jason Self shared this.
A big vague, but good I guess. The confirmation page suggests sharing on Facebook and Twitter, in line with the values expressed, clearly.It is definitely vague, and I almost didn't draw attention to it because of that. But people bringing up these topics in even broad terms is progress in certain circles. I guess I'm looking for things that bring me optimism even when they arrive in flawed forms. :)2017-09-12T13:59:47Z via Identi.ca Web To: Public CC: Followers
Identi.ca is back up! Yay! \o/Splicer, Timo Kankare likes this.
der.hans shared by Charles Stanhope at 2017-09-07T22:58:57Z via Identi.ca Web To: Public, der.hans, Charles Stanhope CC: Followers
And 3 other shoes drop.
https://www.bloomberg.com/news/articles/2017-09-07/three-equifax-executives-sold-stock-before-reveal...clacke@libranet.de ❌, clacke@libranet.de ❌, clacke@libranet.de ❌, Charles Stanhope shared this.
Smokey everywhere
2017-09-06T03:13:15Z via Identi.ca Web To: Public CC: Followers
I don't know if this captures it very well, but it's smokey with lightly falling ash in all directions.
Yes. For me too.
Crazy.
You're getting this heavy smoke air in the Seattle area as well? I knew we were all getting that BC haze earlier, but I didn't know this new fire was having such an impact. :(I just looked at a map with fire locations. I see now the ones close to Seattle. It has been a rough summer for the Pacific NW: http://www.dnr.wa.gov/WildfiresOminous sun
2017-09-06T03:11:05Z via Identi.ca Web To: Public CC: Followers
This was my sky a little while ago.2017-09-05T17:53:22Z via Identi.ca Web To: Public CC: Followers
This orange light caused by the smoke from nearby forest fires, is creating an ominous environment. Also, waiting for news to find out whether my friend's house has burned down... I haven't the appropriate words, but my heat aches for him and his family and everyone I don't know who are suffering the same way. Nothing quite like powerlessness to put you in your place...Show all 5 replies
:( Good luck @Charles Stanhope
What @Christopher Allan Webber said, seriously.
Be safe out there!
Thanks, everybody. Things are... stable right now. Other people have it much worse. We're getting prepared, and keeping a close watch on those evacuation levels.2017-08-30T23:24:46Z via Identi.ca Web To: Public CC: Followers
The news cycle is like a Shepard tone for my worries and anxieties.2017-08-24T16:58:11Z via Identi.ca Web To: Public CC: Followers
Purism is attempting a phone? And it's not Android? I am interested, but I'm not sure I can justify the $600. My current phone was 10% of that price.
https://puri.sm/shop/librem-5/astheroth, AJ Jordan, clacke@libranet.de ❌, Tyng-Ruey Chuang and 2 others likes this.
clacke@libranet.de ❌, clacke@libranet.de ❌, clacke@libranet.de ❌, Mike Linksvayer shared this.
Show all 7 replies
The Ubuntu phone could not reach the niche market of people who care about freedom, while this one has potential to do so.
It remains to find out if this niche is big enough to sustain this product, especially if you consider the intersection of this niche with the set of people willing/able to pay the price of a high-end phone.
@cstanhope@identi.ca I agree, but I think that the 1,5 million dollars are a higher challenge for a company which doesn't have the advice machinery than canonical does. I think the 13 millions dollars which canonical had in that campaign was its great Achievement and its great failure and what marked its destiny since 2013 until now.
10% of that price total free and clear, or with a contract?@Splicer Free and clear. I don't depend on my phone nearly as much as other people seem to do, so my needs are modest. But that also means the price I'm willing to pay is much lower. When I am on the go, I get by with my cheap phone, which can tether, and a used Asus 1015PX. I really want to want that phone, but I may not be the right customer.2017-08-17T14:52:47Z via Identi.ca Web To: Public CC: Followers
[rant deleted]
*sigh*AJ Jordan likes this.
Sometimes it is a struggle to try to keep it positive, or at least constructive, on these social media thingies.2017-08-15T03:09:54Z via Identi.ca Web To: Public CC: Followers
2017-07-06T22:37:20Z via Identi.ca Web To: Public CC: Followers
"I'm thirty seven years old, which is like ninety nine in programmer years." -- Adam Ierymenkoclacke@libranet.de ❌ likes this.
clacke@libranet.de ❌, clacke@libranet.de ❌, clacke@libranet.de ❌, clacke@libranet.de ❌ shared this.
Almost revealed my own age in "programmer years", but I decided against it.Charles Stanhope at 2017-07-06T22:41:18Z
clacke@libranet.de ❌ likes this.
If it's linear, I'll soon be 104 programmer years.
Thirty-seven Celsius is pretty close to ninety-nine Fahrenheit, so maybe that's the ratio.-)You don't look a day over 80.2017-06-25T04:10:32Z via Identi.ca Web To: Public CC: Followers
Just Do It.2017-06-24T04:19:44Z via Identi.ca Web To: Public CC: Followers
TIL Some city governments have taken it on themselves to host archived versions of the EPA climate change website after the Trump administration took it down:- http://climatechangedata.boston.gov
- http://climatechange.cityofchicago.org/
- http://climatechangedata.boston.gov/
McClane, clacke@libranet.de ❌, der.hans, Christopher Allan Webber likes this.
McClane, McClane, clacke@libranet.de ❌, clacke@libranet.de ❌ and 6 others shared this.
Only 9 hours later do I see that repeated Boston. San Francisco is the third: http://epaclimatechange.sfgov.org/.2017-06-21T22:18:20Z via Identi.ca Web To: Public CC: Followers
Oh... The mkfs tool is segfaulting... During the build process... While I'm trying to make a release... I'm sure... This will... *sigh*2017-06-19T18:44:51Z via Identi.ca Web To: Public CC: Followers
Testing some functions of a driver manually this morning, and I thought I had a bug in something that was working just fine last night. It turned out to be PEBKAC. The only solution to that I have found is to automate, automate, automate... Of course, in the short term, it is quicker to test some things manually, but in the long term, you get PEBKAC and worse. Must find time to automate some simple tests.2017-06-17T04:14:10Z via Identi.ca Web To: Public CC: Followers
While identi.ca was down, I came across an online textbook called Software Foundations that serves as an introduction to formal methods for software development. The tar file includes a LICENSE file that indicates the book is licensed MIT, which seems odd at first, but then the entire source of the book is meant to be executable. From the preface:
"This electronic book is a course on Software Foundations, the mathematical underpinnings of reliable software. Topics include basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems. The exposition is intended for a broad range of readers, from advanced undergraduates to PhD students and researchers. No specific background in logic or programming languages is assumed, though a degree of mathematical maturity will be helpful.
The principal novelty of the course is that it is one hundred percent formalized and machine-checked: the entire text is literally a script for Coq. It is intended to be read alongside (or inside) an interactive session with Coq. All the details in the text are fully formalized in Coq, and most of the exercises are designed to be worked using Coq."Timo Kankare likes this.
I found out about this text from Omega Tau podcast 243: http://omegataupodcast.net/243-formal-specification-and-proof/2017-06-01T14:47:50Z via Identi.ca Web To: Public CC: Followers
Speaking of discipline and daily challenges, how about 3684 consecutive days (and counting) of creating a new image from start to finish?"These pictures are all done from start to finish every day. The purpose of this project is to help me get better at different things." -- Beeple (aka Mike Winkelmann)
Beeple's everday page.Craig Maloney likes this.
2017-06-01T05:08:07Z via Identi.ca Web To: Public CC: Followers
"Neural networks are turning up everywhere these days, including in safety-critical systems, such as autonomous driving and flight control systems. When these systems fail, human lives are at risk. But it’s hard to provide formal guarantees about the behavior of neural networks — how can we know for sure that they won’t steer us the wrong way?" from Proving that safety-critical neural networks do what they're supposed to.clacke@libranet.de ❌, Christopher Allan Webber, Tyng-Ruey Chuang, Mike Linksvayer likes this.
Sarah Elkins, clacke@libranet.de ❌, clacke@libranet.de ❌, clacke@libranet.de ❌ and 5 others shared this.
Plus, you know, Terminator =)
JanKusanagi at 2017-06-01T09:26:51Z
clacke@libranet.de ❌, Charles Stanhope, zykotick9 likes this.
Part 2 of Proving that safety-critical neural networks do what they're supposed to.Charles Stanhope at 2017-06-01T23:59:34Z
Sarah Elkins likes this.
"If you think you have a network that we should be trying to verify properties of and that you think our solver (or the next version of it) should be able to handle, please get in touch!"(my quote above is from Part 2)2017-05-19T04:49:16Z via Identi.ca Web To: Public CC: Followers
Made with Creative Commons from Paul Stacey and Sarah Hinchliff Pearson is out: "A guide to sharing your knowledge and creativity with the world, and sustaining your operation while you do." License is CC BY-SA.
https://creativecommons.org/made-with-cc/