hbbio

35 ms·

391.
by hbbio 11y ago
Glad to see OCaml gaining steam. This is quite close to another project written in OCaml: Opa ( http://opalang.org ). Opa differs in that it is a new language though, but the compiler is written in OCaml and compiles the Opa lan
392.
by hbbio 11y ago
This is great news (and from a trusted source, CNRS is one of the most prestigious research institute in France, state-owned). As the article says, it's not about having the most performing batteries (they announce 90 Wh/kg which
393.
by hbbio 11y ago
Apparently, the terrorists that attacked the concert hall in Paris last week were using... unencrypted text messages to communicate between themselves and/or their "boss". According to the newspaper Liberation [1], they sent
394.
by hbbio 11y ago
Interesting work. I don't remember who said that "formal verification is the way of the future... and it's going to stay that way!" Quite strange that the article doesn't mention CompCert though, which has an extens
395.
by hbbio 11y ago
This was already posted and discussed here 5 days ago! https://news.ycombinator.com/item?id=10538037
396.
by hbbio 11y ago
This is an interesting project, thanks for sharing. Did you explore the possibility to use LuaJIT instead? The ability to do this and also integrate with Terra http://terralang.org/ would create a great project!
397.
by hbbio 11y ago
Can someone kill this news immediately, please? We fear for our current business model.
398.
by hbbio 11y ago
Here is a copy of the content: https://gist.githubusercontent.com/hbbio/198fa1e4d4cc53b40d0...
399.
by hbbio 11y ago
say -v Thomas "My English is very well."
400.
PEPS: Claim your privacy back with end-to-end encryption(in-peps.tumblr.com)
4 points by hbbio 11y ago|0 comments
401.
by hbbio 11y ago
Exactly. While reading the title, I thought... what a good idea. But what I had in mind, was to use FUSE (Filesystem in USEr space) to locally mount a webservice/API and then use C# native GUIs to do the presentation :)
402.
by hbbio 11y ago
I couldn't agree more! Although biased, I think that Opa is the easier of those technologies to learn and master for developers. And we also have more flexibility due to our compiler (vs frameworks). We have been rightfully compared to
403.
by hbbio 11y ago
Thanks for your message. We maintain a roadmap: https://github.com/MLstate/PEPS/wiki/Roadmap Thanks to Opa (possibly due to that fact that we know how to use it at its best), we are able to develop features v
404.
by hbbio 11y ago
Project creator here (and kind of surprised to see Opa as news). Reading the different comments, I must say that Opa is still active (although we lack resources to animate the community). We are a small French startup meaning that I get to
405.
by hbbio 11y ago
In that space, we also chose the same AGPLv3 for our PEPS project. I blogged about open sourcing the project and the license choice here: http://hbbio.tumblr.com/post/66287893522/open-sourcing-peps-... and HN disc
406.
by hbbio 11y ago
French sources (former head of the French DGSE, of course you may question him) tell however that "we (in France) are light years behind the US in terms of offensive espionage, although we are pretty good at counterintelligence".
407.
by hbbio 11y ago
It would be very interesting to know, technically, what are the interception means. Does it target phone calls, emails, internal spys, other things? From other documents, it appears that the NSA has the ability to listen to phone calls on F
408.
by hbbio 11y ago
Most of the press keeps a neutral tone, which is professional. Approximate translation of Les Echos on my desk: "2500 taxis [...] protested against UberPOP, a service provided by amateur drivers", "the government puts pressur
409.
by hbbio 11y ago
This situation is ridiculous, both for taxis and the government... and will only serve Uber in the long term. Let's share my view as a Frenchy frog :) 1. Taxi drivers began selling each other taxi driver licenses (although they are ob
410.
by hbbio 11y ago
In a side-note in the article, the author mentions that Amazon Glacier runs on tape. Although I'm not sure Amazon officially explained the technology, I heard (and read on Wikipedia) that they store data on conventional HDDs, that are
411.
by hbbio 11y ago
The article is interesting but does not mention a few facts: - In several countries (including France where I live), there is a "tax break" in owning real estate since the virtual rent is not added to revenues (or: you cannot dedu
412.
by hbbio 11y ago
Hacker News, circa 2015. Someone writes a blog post, using JavaScript to explain how modules are used in OCaml. Just in the case it changed during the last 20 years or so. Edit: I'm glad more people learn about OCaml. A few years ago,
413.
by hbbio 11y ago
That's a great project by @amenghra and Facebook's Hack creator Julien Verlaguet! Don't know if it made HN when it was released.
414.
by hbbio 11y ago
No, Schneier's blog is not the source. Instead, it points to the NYT article as the source.
415.
by hbbio 11y ago
One is implemented in Java (Keywhiz), the other in Go?
416.
by hbbio 12y ago
And what should they write? "We support also a device made by another company that you can wear on your wrist. Our maps will be displayed there."
417.
by hbbio 12y ago
Reading this should particularly echo to the French-crowd here, as our government is about to pass one of worst anti-privacy law in history, all in the sake of fighting "terrorism" of course. Side note: The author is also the auth
418.
Net Neutrality: French main operator launches prioritary mobile data(orange-business.com)
2 points by hbbio 12y ago|1 comments
419.
by hbbio 12y ago
This is a very interesting offer, that clearly targets DigitalOcean. The only thing I could not find quickly is info about the company: Is it a startup? Is it funded? Until I found out it's a new product by Online, which is a subsidiar
420.
by hbbio 12y ago
So, it's about Dash + Home Services + Goat Grazer. That beats Pacmaps for sure!

More ›