BenoitP

60 ms·

751.
by BenoitP 10y ago
I'd expand the jar to include "Simple" alongside "Just". I have learned over the years that Simple means: no one has spent time thinking about it. Simple means you are going to have to implement it alone, and take b
752.
by BenoitP 10y ago
> TDD is a bit like waterfall, in the sense that you're assuming you know what the code needs to do before you write it Very true; but there are cases where you actually have that knowledge. If you are asked to port some application
753.
by BenoitP 10y ago
Do you mean replacing word2vec -> t-SNE(2D) -> HDBSCAN by word2vec -> t-SNE(10D) -> HDBSCAN -> t-SNE(2D) (or just 2D projection that separates well the centroids) ? ---- About clustering in 300D, specifically for word2vec vec
754.
Why Writing Correct Software Is Hard(blog.paralleluniverse.co)
24 points by BenoitP 10y ago|0 comments
755.
by BenoitP 10y ago
> [...] A Hidden Dimension in Natural Language Mmmh > [...] We show that in many data sequences — from texts in different languages to melodies and genomes Hum, ehrm > [...] natural languages are poorly approximated by Markov proce
756.
by BenoitP 10y ago
I heard the read storm problem has been solved by Shenandoah, a GC developed by Christine Flood (who was in the original GC G1 team at Sun in 2001). It is under the RedHat umbrella and should be merged in OpenJDK [1]. Shenandoah uses a forw
757.
by BenoitP 10y ago
Link is a feed. Here is the article: https://www.theguardian.com/uk-news/2016/jun/25/sturgeon-see...
758.
by BenoitP 10y ago
This is probably because MIME != codec.
759.
by BenoitP 10y ago
I don't know if this answers your question. I feel like it is about enumerating the possible states your program can be in. You could model it in TLA+, which is about Temporal Logic of Actions; a good fit for modeling the happens-befor
760.
by BenoitP 10y ago
I have been thinking about toying with JVM's Graal compiler (JIT and customizeable deopts for the price of an interpreter). But with a language that has few corner cases. I was thinking maybe regexes, or brainfuck, or QBasic. I'd
761.
by BenoitP 10y ago
How come: 14.2 + 7.5 == 21.7 != 20.8 ? Does the gravitational wave contain 0.9 solar masses of energy?
762.
by BenoitP 10y ago
Thanks for the clarifications. > you'd want to expose all of this info in the types This is a just a generic idea. I meant the type system would let you express some property; and it would carry it to the rest of the program. In an
763.
by BenoitP 10y ago
> [...] provide atomic operations on stacks and queues, such atomic operations cannot be combined into larger atomic operations Questions aboud. Is this about combining operations and then reducing them to a single atomic (read intel&#x2
764.
by BenoitP 10y ago
> combining these assets would be unique > LinkedIn's graph interwoven throughout Outlook, Calendar, Active Directory, Office, Windows, Skype, Dynamics, Cortana, Bing and more > LinkedIn’s full potential [...] within the enter
765.
by BenoitP 10y ago
> I almost feel like I am writing code at some points I have this theory that the game designer(s?) actually took some pages from a multithreaded programming book and turned them into a game. A kind of meta-game. Items are messages, tran
766.
by BenoitP 10y ago
> MVP (Version 1.0) expected to be shipped this summer Yay!
767.
by BenoitP 10y ago
Alright, reading further takes us to Cling [1], which is an interactive C++ interpreter [1] https://root.cern.ch/cling
768.
by BenoitP 10y ago
In the divide between AOT and JIT, and not being able to have them both, is the deoptimize question. You come back from JITted code to a specific call site; which is easily available to you if you're in an interpreter, but might have b
769.
by BenoitP 10y ago
I think your question is oriented towards X being a business problem. Netflix has users (say 100M) who have been liking some movies (say 100k). Say The question is: for every user, find movies he/she would like but have not seen yet. T
770.
by BenoitP 10y ago
True. I wonder if the "Extern objects" section mentioned malloc for a reason.
771.
by BenoitP 10y ago
In all these Fintech initiatives, I have not read a single line about what will secure the unforkability of their block chain; Which is Bitcoin's innovation. How will they do it? Random election? Vote? Majority? Everyone can veto? I gu
772.
by BenoitP 10y ago
> move state archival records onto the open-ledger technology known as blockchain > blockchain’s security and low cost > We’ll start with low-risk things TL;DR: Signed documents registry first; contracts maybe later.
773.
by BenoitP 10y ago
I'll take a bite. A currency that is backed by a powerful and stable state. A state that enforces nearly constant but low inflation; a process by which money has to be invested and flow into an economic system in order to have a shot k
774.
by BenoitP 10y ago
About how this cultural divide came to be, part of me thinks that blanket rejection of "what works" is a sound strategy as an individual. You don't want to work on a successful project. Successful projects are the ones you ha
775.
by BenoitP 10y ago
TL;DR: > establish securities ownership registers using blockchain [...] post-trade And no word on the rules of block validation (round-robin? vote?)
776.
by BenoitP 11y ago
Great question. I'm a huge fan of separating the business specifications from talking about the execution. ------- Some runtimes will do this under the hood. RDBMS execution plans are a good example. Plan costs are calculated using dat
777.
by BenoitP 11y ago
I'm not very well informed, but this probably has to do with the Dotty platform. Based on the Dependent Object Types calculus [1], which Martin Odersky says is the ultimate essence of Scala's types: > [...] new foundation of Sc
778.
by BenoitP 11y ago
While it is clearly propaganda for VoltDB, it does a good job of adressing some of the myths of SQL-slowness that we don't see very often. Usually a lot of people saying SQL is slow is because they don't really use it well. He doe
779.
by BenoitP 11y ago
Coverage will come, the leaks started later in the day in the US. As for no American politicians or businessmen, it can be explained by sample size: The USA might have their own internal money dirty money path. Or maybe the tax haven of cho
780.
by BenoitP 11y ago
All shards compute their own, and send the result in a non deterministic order. My explanation is that the merge part of HLL depends on the order. Line 95 of this method [1] from this implementation [2] shows a max(mask(x), mask(y)), which

More ›