Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
gre
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
32 ms
·
331.
▲
by
gre
11y ago
Can't you just brush your teeth afterwards?
332.
▲
by
gre
11y ago
mensa means stupid in spanish.
333.
▲
by
gre
11y ago
Unix stderr not https://en.wikipedia.org/wiki/Standard_error
334.
▲
by
gre
11y ago
@gpaumier Your response to this guy is [dead] so you might be shadow-banned, or some funny business about your account being too new. Nobody can read your comments unless they have enabled their account to read [dead] comments. Nice article
335.
▲
by
gre
11y ago
How well did it go, for those of us who aren't experts on land mine manufacturing and policy since 1997?
336.
▲
by
gre
11y ago
A screenshot won't help much. It has some kind of acceleration so when you scroll it moves twice as far as you'd like.
337.
▲
by
gre
11y ago
I'm not a twitter power user, so what exactly do you want to control about your twitter content? More than just deleting tweets/pictures? Serious question.
338.
▲
by
gre
11y ago
It was a syntax error in my ``.git/config``. Here you go: http://forums.gitup.co/t/improved-error-message-idea-if-a-fe...
339.
▲
by
gre
11y ago
When trying to fetch, I get: "Unsupported url protocol."
340.
▲
by
gre
12y ago
They mean the signals last about a millisecond.
341.
▲
by
gre
12y ago
Open the browser console, go to the resources tab, and delete all the soundcloud api local storage/cookies/etc. Perhaps at soundcloud.com too. I had that problem, mine works now.
342.
▲
by
gre
12y ago
Code terrorism at its worst.
343.
▲
by
gre
12y ago
Besides the space shuttle?
344.
▲
by
gre
12y ago
What does 1994 have to do with it? Homotopy type theory as a framework for doing proofs is exciting. Vladimir Voevodsky had a talk somewhere on youtube in which he claimed you could get similar length proofs in Coq using HoTT as you could o
345.
▲
by
gre
12y ago
He's clearly not ignorant of computer assisted proofs, but I also wish he'd show more enthusiasm for them. https://www.maa.org/external_archive/devlin/devlin_01_05.htm...
346.
▲
by
gre
12y ago
One of my favorite jazz pieces is Happy Madness off a Jobim compilation album. The whole piece tries to get you to hear a specific note, and then tricks you with a different one. https://www.youtube.com/watch?v=AIphJGkY3Rw
347.
▲
by
gre
12y ago
Check out my other comment below. Factor has with-rounding-mode and you can nest these modes. Example: +round-up+ [ 1.0 3.0 /f double>bits .h +round-zero+ [ 1.0 3.0 /f double>bits .h
348.
▲
by
gre
12y ago
Factor has a library for setting up floating point environments that might interest you. I think we implemented all of the functionality you might need and it's nestable with dynamic scoping. I haven't needed to use it for anythin
349.
▲
by
gre
12y ago
Factor is general-purpose and you can write most anything you want at this point. Here's tar in Factor: https://github.com/slavapestov/factor/blob/master/extra/tar/... For untarring the li
350.
▲
by
gre
12y ago
Chris Knight was the name of Val Kilmer's character in Real Genius.
351.
▲
by
gre
12y ago
C programming 101.
352.
▲
by
gre
12y ago
Here's a Blackhat video with a complete C# WoW client from 2006. https://www.youtube.com/watch?v=bKbZdlUFAK4 11:55
353.
▲
by
gre
12y ago
It's just disingenuous to say that LISP has extremely simple syntax and then show the DSL for format, which is anything but LISPy or simple.
354.
▲
by
gre
12y ago
Simple syntax "Hello world!" ++++++++[>++++[>++>+++>+++>+<<<<-]>+>+>->>+[<]<-]>>.>---.+++++++..+++.>>.<-.<.+++.------.--------.>>+.>++.
355.
▲
by
gre
12y ago
The DSL for string formatting certainly doesn't look simple. (format t "~{~@(~A~)~^ ~}, because ~{~A~^ ~} is easier!" llthw (cddr llthw))
356.
▲
by
gre
12y ago
The Android version has not been amazing for me. It crashes several times a day, switching rooms is clumsy and slow, and the push notifications arrive minutes after I've already replied to a message, so the phone is constantly buzzing
357.
▲
by
gre
12y ago
I enjoyed it. Kind of a sad story though. What's with the other reddit guys refusing to be in it?
358.
▲
by
gre
12y ago
You sound like the kind of person who would watch an entire light sequence and not turn. Ugh.
359.
▲
by
gre
12y ago
50ns in 1988?
360.
▲
by
gre
13y ago
I saw the first two episodes at SXSW and it's hilarious.
More ›