Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
anaphor
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
80 ms
·
751.
▲
by
anaphor
13y ago
He was probably still working on a way to compromise Snowden while leaving all of the users still secure, and the FBI was probably just impatient. But that's pure speculation on my part.
752.
▲
by
anaphor
13y ago
Civil Disobedience
753.
▲
by
anaphor
13y ago
The argument that they will know which services not to use is nonsense. It's obvious to anyone with half a brain to not use things like Skype if you're doing something that might attract the attention of the NSA, DHS, etc... even
754.
▲
by
anaphor
13y ago
That doesn't contradict the use of pattern matching in OCaml.
755.
▲
by
anaphor
13y ago
How is it a misuse of the term "pattern matching" ?
756.
▲
by
anaphor
13y ago
You could've avoided a lot of the "case of blah" nonsense in the Haskell code by using Data.Maybe and Data.Either, just sayin'.
757.
▲
by
anaphor
13y ago
Yes, this is what I've been saying all along. CS does not alter the semantics of JS, it is just a different syntax for the same language. A PL is not just its syntax. I sometimes hear new programmers say something like "it's
758.
▲
by
anaphor
13y ago
I believe it has to do with features like subtyping and method overloading which cause havok for global type inference. Found a paper here: http://ropas.snu.ac.kr/lib/dock/HoMi1995.ps
759.
▲
by
anaphor
13y ago
Pretty sure those are runtime contracts, not static types. Also see https://en.wikipedia.org/wiki/Structural_type_system
760.
▲
by
anaphor
13y ago
One of the TR maintainers (samth?) told me on IRC a while ago that it is very infeasible to do global type inference (top level) for TR. So I'm not sure how much you could get done in so short a time.
761.
▲
by
anaphor
13y ago
Fair enough, it does sound like an interesting research project, I'm just not sure what will come of it. Can you make any speculations about what those directions might be? Or is it too early? Edit: global type inference? I thought tha
762.
▲
by
anaphor
13y ago
I still don't think this is worth supporting if you don't use Clojure. As far as dynamic languages go, I already use Racket quite a bit and as mentioned I can just use Typed Racket if I want, or I can use Racket's excellent c
763.
▲
by
anaphor
13y ago
If memory serves, he was actually busted for drug possession not long after the gawker article went up, but he's not actually being prosecuted for that is he?
764.
▲
How To Get Tenure at a Major Research University
(preposterousuniverse.com)
2 points
by
anaphor
13y ago
|
1 comments
765.
▲
by
anaphor
13y ago
http://careers.stackoverflow.com/
766.
▲
by
anaphor
13y ago
OK so they're using phishing techniques. Definitely cracking if that's the case. Arguably the entire site is one big phishing scam.
767.
▲
by
anaphor
13y ago
Especially the part about KDFs being deliberately slow, and according to him that somehow implies that RNGs should also be slow. Whut? This guy is really a CTO?
768.
▲
by
anaphor
13y ago
I'm in an honours program at university and I get orders of magnitude less homework. Of course the work requires much more thought and maybe more reading, but the people designing public school curriculums really need to learn how peop
769.
▲
by
anaphor
13y ago
Did you know that Neal Stephenson wrote Cryptonomicon mostly with a fountain pen? Seems to work well for some people.
770.
▲
On Interdisciplinary Collaboration and "Latent Personas"
(languagelog.ldc.upenn.edu)
1 points
by
anaphor
13y ago
|
0 comments
771.
▲
by
anaphor
13y ago
I like the precedence climbing algorithm since you can easily fit it into a normal recursive descent parser and it allows you to easily add new operators just by putting them in a table. See: http://eli.thegreenplace.net/201
772.
▲
by
anaphor
13y ago
Tried this? http://tinlizzie.org/ometa/
773.
▲
by
anaphor
13y ago
Sounds like the application of sociolinguistics and pragmatics to programming languages, not an unreasonable thing to explore I guess.
774.
▲
by
anaphor
13y ago
Even if you're publishing nothing really new, you can publish something that looks at something in a slightly different way and it can be useful to some people. I agree that a lot of these papers are poorly written, but there's no
775.
▲
by
anaphor
13y ago
This one is pretty good too: http://www.amazon.ca/The-Social-Construction-What-Hacking/dp... Ian Hacking has some engineering cred too given that he's written several great books about statistics that don't s
776.
▲
by
anaphor
13y ago
Related: http://stfucontinentals.tumblr.com/
777.
▲
by
anaphor
13y ago
Most people use preground beans in one of those crappy coffee makers that burn the coffee. Even most people who get french presses probably overgrind their beans or leave it in the press too long, so I think it's useful advice if you&#
778.
▲
by
anaphor
13y ago
Thanks for mentioning that, I had a feeling of deja vu that I couldn't figure out. It was an awesome hack anyway.
779.
▲
by
anaphor
13y ago
Okay, that's cool, but I still think a lot of the explanations wouldn't make sense with code translated to JS, because of the lack of homoiconicity.
780.
▲
by
anaphor
13y ago
Most of chapter 4 will be impossible to really translate to JS because JS has no macros (required to implement some of the special forms like delay) and isn't homoiconic.
More ›