Charles Stanhope firstname.lastname@example.org
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
- "I'm thirty seven years old, which is like ninety nine in programmer years." -- Adam Ierymenko
Claes Wallin (韋嘉誠) likes this.
- 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:
- 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.
- 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.
Timo Kankare likes this.
- 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.
- "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.
- 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.
- Interesting developments in Guile/Guix land:
"Mes aims to create full source bootstrapping for GuixSD: an entirely source-based bootstrap path. The target is to [have GuixSD] boostrap from a minimal, easily inspectable binary --that should be readable as source-- into something close to R6RS Scheme."
- I'm somewhat bemused by all the "mp3 is dead" stories coming out of tech news and being parroted by others. It's hard not to think that this isn't some sort of PR push to get the general population thinking that MP3 is obsolete so that the patent encumbered technologies can be sold as "advanced". I admit it appears to be working. Somehow terminating a licensing program is being reported as killing off an obsolete technology as opposed to simply indicating that the patents have expired and the technology is finally free for use by everyone.Show all 5 replies"They terminated the licensing". No. They terminated the licensing *program* because they no longer have any money to collect from the racketeering.
Problem is that most of those that write about it either don't even grasp the concept or are malignant to misinform.
- If you're in the USA, and you are concerned about preserving net neutrality, the FCC has opened the commenting period on Ajit Pai's proposal to have net neutrality rest on voluntary agreements from our monopolistic ISPs. The EFF has a tool to make it easy to submit comments: https://dearfcc.org/
- Ugh... "Amazon Wants to Put a Camera and Microphone in Your Bedroom" https://motherboard.vice.com/en_us/article/amazon-echo-look-bedroom-camera
Claes Wallin (韋嘉誠) likes this.
Charles Stanhope shared this.
- It's World Intellectual Freedom Day! Unfortunately, it appears the WIFO site is down, but archive.org has our back. :)
- The US has recording laws that vary by state. If you install one of those always listening devices in your home (e.g. "smart" TVs, Amazon Echo, or even a Mycroft), I wonder if you would be required to notify house guests depending on where you lived. (Of course, notifying guests seems like the polite things to do regardless of the law, but I doubt people want to be reminded they are being monitored.)
Then again, I just remembered that people are already walking around with listening devices in their pockets that are often always monitoring what is being said ("OK, Google!"), and I haven't heard anybody suggest we need notification. I guess when we are constantly recorded, there isn't much point in notification. Privacy is the exception, not the rule.
#BeforeCoffeeThoughtsShow all 6 replies
Also, almost all cellphones (and perhaps tablets), even some older ones, have a baseband processor, which is listening to things you say until you remove the battery. In newer models, they can also continue on/working some hours after the battery has been removed.
Open source FPGA toolchains!That's not a great picture, and it should probably be a video to properly appreciate my rotating, blinky light "hello, world", but I'll just go with what I've got. After way too much time, I finally had an opportunity to sit down and try to play with the Lattice Semi IceStick dev board. But instead of using the proprietary tools, I used Project IceStorm tools. It was an amazing feeling to sit down with just open source tools and go from Verilog source to a binary that is sent to the FPGA. This should be as commonplace as using GCC to compile a program for a CPU, but it still isn't. Anyway, it's a start, and I hope it leads to more things.
- Domain Swap! "Bring a list of old domains you hesitantly keep renewing, domains that no longer fit, domains you've outgrown, domains you've had parked for years and haven't used. Give them away to friends, trade for better domains, and pick up some hot, new URLs for 2017."
I realize this is Earth Day and all, but this is a form of "reduce, reuse, recycle" right?
Claes Wallin (韋嘉誠) likes this.
- I'm sure this observation has been made before, but it just occurred to me that Facebook, Twitter, OStatus, Pump, Mastdon et al., are essentially mailing list providers at the level of the individual. Their differentiating features are mostly UI and marginal addons (e.g. likes, favorites, tags etc.) that tempt engagement.
This thought occurred to me while I was imagining what a unified interface to mail, RSS, and social platforms might look like. Take away all he UI embellishments and it seems like you are mostly left with inboxes of various sorts.
- "Finally, surveillance capitalism makes it harder to organize effective long-term dissent. In an setting where attention is convertible into money, social media will always reward drama, dissent, conflict, iconoclasm and strife. There will be no comparable rewards for cooperation, de-escalation, consensus-building, or compromise, qualities that are essential for the slow work of building a movement. People who should be looking past their differences will instead spend their time on purity tests and trying to outflank one another in a race to the fringes."
From Maciej Cegłowski's Build a Better Monster.'We need a code of ethics for our industry, to guide our use of machine learning, and its acceptable use on human beings. Other professions all have a code of ethics. Librarians are taught to hold patron privacy, doctors pledge to “first, do no harm”. Lawyers, for all the bad jokes about them, are officers of the court and hold themselves to high ethical standards.'
- I just created my first org-mode file to help me plan and track my driver development. I'm... I'm a little nervous...
Christopher Allan Webber likes this.