psuter

12 ms·

61.
by psuter 11y ago
After 10 years of programming in Scala, I must admit I still don't know which style I prefer.
62.
by psuter 11y ago
This gives you fun results: https://www.ibmchefwatson.com/tupler
63.
by psuter 11y ago
If you believe this list [1], South Korea, Germany, Switzerland, among others (I've informally excluded tiny and oil-rich ones). [1] https://www.cia.gov/library/publications/the-world-factbook/...
64.
After Dark in CSS(bryanbraun.github.io)
8 points by psuter 11y ago|2 comments
65.
by psuter 11y ago
It says you're also using the MaxMind DB? I assume this is the free, public set? (I still the value of the API.)
66.
by psuter 11y ago
Comparing with DigitalOcean (seemingly CloudScale's model), what's missing here for me is a dirt-cheap, let's-spin-a-VM-for-a-single-webpage option. I want something like CloudScale to exist so I'll definitely give it a
67.
New Year Resolutions(scala-lang.org)
3 points by psuter 11y ago|0 comments
68.
by psuter 11y ago
According to their respective Wikipedia articles, the lake behind the Hoover Dam has a volume 108x larger than the lake at Sarrans. [1] It's unclear whether the same techniques apply. [1] http://www.wolframalpha.com/inp
69.
Swift is Open Source(swift.org)
1824 points by psuter 11y ago|432 comments
70.
by psuter 11y ago
Arguably, most professors run their labs in the same way Damien Hirst runs his studio, focusing on "design" and "sales".
71.
by psuter 11y ago
I finished the EB-1 process this year. As thankful as I may be for how it worked out eventually (and knowing that most employment based petitions do not fall in this category), I still regularly show people the picture I snapped of the 6 po
72.
by psuter 11y ago
The Dutch East India Company also had an economic application of fire, namely in burning down any production of spices they did not control. I don't know about better management. http://www.bbc.com/news/magazine-18
73.
by psuter 11y ago
This doesn't require a huge database, but as interesting use, the games are used to generate chess-themed CAPTCHAs, example here: http://en.lichess.org/signup
74.
by psuter 11y ago
1) The UI+UX is superior, 2) it evolves very quickly, often as a response to user requests, 3) it is entirely free/follows a libre philosophy. The importance of point 3) varies between individuals. Where the competition shines is in th
75.
by psuter 11y ago
From the paper, I gather that Giraffe uses standard alpha-beta search with a heuristic for position evaluation. The learning applies only to the heuristic. I.e. they did not train a learner to point to the next best move, they trained one t
76.
by psuter 11y ago
If anyone knows how to do that reliably on Android (not CyanogenMod), I'm all ears.
77.
Solar Impulse Flying Over the Pacific Towards Hawaii(solarimpulse.com)
3 points by psuter 11y ago|0 comments
78.
by psuter 11y ago
Symbolic reasoning involves a lot of term-matching and term-rewriting. These tasks are best accomplished in programming languages that have first-class support for recursive terms (aka. algebraic data types). Popular candidates these days a
79.
by psuter 11y ago
Midtown is not particularly expensive (for Manhattan). It's on par with Upper West Side, and cheaper than many neighborhoods downtown. http://www.mns.com/manhattan_rental_market_report
80.
by psuter 12y ago
The 543 digit number encodes log(10^543, 2)~=1803.8 bits, and the image is 17x106=1802 bits. It's going to be hard to fit it in there.
81.
MIT CSAIL Students Are Launching a Cybersecurity Startup Program(bostinno.streetwise.co)
2 points by psuter 12y ago|0 comments
82.
by psuter 12y ago
Either I misread the parent's question or (s)he edited it. I had read it as "[...] cases where Z3 will say sat, but not output a proof when you ask for it", and was simply trying to clear up the misunderstanding that a &#x2
83.
by psuter 12y ago
Models are not proofs (in fact they're the opposite). In SAT/SMT, a proof is a sequence (a tree really) of deductions that show that you can conclude "false" from the set of initial assumptions, and that, therefore, ther
84.
by psuter 12y ago
Code with many implicit parameters and higher-kinded types is hard to compile, as the compiler needs to solve essentially a Prolog-ish unification problem. Scalaz is a popular library written largely in this style (e.g. [1]). (FWIW I'v
85.
by psuter 12y ago
The article is by the curator of that website, as mentioned in the first two sentences of the author bio.
86.
by psuter 12y ago
Very interesting and educational read. Even if you know a little bit about how IPOs work, reading through the complete timeline helps understand the roles and the steps involved. One question that came after reading: The underwriter w
87.
First Round-the-World Solar Flight Route Announced(solarimpulse.com)
1 points by psuter 12y ago|0 comments
88.
by psuter 12y ago
Looks like the focus of the article is on alternative techniques to determine creditworthiness. Lending Club, as I understand, relies mostly on traditional credit scores, which does not make them particularly innovative for this particular
89.
by psuter 12y ago
I have played Colonization for countless hours and yet had never seen the manual, thank you very much for pointing it out! Incidentally, for many years, everything I "knew" about the colonial & revolutionary times in the US, I
90.
by psuter 12y ago
Good catch. Leon indeed currently models the `Int` type as mathematical (unbounded) integers. There is a project in the works to correct this semantic difference with Scala, and have `Int` be signed 32-bit bitvectors and `BigInt` be the mat

More ›