Below are the most recent 20 friends' journal entries.

Friday, June 1st, 2012
jcreed	6:42p	(Comment on this)
jcreed	5:24p	Been thinking about encoding modal logic in resource semantics style since I talked to sean mclaughlin over the weekend about it. I sketched out some thoughts here. It's a translation that's meant to encode Pfenning-Davies in a sort-of-Kripke-ish-semantics way. I had an old version of this idea that did Pfenning-Davies with a linear target language, but sean's theorem prover is for plain ol' first-order logic. And I didn't want to just compose the Modal -> Linear translation with the Linear -> First-Order translation because it seemed to produce a mess. The idea behind the new translation is you can squeeze the thing that holds the Kripke world into an atomic proposition h(...) that you keep in the conclusion. Having used the conclusion for that, where does the object-language conclusion go? Well, you stash it in the context, like in the resource semantics paper. How do you keep it from getting pathologically duplicated? You mark it with a frame variable φ, and shove that into a different argument of the h(...), and insist they line up everwhere they need to. Finally, there's a third argument of the h(...) that is some trick apparently required to model Pfenning-Davies diamond correctly. I don't know how to give an intuition for it. It just seems to be the thing that works. (Comment on this)
Thursday, May 31st, 2012
tom7radar	11:06p	LD23 gems http://radar.spacebar.org/f/a/weblog/comment/1/1082 Ludum Dare 23 was a few weeks ago. My game got some great feedback but might have been my worst showing in the rankings, probably partly because the field was huge (1400 games!) and partly because the game is totally not going to work for casual impatient audiences. I am proud of it though. I love playing these weird and sometimes amazing games. I rated over 100; some of my favorites: Recluse was a little platformer with nice double entendres and a jaw-dropping twist. Highly recommended downloading. Pocket Planet is a single-screen exploration platformer and damn fine. Escape from Mini Mars is by a friend and has great music. A Super Mario Summary is a game whose idea is a bit better than its execution, but definitely worth playing. Overpopulous has a charming intro sequence and is a pretty fun short arcade game. Memento XII is very high quality, though maybe a bit conservative. Planet Life was hilarious and weird and unwinnable, just like life. Superpixel was a direct Super Meat Boy clone, but pretty fun in the same way that game is. SubATOMIC was an unusually complete adventure game with a slightly grating script but some genuinely funny parts. Space Nurse was an imbalanced but superbly smooth space physics sandbox. Dr. Biology's Educational Game was a simple puzzle game with a surprise mechanic and LOL-worthy audio. Lost was a better-than-expected low-res platformer that I unfortunately got stuck (bug) like two screens from finishing. Tinytanic had lovely graphics and humor, really worth playing for 90 seconds, that ultimately wasn't supported by gameplay. Super Strict Farmer is a German-style board game with pro graphics and a hilarious title screen. Aether was an engine better than its game, but is still short and easy and fun. Rambros was the game I most wish had been finished. It's great fun even in its state and looks like it'd be even more fun with a bro. Prince of Leaves is kinda "Adventure Time!"ey, including its incessant theme song. [Error: Irreparable invalid markup ('<a [...] http://www.ludumdare.com/compo/ludum-dare-23/?action>') in entry. Owner must fix manually. Raw contents below.] <p class="ljsyndicationlink"><a href="http://radar.spacebar.org/f/a/weblog/comment/1/1082">http://radar.spacebar.org/f/a/weblog/comment/1/1082</a></p>Ludum Dare 23 was a few weeks ago. <a href="http://tinyworld.spacebar.org/">My game</a> got some <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=1984">great feedback</a> but might have been my worst showing in the rankings, probably partly because the field was huge (1400 games!) and partly because the game is totally not going to work for casual impatient audiences. I am proud of it though. I love playing these weird and sometimes amazing games. I rated over 100; some of my favorites:<br /><br /> <a href="http://www.ludumdare.com/compo/wp-content/compo2/thumb/c3d2830a7c224955dfc7c40bc8b6790a.jpg">Recluse</a> was a little platformer with nice double entendres and a jaw-dropping twist. Highly recommended downloading.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?uid=1534">Pocket Planet</a> is a single-screen exploration platformer and damn fine.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=7860">Escape from Mini Mars</a> is by a friend and has great music.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=608">A Super Mario Summary</a> is a game whose idea is a bit better than its execution, but definitely worth playing.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=5631">Overpopulous</a> has a charming intro sequence and is a pretty fun short arcade game.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=2982">Memento XII</a> is very high quality, though maybe a bit conservative.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=1405">Planet Life</a> was hilarious and weird and unwinnable, just like life.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=4882">Superpixel</a> was a direct Super Meat Boy clone, but pretty fun in the same way that game is.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=7835">SubATOMIC</a> was an unusually complete adventure game with a slightly grating script but some genuinely funny parts.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=418">Space Nurse</a> was an imbalanced but superbly smooth space physics sandbox.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=741">Dr. Biology's Educational Game</a> was a simple puzzle game with a surprise mechanic and LOL-worthy audio.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=7798">Lost</a> was a better-than-expected low-res platformer that I unfortunately got stuck (bug) like two screens from finishing.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=12384">Tinytanic</a> had lovely graphics and humor, really worth playing for 90 seconds, that ultimately wasn't supported by gameplay.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=2952">Super Strict Farmer</a> is a German-style board game with pro graphics and a hilarious title screen.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=2311">Aether</a> was an engine better than its game, but is still short and easy and fun.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=3041">Rambros</a> was the game I most wish had been finished. It's great fun even in its state and looks like it'd be even more fun with a bro.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=7902">Prince of Leaves</a> is kinda "Adventure Time!"ey, including its incessant theme song.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=12796>Little City</a> was a little childish but has a artful style and plenty of surprises.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=1885">Worlds in Cards</a> was a nice little puzzle/action game in GB style.<br /><br /> <a href="http://www.ludumdare.com/compo/ludum-dare-23/?action=preview&uid=5496">Ancestor's Sword</a> was an unusual platformer, fun to play all the way through, partly because I needed to figure out how to exploit bugs to win it. (Comment on this)
Wednesday, May 30th, 2012
savagelove	12:00a	Features: Savage Love: May 30, 2012 http://www.avclub.com/articles/may-30-2012,75762/?utm_medium=RSS&utm_campaign=feeds&utm_source=type_savage-love I’m a straight male from Southern California and I really want to be a straight male escort. The problem is, the industry is shrouded with deceptive “agencies” that take advantage of the situation. Also, it’s not like there’s a Male Escort 101 course that I can take to learn how to avoid these traps. I don’t know if you can help, but I really want to get into this industry, hopefully through a reputable agency. Do you have any advice, can you put me in touch with any male escorts (preferably straight ones) so I can ... (17 Comments |Comment on this)
Monday, May 28th, 2012
jcreed	9:03p	Took the ferry over to governor's island to see this thing: http://www.cooperhewitt.org/exhibitions/now-in-production Was pretty fun. (Comment on this)
Sunday, May 27th, 2012
jcreed	9:02p	Food adventure for tonight was a chicken Thai curry with the coconut milk replaced by a mixture of evaorated milk and rice milk for allergy reasons. Still turned out pretty good according to me, and not too weird despite the substitution according to K, who normally is a huge Thai fan. It was spicy and gingery and eggplanty and full of awesome. (Comment on this)
Saturday, May 26th, 2012
jcreed	8:19p	I chatted with Sean today for a while and he left me with a cute types puzzle. The puzzle is, assign types to the ?s in the signature sig val blank : ? val binop : (int * int -> int) -> ? val unop : (int -> int) -> ? val const : int -> ? val eval : ? end and implement it in a structure S such that the following makes sense: open S (* expression with holes: [ ] + (~[ ] + (2 * [ ])) *) val f = eval (binop (op+) blank (binop (op+) (unop (op~) blank) (binop (op *) blank (const 2)))) val _ = print (Int.toString (f 100 2 3000)) (* prints 100 + (~2 + (2 * 3000)) = 6098 *) val _ = print "\n" What's going on here is f builds up an expression tree out of binary and unary operators and integer constants and blank holes, calls eval on it, and this has the type int -> int -> int -> int which is a curried type with three integer arguments, equal to the number of occurrences of "blank" in the definition of f. But how can you get eval to have a type that always has one curried argument for each blank, and in fact evaluates the right expression? ( my solution; spoilers! ) (13 Comments |Comment on this)
Friday, May 25th, 2012
jcreed	7:21p	The awesomest kind of performance bug is when you realize it's taking a long time to render an image because you're accidentally rendering it all over again once per pixel in the image. Nothin' like a good ol' O(n4) algorithm. (9 Comments |Comment on this)
Thursday, May 24th, 2012
jcreed	2:01p	Watched some more Freaks and Geeks with K. There was a great moment where the nerd heroes of the show triumphantly did a Successful Sports Thing (i.e., caught a fly ball, yielding one out) --- but only one such thing. Which was nice, because it was more realistic than Winning The Entire Important Sports Game. (4 Comments |Comment on this)
Wednesday, May 23rd, 2012
jcreed	9:10p	If you haven't read this long and winding road towards the smallest possible ELF binary (45 bytes!) you really should. It's a classic from like 2002 or something. (8 Comments |Comment on this)
Tuesday, May 22nd, 2012
jcreed	9:07p	Dinner with K at the mexican place across the street from work. Yucateco continues to be tasty, but just a little too spicy for me to handle. (Comment on this)
Wednesday, May 23rd, 2012
savagelove	12:00a	Features: Savage Love: May 23, 2012  http://www.avclub.com/articles/may-23-2012,75526/?utm_medium=RSS&utm_campaign=feeds&utm_source=type_savage-love I’m a 17-year-old girl, and in most aspects, I’m confident with myself, my identity, and my body. Earlier this year, I met a girl. She had some serious drama at home and needed to get out of her house, so I let her stay at mine. Things went a LOT further than I was ready for. I had just had my first kiss the month before, and I didn’t feel like our relationship was ready for sex, but I went along with it because she never gave me a chance to slow things down or say no ... (9 Comments |Comment on this)
news [ theljstaff ]	12:47a	LIVEJOURNAL RELEASE 92: NEW SITE UPDATES AND MORE May 23, 2012 - The official LiveJournal Release 92 has been deployed. Here’s what you’ll find in this latest site update: NEW Particularly long comment threads now collapse with the alert “...and [#] more comments.” Just click on that alert to see the rest of the comments. Here’s what this looks like: Notification emails now hide any content that was already placed inside an lj-cut instead of displaying the entire entry. Social Capital is now displayed for all communities on the profile page. You can now embed the Spotify player into your journal or community style. Personal userheads are now available for purchase. A personal userhead is of your own design and is unique to you, unavailable to anyone else. Purchase as many personal userheads as you like; each costs 5,000 LJ FunBux™, and is good for five years. Learn more. BUGS, FIXED Scheduled entries should no longer return errors or double-post. Domain mapping should no longer force redirection to the LiveJournal login page. The format=light URL modifier works on entry pages again. Comment notification emails will send even if the entry has a poll. The "Music" section on the edit entries page will let you delete the entire text field. The help link next to “Do not add to friends pages and RSS” on the update page now links to the correct FAQ. The list of journals and communities added by default for new users has changed to news and lj_releases for non-Cyrillic users. Missing navigation items in the Classic journal style have re-appeared. Notifications about expiring add-ons will now have correct subject lines. The bold/italic/strikethrough buttons in the site default commenting scheme should no longer cause cursor positioning problems in Chrome. The Calendar feature will now update properly when you edit an entry and change its date. PLANNED PARENTHOOD: HELP WITH A VGIFT! Join us in standing up for reproductive health and education. Through the end of the month, you can send a specially designed Planned Parenthood vgift to your LiveJournal friends to help support this cause. (And if you need someone to send it to frank is always happy to receive gifts!). There are three variations for you to choose from ($1, $5 and $10), but they’d all look good on your profile. Thank you for your support! Learn more. - The LiveJournal Team (665 Comments |Comment on this)
Monday, May 21st, 2012
jcreed	8:42p	Jonesforth is a very small forth interpreter written in about ~2k lines of x86 asm and ~2k lines of forth. The asm is actually overwhelmingly comments, with lovingly drawn ascii-art memory diagrams. It's a wonderful piece of literate programming. You only really need the two files jonesforth.S and jonesforth.f, and then you do $ gcc -m32 -nostdlib -static -Wl,--build-id=none -o jonesforth jonesforth.S $ cat jonesforth.f - | ./jonesforth and you're good to go. Try typing 2 3 + . and you should get [SPOILER WARNING!] 5. The instructions in jonesforth.S itself say to also include the flag "-Wl,-Ttext,0" but when I do this, I get "Killed" immediately upon running ./jonesforth. Even when I gdb and breakpoint at _start. Anybody know why? Does this have to do with address space randomization or something? (9 Comments |Comment on this)
news [ theljstaff ]	9:38a	ALL-NEW SCRAPBOOK TO LAUNCH THIS WEEK; UPDATED FAQ May 21, 2012: Three weeks ago we officially announced the plan to overhaul Scrapbook, LiveJournal’s exclusive photo-hosting feature for Plus, Paid and Perm accounts. Today we’re letting you know that the new Scrapbook will release this week; in anticipation, we want to give you a bit more information on some additional changes that have been made. The newest additions to the FAQ are under the cut; the original FAQ about the new Scrapbook is in the previous news post. ( Read more... ) (243 Comments |Comment on this)
Sunday, May 20th, 2012
jcreed	9:06p	Another pixel doodle: (4 Comments |Comment on this)
jcreed	8:42p	Puttering around home today tidying up and doing some errands. (Comment on this)
Saturday, May 19th, 2012
jcreed	8:26p	Food adventures today consisted of: (1) Went to Jolie Cantina for brunch. Had awesome omelet with bacon, ham, shallots, spinach. (2) Made chicken vindaloo again, this time with toasted naan instead of rice. Also awesome. (Comment on this)
Friday, May 18th, 2012
jcreed	8:25p	Saw the opening of Indie Game - the Movie over at IFC with K. Basically the filmmakers embedded themselves in the development of Super Meat Boy and Fez, and there was also some interview footage with Jonathan Blow ("Braid"). One thing that really came across (and I found it rather comforting) was how much even the people who are widely understood to be at the absolute top of their field are still completely capable of being all but consumed by anxiety about their past, present, and future work. I think they did a great job of painting a very human picture of the developers. (Comment on this)
Thursday, May 17th, 2012
jcreed	8:17p	Went over to Sean's place and played a rail game with aleffert and some of sean's friends from work. Really quite a fun little game. The most notable thing about it is that everybody starts with no cash and has to issue bonds to raise money, and the bonds can't be paid back, and you have to pay interest on them continuously. So you're constantly wrestling with how much debt you have, and there's huge pressure to start using cash to generate new streams of income really quickly. (Comment on this)