October 2011
1 post
EPFL Visit
While not technically too productive, the hike to the Juras was good.
http://wanderland.myswitzerland.com/en/orte_detail.cfm?id=344386
Next time, Aletsch and Mt Blanc and once my skiing skills get better, off piste at Verbier
August 2011
1 post
COncert at Berliner Dom with Petr
It was Bach violin concert, interestin
July 2011
1 post
Vier Leben
Saw the movie today with Renee and Daniel, crazy and disturbing
June 2011
1 post
On reality?
Need to get real and start finding my own stuff to do and prove to myself that i can come up with non trivial math….. someday, i will do pure mathematics ruthlessly
And yes…… apart from Math, i would love to meet Tori black….
April 2011
1 post
Tori
At risk of sounding desperate, i would love to meet tori black
February 2011
1 post
Berlinale
watched barzakh and the bengali detective at Berlinale
Other things, spent a weekend at saint Malo-the beautiful town on the Northern coast of France
and realized working on proofs full time can make times when the mind is not required to think more pleasurable than any other feeling can offer
October 2010
1 post
Visited Korzin today
September 2010
1 post
TODO results
Expanders Mixing time and existence proofs
TM workshop report
Determinism result-Threads; possibly extend to TM
Finish reading denotational semantics and operational semantics for DC-IMP
July 2010
3 posts
TODO
Check out: Geometry of interaction, linear logic aspects of proof theory with applications to PLT
fear
need to stop filling in fear of myself and paranoia……
I want peace
with myself…. away from the rigors of life as i know…. i have had enough
D day soon enough… too many tension filled days and i my heart feels the weight
On KPN
The Kahn Principle states that each node in an asynchronous deterministic network computes a continuous function from input histories to output histories, and the behavior of the net- work can be characterized as a least fixed point. Fairness plays a vital but implicit role: the Kahn Principle is only sound when network execution is assumed to be (weakly) fair. Kahn’s model does not extend easily...
When things go wrong.....
Revel in your work and go existential…
Among other things… or dream
June 2010
6 posts
GC survey
TODO: read wilson’s GC connection survey and check out benjamin pierce course on proof theory
the curse strikes for LA!
ah… game 7 curse for LA yet again….. long live Magic and his legacy…. looks like no other lakers team will ever beat the celtics
more graph constructions
spatial,relational,string,incomparability
workshops
check out random graals and denmark’s data structures workshop
April 2010
2 posts
NaCl
DJB’s NaCl library for crypto-TODO doc read
Force directed placement
An attempt is made to place cells in their ideal locations by using a mechanical analogy. Two cells separated by a distance D and connected by a net of length L are said to have a force D x L acting upon them. The averaged sum of all such forces on a single cell yields the zero-force target location of the cell.The net weights are treated like spring constants, and the net lengths are treated like...
March 2010
3 posts
dht
there are two primary problems with the DHT approach:
Most DHTs will require a second locking layer to achieve correctness when implementing a more complex data structure on top of the DHT semantics. In particular, this will certainly apply to eventually-consistent systems in the Dynamo mold.
Advanced functionality like range queries needs to be supported natively to be at all efficient.
Mistakes
Still never learn from them, i do not have enough control…… oh….. you weak weak man….. incapable of controlling your own brain…… more disappointments await
Confusion and deception
i feel so fuckin angry all the time.. i sense a great deal of confusion and deceit surrounding me… or just a perception
January 2010
1 post
Confused
I hate everything i see in my heart. A lack of purpose and effort
Confused by romance…. towards life and existence and power
i see the end
Remember Yoda’s words: Train the mind to let go of everything you fear to lose
Well…. thats pretty damn impossible
December 2009
5 posts
i have dreamed a dream
but it just ended
bommalattam
the movie is brilliant….. far ahead of its age….. shitty bollywood cannot even dream of a movie like this
the past haunts me
i have always wondered if others worry abt mistakes they made in their childhood as much as i do
they are not things i did no hurt people… just naivety which can be obscured and probably forgiven because you are supposedly innocent at that age….. however my ego hurts me to accept that…
among other things… the last week has been rather very dull in my otherwise dull...
bah..... art
/me wonders abt all those who do ART for a living! blessed by the Gods are they
Full brunt of grad school
Feeling the brunt of things! cold,depressed and unsatisfied
hopefully i find purpose soon
October 2009
2 posts
grr...
trainspotting- the last fucking movie i needed to watch now
Spivak
Michael spivak’s works on analysis and calculus books were amazin.. now is discovered his physics for mathematicians…. great introduction to mechanics
September 2009
1 post
Avi wigderson at cornell
Avi from IAS gave a wonderful talk on randomization in NP today. His lecture notes are amazin
August 2009
4 posts
Startups
Do startups require a purpose?or is it just cool to “start a company” ?
BPP-semantic class?
Does BPP not belong to RE?
Does PP belong to RE?
Computation structures and OS courses
http://csg.csail.mit.edu/pubs/courses.html
http://www.cs.umd.edu/class/sum2003/cmsc311/Notes/
Math in Sciences
http://www.cs.tau.ac.il/~odedr/teaching/lattices_fall_2004/index.html
http://www.cs.princeton.edu/courses/archive/spring08/cos598D/
And the theorist’s toolkit
Thinking like a theorist
http://www.cs.princeton.edu/courses/archive/fall07/cos597D/Site/lectopics.html
http://www.cs.washington.edu/homes/jrl/tocmath08/
http://www.math.ias.edu/~boaz/ExpanderCourse/
June 2009
1 post
A randomized graph puzzle
From Geomblog
Given an undirected graph G with (possibly different) probabilities on edges, consider the usual random process where we pick each edge independently, but with probability p_e (this is the difference from the standard erdos-renyi model). What is the probability that the resulting graph is connected ?
May 2009
1 post
Binding erlang to port/ip
net_dist_use_interface
inet_dist_listen_min
inet_dist_listen_max
April 2009
2 posts
Wisc PHD quals
http://www.cs.wisc.edu/includes/quals/fc.html
A fine link explaning Zorn’s lemma
http://www.tricki.org/article/How_to_use_Zorns_lemma
Lambdas
From a recent post by andrej,
doesnt work
»> fs=[(lambda n:i+n) for i in range(10)] »> fs[0](4) 13 »> fs[2](4) 13
works
»> fs=[(lambda i:lambda n:n+i)(j) for j in range(10)] »> fs[3](4) 7 »> fs=[(lambda n,i=i:i+n) for i in range(10)] »> fs[2](4) 6
Haskell
Prelude> let fs=[(\n -> i+n)|i <- [0..9]] Prelude> [f(4) | f <- fs]...
March 2009
3 posts
Trippy :P
What a trip!!!
Short film Festival Chennai
http://www.dbica.org/site/english/showcontent.php?menuid=446
DETS and mnesia
DETS uses a buddy system to maintain the freelist, and this freelist grows as the data becomes fragmented. The freelist is held in RAM, so this has a negative effect on memory consumption that gets worse over time. In addition, when you close a dets table, this potentially huge data structure needs to be serialized to disc, which can take a while. The only ways of shrinking the freelist is to...
February 2009
2 posts
mem alloc
http://www.ibm.com/developerworks/linux/library/l-memory/
some links
http://quantummoxie.wordpress.com/2009/01/29/the-beauty-of-group-theory/
http://blogtrader.net/page/dcaoyuan/entry/async_or_sync_log_in
ruiaf.org
January 2009
1 post
CCC
As i sat at the Bcc in Berlin during the Chaos Congress talking to a friend, it dawned upon me that this part of the world will never have an event like that. Maybe its the coldness, the depression or just the fact that things are just too warm here.
The Congress was total fun. The quality of the talks was amazing; a great GO lounge; an even better music lounge and amazing hackers. What more...
December 2008
3 posts
Time reuse?
Chk out games
Braid and chronotron
Wadler's course
http://www.inf.ed.ac.uk/teaching/courses/inf1/fp/
Article on memory walls
http://arstechnica.com/news.ars/post/20081207-analysis-more-than-16-cores-may-well-be-pointless.html
November 2008
10 posts
Must read
http://en.wikipedia.org/wiki/Le_Proc%C3%A8s-Verbal
Must do courses
http://courses.csail.mit.edu/6.042/fall08/
http://www-math.mit.edu/~steng/18.996/
http://www.cs.duke.edu/courses/spring08/cps214/syllabus.html