Frozen Heart Plains : Blog

My vim config posted on 04 Aug 2010 18:02

Due to many Linux installations I've to deal with right now, I decided to place the most needed configuration examples in one place (here) — so that I always know where to find them.

We're opening this series with our favorite … vim:

.vimrc example

Stay tuned!

Tags: blog configuration linux vim

Comments: 0 : Rating: 0

When you grow up with nothing... posted on 18 Jul 2010 10:17

…you learn not to expect anything…

Tags: blog philosophy quotes

Comments: 0 : Rating: 0

ICFPC 2010 *cough* results *cough* posted on 21 Jun 2010 11:11

OK, guys — without telling me anything, my other self decided to take part in ICFPC 2010 =) And it did — forming a spontaneous team with two of my friends.

First of all — the task was great. We weren't prepared for what ICFPC threw at us, but managed to do at least something none the less =)

We solved the very first part — synthesizing the circuit that produces «The Key» prefix on the server, but after that we couldn't crack the car ternary encoding in time. About 1700 GMT+4 server became really slow — my guess is that several teams successfully managed to create automatic car generators and/or car fuel solvers and let them loose to reap the score points =) And with an unresponsive server we couldn't test our assumptions about ternary encodings.

Yes, we only got in the top 200 (hooray!), but for an ad hoc team IMHO that is a result of itself. And — yes, we didn't give it our best, we're not the best, etc. But we participated — and we scored! =)

I can't but mention my teammates — zakh and sergeif. Gate Bruteforcer in Haskell written by sergeif immensely helped us in cracking the circuits. And Circuit Simulator — Java and zakh this time — served as a basis for Circuit Mutator by yours truly which got us «The Key» circuit from example 19L in under 20 minutes (yup, guess we just got lucky). Anyway — thanks a lot, guys, it was a hell lot of fun =)

Some mistakes we made (due to ad hoc team and stuff):

  • Try to get together — team communication when you're in the same room is ten times more efficient!
  • Create query utility tools for communicating with the ICFPC server — using browser is too painfully slow…
  • Do try to brute force your way out of this =) You can think all you want about optimizing your code and such AFTER you launch something simple and dirty — it may get you results faster than you think!

All in all, I really enjoyed ICFPC 2010. I think I'll wait for ICFPC 2011. And this time I'm gonna be ready for it =)

Tags: blog icfpc imho news

Comments: 1 : Rating: 0

New domain is up and running! posted on 14 Jun 2010 15:37

OK, mates. For those of you who still visit this wiki of mine — you can now use nice and yummy ice-phoenix.info address to go here =)

Bought this domain for 2.99$ (and — sic! — no delivery fee) at NameCheap — after looking through several dozens of registrars this one came on top with best «Efficiency/Cost» ratio out there. «We give it a 5 out of 5» =)

Till next time!

Tags: blog news

Comments: 0 : Rating: 0

Erlang is a Tank! posted on 26 May 2010 20:03

Erlang syntax, compared to Haskell, is ugly, clunky and cumbersome. Make no mistake though: Tanks are ugly, clunky and cumbersome. It does not make tanks less menacing.

(с) Haskell vs. Erlang

Tags: blog erlang jokes quotes

Comments: 0 : Rating: 0

So very true posted on 24 Apr 2010 18:44

The following pages give a flavor of the Lava HDL and how it can be used to describe circuits for implementation of Xilinx's Virtex family of FPGAs. These pages assume a good understanding of Xilinx's Virtex FPGA architecture and of the Haskell lazy functional programming language. The number of people that know about both can easily fit inside a medium sized elevator.

(c) Satnam Singh — The Lava HDL

Tags: blog jokes quotes

Comments: 0 : Rating: 0

Another quote posted on 23 Apr 2010 18:31

«Have to trust someone to be betrayed. I never did».

(c) Captain John Price, CoD: MW2

Tags: blog games philosophy quotes

Comments: 0 : Rating: 0

Sage Wolf Horo's Wisdom... posted on 16 Apr 2010 11:12

«Males really are best when chasing down their prey».

(c) Spice and Wolf II, ep. 10

Tags: anime blog philosophy quotes spice-and-wolf

Comments: 0 : Rating: 0

Chuck Norris... posted on 31 Mar 2010 21:54

…never updates his compiler. He can use any feature from any version of any programming language — even a feature that will be implemented only in 2020.

Inspired by import from __future__ from Python =)

Tags: blog jokes

Comments: 0 : Rating: 0

Kind of my life motto... posted on 28 Mar 2010 20:43

«When I am weaker than you, I ask you for freedom because that is according to your principles.
When I am stronger than you, I take away your freedom because that is according to my principles.»

(c) Dune, Frank Herbert.

Tags: blog books dune quotes

Comments: 0 : Rating: 0

Facebook

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License