This page aggregates together stuff having to do with Joey from elsewhere on the net.

identi.ca posts
electrum insecure use of ssl
https://github.com/spesmilo/electrum/issues/1782
https://github.com/spesmilo/electrum/issues/1783

At this point, I'm not particularly suprised when a program turns out to utterly fail at SSL cert validation. Because that seems to be how SSL libraries are designed to be misused. OTOH, this is a program I've entrusted with a few thousand dollars in the past. If I own bitcoin again, I'll have to think twice about using Electrum.
Posted
identi.ca posts
tinc
cabal update
Downloading the latest package list from hackage.haskell.org
cabal: does not exist

Posted
identi.ca posts
11

For me it's less pictures and more abstract things. I can picture my mom's face right now, but it's about things like the quality of her gaze, tilt of her head and not an exact shape or image. When I imagine a beach I remember vividly the salt air, the warm sand, the waves rumble, the horizon all around, but it's not any kind of photorealistic picture. A sufer is a vague shape, maybe a human outline, plus movement vectors for the surfer and the waves.

I also have dreams that include complete source code to programs that I can edit in my dreams (and often works if I type it in, unless the programming language was also dreamed up). And I can visualize entire routes on well known roads and trails (hours and hours of them), but it's all about the turns, the rises and falls, the outlines of the view at any point along the way, the feeling of a place, but never any images.

Never any colors, come to think of it. Triangle? Sure, and I can rotate tetris peices in my head and slot them into place. But red triangle? No, it's just 3 angles with lines.

Posted
identi.ca posts
M.U.L.E.

Played M.U.L.E. for the first time last night. Would have so loved this in 1983. Better late than never.

Posted
identi.ca posts
10

... And contains nearly as many lurking nasty things.

Posted
identi.ca posts
5

Every place I've posted in the past 2 days is within 1.5 hours of my hometown. And every one, I've never been to before. Whole lotta hidden amazing stuff in these hills.

Posted
identi.ca posts
no tea

My laptop's touchpad does not like tea. Ended up replacing the top half of the laptop with spare parts to get a working laptop again.

Posted
identi.ca posts
3
It means type checking the definition of a set of machines, some of which have chroots, and in this case, determining if those chroots can run on the machines they've been assigned to.
Posted
identi.ca posts
it builds

it builds! after 88 files changed, 2005 insertions(+), 1449 deletions(-)

Posted
identi.ca posts
128/134 files fixed

ending the day as I began it, with hundreds of lines of type checker barf. But only 7 files to go!

Posted
identi.ca posts
88/134 files fixed

Much happier with the type errors today than yesterday. Here, the type checker was able to determine that a property is not Debian-specific like but will work on other unix's too:

src/Propellor/Property/Git.hs:158:9:
    Couldn't match type ‘'[]’ with ‘'['Targeting 'OSFreeBSD]’
    Expected type: UncheckedProperty DebianLike
      Actual type: UncheckedProperty UnixLike
    In the first argument of ‘changesFileContent’
Posted
identi.ca posts
dear ghc

dear ghc, when the type error exceeds 2 pages (like this 245 line one), how about just saying,
"You really goofed up around line N!"

Posted
identi.ca posts
the types sing

Been working on and off all week on some code and a lot of types to go with the code. I just deleted all the code, replacing it with the single word sing.

The types, you see, grew good enough that the code was not necessary to explain to the compiler what needs to be done. Dependently typed programming with singleton types. A milestone for me.

Posted
books
Ocracokers
Ocracokers
author: Alton Ballance
name: Joey
average rating: 3.73
book published: 1989
rating: 0
read at:
date added: 2016/01/14
shelves: currently-reading
review:

Posted
books
Aurora
Aurora
author: Kim Stanley Robinson
name: Joey
average rating: 3.78
book published: 2015
rating: 0
read at:
date added: 2015/10/04
shelves: currently-reading
review:

Posted
books
Seveneves
Seveneves
author: Neal Stephenson
name: Joey
average rating: 4.10
book published: 2015
rating: 0
read at:
date added: 2015/05/22
shelves: currently-reading
review:

Posted
books
The Just City
The Just City
author: Jo Walton
name: Joey
average rating: 3.73
book published: 2015
rating: 0
read at:
date added: 2015/04/16
shelves: currently-reading
review:

Posted
books
The Highest Frontier
The Highest Frontier
author: Joan Slonczewski
name: Joey
average rating: 3.42
book published: 2011
rating: 0
read at:
date added: 2015/02/01
shelves: currently-reading
review:

Posted

List of feeds:

  • music: last checked (0 posts)
  • identi.ca posts: last checked (1775 posts)
  • twitter grep: last checked (2491 posts)
  • books: last checked (39 posts)