HN user

stralep

349 karma

Student of EE

Currently exploring functional programming and dependent type systems

Also working in small software company in Belgrade

my_nickname at gmail

Posts24
Comments108
View on HN
secure.phabricator.com 12y ago

Things You Should Do Now

stralep
1pts0
gerph.org 13y ago

Justin's RISC OS Rambles (2013)

stralep
2pts0
twentytwowords.com 13y ago

Designers graphically represent awful client feedback

stralep
1pts0
blogs.atlassian.com 13y ago

Agile Context Switching with "The Disturbed"

stralep
1pts0
stackoverflow.com 14y ago

Emacs network keyboard [emacspeak, android]

stralep
2pts0
rachid.koucha.free.fr 14y ago

Using pseudo-terminals (pty) to control interactive programs

stralep
1pts0
mro.massey.ac.nz 14y ago

Expressibility of higher-order logics on relational databases

stralep
1pts0
www.cling.gu.se 14y ago

Spanish Morphology in Haskell

stralep
30pts2
eclim.org 14y ago

Eclim - bringing Eclipse functionality to the Vim editor

stralep
43pts12
theamericanscholar.org 14y ago

The Disadvantages of an Elite Education

stralep
7pts0
cscope.sourceforge.net 15y ago

The Vim/Cscope tutorial

stralep
1pts0
alfmikula.blogspot.com 15y ago

Using Spaced Repetition Software to Master Vim

stralep
2pts0
en.wikipedia.org 15y ago

Uniqueness type

stralep
2pts0
www.dirigibleflightcraft.com 15y ago

Kindle typography

stralep
2pts1
letac.tumblr.com 15y ago

Should I write commit messages - first?

stralep
10pts1
jmilne.org 15y ago

Guide to Commutative Diagram Packages --- J.S. Milne (LaTeX)

stralep
1pts0
www.rayninfo.co.uk 15y ago

Best of Vim Tips

stralep
8pts0
news.ycombinator.com 15y ago

Ask HN: Any advice for single-hand typist?

stralep
9pts10
blog.on-a-horse.org 15y ago

Released, Crashed, Optimized - Haskell on Horse 0.2

stralep
1pts0
www.reddit.com 16y ago

Languages and Lambdas: The Mathemagic of Programming [Class on UniOfReddit]

stralep
29pts5
arstechnica.com 16y ago

Microsoft Explains Mystery Firefox Extension

stralep
1pts0
lambda-the-ultimate.org 16y ago

Why are objects so unintuitive?

stralep
23pts32
setl.org 16y ago

On the world's most wonderful programming language - SETL

stralep
7pts10
yiyinglu.com 16y ago

Yiying Lu

stralep
1pts0

Really, could anyone handle more than a few layers at the same time? It is sometimes useful to know how hardware (I'm looking at you, L2 cache!) works, but even then a bit simplified version can do the job.

And from time to time there comes another layer on top of everything else, and you wish you could forget the lowest layer you know, just to not start going insane. Or at least to slow it a bit :)

I agree, but this should have been from the start, or at least from UNIX-Internet marriage. My point was little tongue-in-cheek, but I believe that during the years UNIX has got things that are not truly with their initial idea. Or little more interfaces than necessary.

I completely agree with this:

It exchanges one form of duplication for another, not eliminates it.

The real "problem" is that textual code is generally one-dimensional in nature, but we are interweaving two dimensions of option combos. It's allegedly a limit inherent to textual code, regardless of paradigm used to write the code.

I'm currently thinking of language with "code" laying in database of sort, and text is just a view of real data. Of course, there would be some text serialization, but it wouldn't be the "true way" for programming it...

This is extremely cool.

Only one thing I would suggest really - width of linked Stypi page should have some reasonable maximum width, something close to 80 chars. Otherwise, it is really hard to see where all changes are made when browser is maximized.