davidshepherd7

8 ms·

31.
by davidshepherd7 9y ago
There are infinite types of infinity not just two. The result is that they found that two types of infinity that were long assumed to be different turned out to be the same. This is more interesting than it sounds because these infinities a
32.
by davidshepherd7 9y ago
I had a quick play with this today and it seems like something that could be really useful. A couple of relatively minor comments for you: * In C++ it might be useful to filter include guards out of the symbol lists. * I had some problems w
33.
by davidshepherd7 9y ago
I tried it on a fairly big repo today (~500k loc) and once it was done with the initial processing performance was fine.
34.
by davidshepherd7 9y ago
Pretty sure it's compiled,I tried it out and it took a while to process on code that ggtags parses in seconds.
35.
by davidshepherd7 9y ago
It depends on the country, in the UK (which this article is about) prices have been increasing above inflation for years. http://landregistry.data.gov.uk/app/ukhpi/explore
36.
by davidshepherd7 9y ago
In case anyone else is interested this is (probably) the image the "set theory books all the way down" should link to: http://also.kottke.org/misc/images/naive-set-theory-cover.jp...
37.
by davidshepherd7 9y ago
The title of the press release is misleading, there was no non-trivial machine learning/AI involved. "Computers Create Recipe for" translates to: the researchers picked a class of materials, ran DFT simulations (the usual way
38.
by davidshepherd7 10y ago
emacs had a similar effect on me. Configuration is all in elisp so you can happily tumble down a rabbit hole of tweaking settings and find yourself learning all kinds of interesting lispy ideas.
39.
by davidshepherd7 10y ago
Huh, interesting results on my machine: urxvt 0.233 gnome 0.474 st 0.515 xterm 1:13.87 times are total real time, in seconds, seem repeatable from a few runs. I was expecting st to blow everything else away given its
40.
by davidshepherd7 10y ago
Minor bug: If I hit "Create a PDF" without entering any data I get an internal server error page.
41.
by davidshepherd7 10y ago
You could try looking at using ivy instead of helm. Not tried it myself but there was a thread on the emacs reddit last week [1] where people said it's much faster. https://www.reddit.com/r/emacs/comments&#x2F
42.
by davidshepherd7 11y ago
Coursera courses don't always close: I've been doing the compilers recently one and I've not come across any restrictions on access even though the last session was a year and a half ago.
43.
by davidshepherd7 11y ago
I had the same thing, but I was unable to even log in and stop the emails. I had to just mark it all as spam in the end.
44.
by davidshepherd7 11y ago
But `sort` has to read all the input before writing any output (I think...). So you get some parallelism but not as much as you might hope.
45.
by davidshepherd7 11y ago
So it still fits the definition of perfect secrecy, but (with vanishingly small probability when the key is large) it's possible for a key to be chosen that is more "guessable"? I don't think this is a problem. Depending
46.
by davidshepherd7 11y ago
Just in case the authors are reading the comments: the second paragraph of section 1.1 ends mid-sentence, and even worse is missing the closing parenthesis!
47.
by davidshepherd7 11y ago
Emacs with ido or helm does this [1] but unfortunately it requires quite a bit of customisation, and even more customisation to get nice fuzzy matching. It does include every possible command though, and it can show keyboard shortcuts. [1]:
48.
by davidshepherd7 11y ago
That's one of the things I really like about Unity. Can't remember which menu the mouse settings are buried in? No problem, just type "mouse" into the dash.
49.
by davidshepherd7 11y ago
The ease of installing packages in Emacs has improved hugely in the last few years, so I think it's getting better for beginners already.
50.
by davidshepherd7 11y ago
It seems nice, but not quite as powerful. I like the way the tracing macro automatically prints every intermediate value, but q doesn't seem to do that.
51.
by davidshepherd7 11y ago
Their argument [0] against namedtuple is that the namedtuple implementation is basically a hackier macro anyway (format a string then eval it). But I agree that it's not the most impressive example of what you can do with macros (see m
52.
by davidshepherd7 11y ago
Some of these things look really nice. I'm particularly impressed by the tracing macro: with trace: sum = 0 for i in range(0, 5): sum = sum + 5 prints sum = 0 for i in range(0, 5):
53.
by davidshepherd7 11y ago
Related: there are a few emacs plugins that can do structural editing for lisps. http://danmidwood.com/content/2014/11/21/animated-paredit.ht... https://github.com/Fuco1/smartparens
54.
by davidshepherd7 11y ago
I had problems with this sort of thing while I was doing my PhD and working stupid hours every day. When it got really bad I decided to cut back to a normal working week and it seems to have helped (eventually). So if you're working al
55.
by davidshepherd7 11y ago
I was skimming the abstract and got as far as "forced swimming" before I realised that the test subjects were not human.
56.
by davidshepherd7 12y ago
I use a short shell function for this: take-a-break () { if [ $# -lt 1 ]; then length="60" else length="$1" fi echo "Take a break in $length minutes at $(date --date="+$le
57.
by davidshepherd7 12y ago
Are you using a bleeding edge distro? I've been using the version of xmonad from apt-get in Ubuntu (usually the latest release) for ~3 years and it's never broken or required me to change my config.
58.
by davidshepherd7 12y ago
I started taking fixed breaks every hour to (try to) reduce my rsi pains and it does seem help my productivty. I used to check reddit/hn/feedly whenever I got really frustrated with something but now I usually power through it bec
59.
by davidshepherd7 12y ago
Thanks, for anyone curious here's what emacs does with the first example: http://imgur.com/Rddi9QH compare with color_coded: https://camo.githubusercontent.com/5cf719c6357f27b86c45bf9b5... So it looks
60.
by davidshepherd7 12y ago
Have you got a plain text version of the highlighted source examples somewhere? I want to compare it with emacs' default highlighting (I think default emacs highlights almost as much as the "After color_coded" screen shot).

More ›