|
I saw this post on Hacker News today and thought it might be interesting to the TextMate users out there. It's written by this person, Jack Kinsella and he goes very much in-depth into how to convert yourself from being a TextMates to a vim user. Link: [textmate-to-vim](https://www.jackkinsella.ie/2011/09/05/textmate-to-vim.html)
|
|
I saw this post on Hacker News today and thought it might be interesting to the TextMate users out there. It's written by this person, Jack Kinsella and he goes very much in-depth into how to convert yourself from being a TextMates to a vim user. Link: [textmate-to-vim](https://www.jackkinsella.ie/2011/09/05/textmate-to-vim.html)
|
|
n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)
-
www.jeremykun.com
-
14 years ago
-
eng
Warning: this proof requires a bit of familiarity with the terminology of propositional logic and graph theory. Problem: Let $ G$ be an infinite graph. Show that $ G$ is $ n$-colorable if and only if every finite subgraph $ G_0 \subset G$ is $ n$-colorable. Solution: One of the many equivalent versions of the Compactness Theorem for the propositional calculus states that if $ \Sigma \subset \textup{Prop}(A)$, where $ A$ is a set of proposit..
|
|
n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)
-
www.jeremykun.com
-
14 years ago
-
eng
Warning: this proof requires a bit of familiarity with the terminology of propositional logic and graph theory. Problem: Let $ G$ be an infinite graph. Show that $ G$ is $ n$-colorable if and only if every finite subgraph $ G_0 \subset G$ is $ n$-colorable. Solution: One of the many equivalent versions of the Compactness Theorem for the propositional calculus states that if $ \Sigma \subset \textup{Prop}(A)$, where $ A$ is a set of proposit..
|
|
n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)
-
www.jeremykun.com
-
14 years ago
-
eng
Warning: this proof requires a bit of familiarity with the terminology of propositional logic and graph theory. Problem: Let $ G$ be an infinite graph. Show that $ G$ is $ n$-colorable if and only if every finite subgraph $ G_0 \subset G$ is $ n$-colorable. Solution: One of the many equivalent versions of the Compactness Theorem for the propositional calculus states that if $ \Sigma \subset \textup{Prop}(A)$, where $ A$ is a set of proposit..
|
|
An [equilateral triangle](https://en.wikipedia.org/wiki/Equilateral_triangle), in case you've forgotten, is a triangle composed of lines that are all of the same length. For some reason I started thinking about those kinds of triangles the other day and wanted to create one, for use in a pattern or something. I could have opted to just google for an image of one, but I wanted to draw one by hand. I started by creating a shape using the pen ..
|
|
Recently I came across a issue with the
|
|
An [equilateral triangle](https://en.wikipedia.org/wiki/Equilateral_triangle), in case you've forgotten, is a triangle composed of lines that are all of the same length. For some reason I started thinking about those kinds of triangles the other day and wanted to create one, for use in a pattern or something. I could have opted to just google for an image of one, but I wanted to draw one by hand. I started by creating a shape using the pen ..
|
|
Picture from Palo Alto, Stanford University Palm Drive](/wp-content/uploads/2011/09/Stanford_University_Palm_Drive_facing_Palo_Alto-150x150.jpg "Click to read the post")](https://arnorhs.com/2011/09/03/palo-alto/) On a professional level, the last year and a half has been pretty interesting. I've been managing my own projects, doing freelancing work, did some traveling, even some classes at a university, tried to work on a lot of side proje..
|
|
Picture from Palo Alto, Stanford University Palm Drive](/wp-content/uploads/2011/09/Stanford_University_Palm_Drive_facing_Palo_Alto-150x150.jpg "Click to read the post")](https://arnorhs.com/2011/09/03/palo-alto/) On a professional level, the last year and a half has been pretty interesting. I've been managing my own projects, doing freelancing work, did some traveling, even some classes at a university, tried to work on a lot of side proje..
|
|
Berlin is playing host to the oh-so-sold-out JSConf.eu conference happening October 1-2. Some members of the SoundCloud engineering crew…
|
|
Berlin is playing host to the oh-so-sold-out JSConf.eu conference happening October 1-2. Some members of the SoundCloud engineering crew…
|
|
Nemein and Infigo merge to create a digital agency focused on web and mobile
-
bergie.iki.fi
-
14 years ago
-
eng
Yesterday the contracts were signed to acquire Infigo as part of Nemein . Infigo, is a consulting company focused on mobile development and web using open source tools. You'll probably at least know their CTO, Jerry of the USB finger fame . Even in the ten years of history of our company this is quite a significant move - it allows us to combine Nemein's traditional expertise on content management with Infigo's mobile offerings. As ..
|
|
Gimp 2.7.3 has been released but no one ports it to OSX already here is an ugly working way. EDIT: The macport is now up to date so no need to do this anymore ! It needs a lot of dependencies, get it via macports: run port sync Edit /opt/local/var/macports/sources/rsync.macports.org/release/ports/graphics /gegl/Portfile Change version to 0.1.6 and master_sites version 0.1.6 master_sites ftp://ftp.gimp.org/pub/gegl/0.1/ remove the path line ..
|
|
As a big fan of the text editor vim. I'm also a bit of a newbie and I'm constantly seeking out some new stuff to learn. Either some key combination I didn't know, some nice nifty plugin to help out, etc. [](https://www.vimconf.org/?s=2E4) That's why I'm excited about this possible online vim conference. It hasn't been planned properly yet and I believe he/t..
|
|
As a big fan of the text editor vim. I'm also a bit of a newbie and I'm constantly seeking out some new stuff to learn. Either some key combination I didn't know, some nice nifty plugin to help out, etc. [](https://www.vimconf.org/?s=2E4) That's why I'm excited about this possible online vim conference. It hasn't been planned properly yet and I believe he/t..
|
|
I am not an FPS player. That is, I wasn’t until I read the game plotline for Deus Ex: Human Revolution. I’ve been excited about FPS storylines before, namely Mass Effect. However when I actually tried playing Mass Effect I didn’t really get drawn in. I mean, I did…but a particular gameplay element that annoyed the heck out of me pulled me out of the story and put me into frustrated-and-just-want-to-go-away-now mode.
|
|
It’s modern practice in web applications to augment text fields with suggestions while one types. There are plenty of Javascript libraries out there to do that, and plenty of integrations with the Java web framework Wicket out there as well, but somehow none quite did exactly what I wanted, so I’ve rolled my own Wicket code (based on JQuery). What I wanted, but what other Wicket / Javascript libraries did not do, were:
|
|
A quick virtual heads-up for developers, hackers and coding enthusiasts in the Berlin-area: SoundCloud is very happy to support the upcoming…
|
|
A quick virtual heads-up for developers, hackers and coding enthusiasts in the Berlin-area: SoundCloud is very happy to support the upcoming…
|
|
Razer Blade gaming laptop - pleeeeeease come out in time for Guild Wars 2
-
liza.io
-
14 years ago
-
eng
caption id=“attachment_44272” align=“alignleft” width=“300” caption=“Razer Blade gaming laptop with Switchblade UI”] [/caption] Razer announced a little slice of heaven for PC gamers - an Intel i7 powered gaming laptop that I will probably not be able to resist buying, even if it does come with something like a $2.8k price tag - Razer “Blade”.
|
|
WP7 Toolkit: Combining Hubtile, Listbox, Tilt, ContextMenu and WrapPannel
-
blog.gripdev.xyz
-
14 years ago
-
eng
Found a much clearer set of how-to’s by windows phone geek here . This is a post for the developers out there. I wanted to use the hubtile control from the wp7 silverlight toolkit, but along side it also use the context menu from the same toolkit, while having the whole lot databound inside a listbox. It took me a while to come up with a solution that I was happy with. I’m not sure if it’s following best practices but it seems to wor....
|
|
One of my applications creates a background thread on startup which executes a series of tasks at a regular interval. However I get a after…
|
|
Today’s painting — Town Line Road at OO, oil on panel, 8“x10” I’ve had a week off and have been painting outside, at my mom’s house out in the country near Chippewa Falls, Wisconsin. The investment which has made this possible is called a pochade box which is essentially a small portable easel which fits on a tripod. The one I got is called the Prochade by Artwork Essentials . So far I’m pretty happy with it, and slightly amazed and ....
|
|
Today’s painting — Town Line Road at OO, oil on panel, 8“x10” I’ve had a week off and have been painting outside, at my mom’s house out in the country near Chippewa Falls, Wisconsin. The investment which has made this possible is called a pochade box which is essentially a small portable easel which fits on a tripod. The one I got is called the Prochade by Artwork Essentials . So far I’m pretty happy with it, and slightly amazed and ....
|
|
I just had a very interesting experience with AOP in C#. I have a function with a return type List which is being intercepted and that's all…
|
|
The [Vodafone website in Iceland](https://vodafone.is/ "Visit the Vodafone website") has just undergone a redesign. It was designed by the amazing web agency [Kosmos & Kaos](https://www.kosmosogkaos.is/ "Kosmos & Kaos website"), which is also based in Iceland. I'm very grateful to have been able to partake in the project. I helped with the CSS, initial HTML and most of the Javascript interactions on the website, and I've got to say I'm pret..
|
|
The [Vodafone website in Iceland](https://vodafone.is/ "Visit the Vodafone website") has just undergone a redesign. It was designed by the amazing web agency [Kosmos & Kaos](https://www.kosmosogkaos.is/ "Kosmos & Kaos website"), which is also based in Iceland. I'm very grateful to have been able to partake in the project. I helped with the CSS, initial HTML and most of the Javascript interactions on the website, and I've got to say I'm pret..
|
|
Thanks for the continued testing. Hopefully the app is now getting nearer to the release candidate, although this is a more experimental build. Changes in this build: Increased to performance Changes to feed Gui Improvements to the Offline reader Fontsize tweaks Screen orientation lock Really interested to hear what you think of the new feeds gui on the home page, get the latest xap here .
|
|
The recent outage of SoundCloud was the result of everybody doing the right thing. This totally jives with John Allspaw’s message that…
|
This tutorial will allow you to use the OS X "Swipe" (three finger drag) features in your MacVIM. In this example, I use it to move between buffers.
|
|
The recent outage of SoundCloud was the result of everybody doing the right thing. This totally jives with John Allspaw’s message that…
|
|
V8 Bundled Exec call – and Oracle Program Interface (OPI) calls
-
tanelpoder.com
-
14 years ago
-
eng
So, what he hell is that V8 Bundled Exec call which shows up in various Oracle 11g monitoring reports?! It’s yet another piece of instrumentation which can be useful for diagnosing non-trivial performance problems. Oracle ASH has allowed us to measure what is the top wait event or top SQLID for a long time, but now it’s also possible to take a step back and see what type of operation the database session is servicing.
|
|
V8 Bundled Exec call – and Oracle Program Interface (OPI) calls
-
tanelpoder.com
-
14 years ago
-
eng
So, what he hell is that V8 Bundled Exec call which shows up in various Oracle 11g monitoring reports?! It’s yet another piece of instrumentation which can be useful for diagnosing non-trivial performance problems. Oracle ASH has allowed us to measure what is the top wait event or top SQLID for a long time, but now it’s also possible to take a step back and see what type of operation the database session is servicing.
|
|
I ran into this post on HN today. It's from a guy who often gets brought in to help teams refactor old ruby on rails code. My experience with rails has been that it's pretty good at abstracting most of the crap away from your code base and gives you a nice clean structure for your code, but his argument seems to be that as soon as you start doing some spaghetti stuff, you get into trouble.
|