|
kiniry
@
kiniry
Portland, OR
|
|
Dad. Partner. Scientist. Activist. Maker. — He/His
|
|
|
3.357
Tweetovi
|
1.239
Pratim
|
1.055
Osobe koje vas prate
|
| Tweetovi |
|
|
kiniry
@kiniry
|
3. velj |
|
It isn’t often I tell people where I’m from. Congrats to my original hometown @Chiefs. @SuperBowl
|
||
|
||
|
|
kiniry
@kiniry
|
1. velj |
|
I played that song just today at @galois while thinking about the next formal specification to write…
|
||
|
|
||
|
|
kiniry
@kiniry
|
1. velj |
|
What thoughtful questions from Lydia! twitter.com/lydiaemman/sta…
|
||
|
|
||
|
|
kiniry
@kiniry
|
20. sij |
|
|
||
|
|
||
|
|
kiniry
@kiniry
|
15. sij |
|
What great news! @bluespec is releasing their tool chain under an open source license on 31 January. This will excite folks across the hardware design industry, particularly at @DARPA, and Bluespec users in the @risc_v community and beyond. #SSITH bluespec.com/2020/01/06/blu…
|
||
|
|
||
| kiniry proslijedio/la je tweet | ||
|
Galois
@galois
|
14. sij |
|
We had a great 2019. This week, we're sharing some of the highlights of this past year at Galois in our Year in Review: galois.com/blog/2020/01/2…
|
||
|
|
||
| kiniry proslijedio/la je tweet | ||
|
Matt Bernhard
@umbernhard
|
10. sij |
|
Hi folks. As you may have heard, I have been fortunate enough to work with amazing people and put out a study about ballot-marking devices. You can read it here: mbernhard.com/papers/bmd-ver…
|
||
|
|
||
|
|
kiniry
@kiniry
|
5. sij |
|
I have mixed results. 32 bit apps are gone, so check your old binaries. Also, I have an intermittent “trackpad and Bluetooth mouse both no longer can click until reboot” failure that has us all stumped and started with the update.
|
||
|
|
||
|
|
kiniry
@kiniry
|
21. pro |
|
|
||
|
|
kiniry
@kiniry
|
18. pro |
|
The final line of a hand-crafted Mad-lib from my daughters: “We don’t live in an _inspired_ world anymore.”
|
||
|
|
||
|
|
kiniry
@kiniry
|
18. pro |
|
I am in alignment with this clarifying statement. Moreover, I believe that this statement is wholly consistent with the work that VV has been doing for years. twitter.com/VerifiedVoting…
|
||
|
|
||
|
|
kiniry
@kiniry
|
28. stu |
|
Bravo. twitter.com/CISAgov/status…
|
||
|
|
||
|
|
kiniry
@kiniry
|
25. stu |
|
I’m visiting #kaleidoscope @Hallmark in my hometown of Kansas City, MO today with my youngest daughter Noomi. I visited this art center over 40 years ago and I still remember the wonder of it. pic.twitter.com/49C4p9cLzf
|
||
|
|
||
|
|
kiniry
@kiniry
|
22. stu |
|
Noomi and I can’t wait for the new season of “Magic for Humans”, @Justin_Willman!
netflix.com/extras/8115582…
|
||
|
|
||
|
|
kiniry
@kiniry
|
18. stu |
|
+1, to say the least. twitter.com/natsecaction/s…
|
||
|
|
||
|
|
kiniry
@kiniry
|
15. stu |
|
/me follow follow follow... twitter.com/zcobb/status/1…
|
||
|
|
||
|
|
kiniry
@kiniry
|
8. stu |
|
Here is my position on blockchains in elections: freeandfair.us/articles/block…
tl;dr Blockchains could help solve only a tiny corner piece of the problem, but are enormously more complicated than necessary.
Senator @RonWyden agrees with me. washingtonpost.com/context/sen-ro…
@free_and_fair
|
||
|
|
||
|
|
kiniry
@kiniry
|
8. stu |
|
We just got our copy too.
|
||
|
|
||
|
|
kiniry
@kiniry
|
7. stu |
|
I agree with all of those statements. But I also argue that it is doable for 2020 if it were mandated and funded soon.
I admit to looking off into the distance and thinking about exactly what kind of evidence one massive, state-centric polling audit would generate.
|
||
|
|
||
|
|
kiniry
@kiniry
|
6. stu |
|
Another highlight is that the choice of RLA method is predicated on several factors, including which voting systems are in use, the state statutory framing for audits and recounts, and the amount of time available. See Table 1 from eac.gov/assets/1/6/Ris… @EACgov
|
||
|
|
||