?

Log in

An ongoing attempt to amuse Ari [entries|archive|friends|userinfo]
Adam

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

∃x A < x ∧ (prime x) [Aug. 14th, 2010|12:24 am]
Adam
[Tags|]
[Current Location |United States, Oregon, Drain]
[Current Mood |triumphant]

Well, I finally proved the infinitude of primes in Ghilbert. It actually seemed harder than proving it in TNT. Maybe that's because of Ghilbert's more abstract (and hence powerful, but cumbersome) syntax, or maybe it's because of how much dumber I've gotten over the last 7 years.
LinkLeave a comment

On the move [Jul. 31st, 2010|05:23 pm]
Adam
[Tags|]
[Current Mood |bittersweet]
[Current Music |The utter lack of anything listenable on the radio]

What we call the beginning is often the end,
And to make an end is to make a beginning.
The end is where we start from.
Today I said some goodbyes. Goodbye to maerdi. Goodbye to some great friends (like meeter49 and darkforge and ejwu and shotcable and Malcolm and Jess and ...). Goodbye to 1717 MLK, to Berkeley, to the Bay, and to my coworkers and projects in the Mountain View Google office.

Also goodbye to a large quantity of Stuff. The accumulation of Stuff is an insidious chronic disease, and the process of packing all of one's worldly possessions into the back of a pickup truck every 4-6 years is very salutary (if a bit stressful).

Live in Northern California once, but leave before it makes you soft.
So far I've been focused on figuring out July to all exclusion of considering August. The specific goal for July was to get myself, my cat, and at most one truckload of Stuff out of Northern California. Writing this as I pass through Yreka on I-5, with Vincent napping at my feet and a brimming bed behind my head, I feel pretty successful.

I am on a 4-week leave of absence from Google. While it's not official yet, I hope that when (if?) I return to work, it will be from Google's office in Cambridge, Massachusetts. (And if I'm going to be a resident of that fine state commonwealth, I'd better start learning how to spell it.)

You say Goodbye; I say Hello.
A panoply of options unfolds itself before me. Here are a few things I expect to spend some time on in the next four weeks:
  • Helping my Dad build his house (and/or some other means of getting exercise and a tan)
  • Playing video games
  • Reading science fiction
  • Hacking on Ghilbert, Ecmanomic, Urbit, Android, etc.
  • Travel?
That last bullet is where you come in. If you have a couch and you wouldn't mind me crashing on it some night in the next four weeks, let me know. As I scrape together something resembling an August Plan, I will be in touch.
Make new friends, but keep the old;
One is silver but the other is gold.
Link7 comments|Leave a comment

Leaving Livejournal for Google Buzz? [Feb. 11th, 2010|12:17 pm]
Adam
[Tags|, ]
[Current Location |work]
[Current Mood |social]

It seems to me that Livejournal has been getting slowly suckier as the years go by. Google Buzz is the first credible alternative I've seen, since buzz can be posted to arbitrary groups of gmail contacts. Further, Buzz actually supports search, which in my opinion is the biggest thing missing from LJ. Sadly, Buzz does not yet support OpenID, but I'm pretty sure it will someday.

If it were true that everyone on my LJ friends-list who actively follows LJ will also actively follow Buzz, then I could switch over today and have no qualms. Any opinions from out there in the peanut gallery?
Link7 comments|Leave a comment

Moody [Jan. 21st, 2010|07:59 pm]
Adam
[Current Mood |sadsad]

The world is a worse place without Prof. Moody. In his honor, I've decided to find two people who never met him, and teach them something that Prof. Moody taught me.
Link2 comments|Leave a comment

I admit... [Dec. 8th, 2009|09:28 am]
Adam
[Tags|]
[Current Mood |twistedly hungry]

... it's been a while since I made an honest attempt to amuse Ari. Fortunately, this morning my friend Sonia sent me this link, making it easy:
A Mathematically Correct Breakfast: How to cut a bagel into two linked halves
&quot;It is much more fun to put cream cheese on these bagels than on an ordinary bagel. In additional to the intellectual stimulation, you get more cream cheese, because there is slightly more surface area&quot;
Link1 comment|Leave a comment

Ah, Microsoft... [May. 28th, 2009|11:26 am]
Adam
[Tags|]

2005: "In the next six months, we'll catch Google in terms of relevancy."
2009: Bing, the "Decision Engine"

He changed the name of the game 'cause he lost, and he knew he was wrong but but he knew it too late. -- Fiona Apple
Link1 comment|Leave a comment

(no subject) [May. 8th, 2009|09:37 am]
Adam
[Tags|]

Fucking Austria.
LinkLeave a comment

(no subject) [May. 6th, 2009|11:36 am]
Adam
[Tags|]

Fucking Austria.
Link6 comments|Leave a comment

Button Rant [Apr. 24th, 2009|11:37 am]
Adam
[Tags|]
[Current Location |work]
[Current Mood |annoyedannoyed]

Someone put this button up on the wall at work. I see it every day and it pisses me off more than is really reasonable. I figured: maybe ranting about it on lj will make me feel better.
a button that reads &quot;Be Energy Independent! RIDE TRANSIT&quot;

Here's a tip. If you want to be Energy Independent, ride a fucking bicycle. Oh, and only eat food that you grow yourself. On your own land. That you defend with your own guns. That you build yourself. Out of steel from your own forge. Powered by your own coal that you mined with your own tools that you smelted yourself out of your own ore extracted from that land you're defending. And don't forget to build yourself some surface-to-air missiles, because if you can't defend your own airspace, you may not be able to keep a clear view of the Sun that your precious Energy Independence depends on.
Link4 comments|Leave a comment

Making a digital watch, part II [Mar. 16th, 2009|09:09 am]
Adam
[Tags|]

Last time, I described why I started this project and how I managed to design my first PCB.

I should have taken some pictures of the board when it first arrived in its bubble-wrapped envelope. It was pristine. Sharp, clean corners. Delicate, interwoven traces. Innumerate pads of just the right size and shape and position. Perfectly-formed vias. A green solder-mask, thin but covering all the right places. A father's opinion is never impartial, but this was a damn sexy board. I couldn't restrain myself long enough to do the photoshoot it deserved; I attacked it immediately with solder and flux.

Parts went on. Parts broke, and came back off again. I ripped up pads. I managed somehow to dissolve certain areas of the soldermask, exposing scandalous traces underneath. I drilled extra through-holes. I cut some traces with an X-Acto knife and drew some new ones with a conductive pen. I let flux get dry and sticky in the crevices. I pried up pins, then pried them back down again. I added whitewires that were neither white nor, in some cases, actually wires. I probed the board's every secret with ammeter and ohmmeter, with oscilloscope and microscope.

In short, I thoroughly abused and mistreated this board, in equal parts accidentally and on purpose, for about a month and a half. And how did it repay me?

Pretty damn well.


Unfortunately, that 9-volt isn't just for scale -- it's providing the bias voltage for the OLED panel. The next task is to shrink and apply my voltage booster circuit so that the whole thing can run off of the 3.7V Lithium-polymer battery that's exactly the size of the board. Also I still need to mount the accelerometer, and write a fair bit more software (no, that's not the real date and time, but it does tick up approximately correctly). I'll probably end up with at least one more board revision: this one doesn't include space for a 32Khz crystal, which I've recently discovered could save me a whole lot of power.

Finally, I need to build some kind of case and attach wrist straps. Hmm, maybe I need a makerbot....
Link4 comments|Leave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]