thu

I'm from Belgium, just like Pieter, and a former colleague of mine worked with him and knows him well.

I didn't want to read its previous blog post when I saw the title on HN. Then that former colleague posted it on Facebook, and I told myself the title was about Pieter himself.

The father of my girlfriend died from cancer a few months ago. When I met him three years ago he was fine.

Not sure if it is a good idea to read this post if you're too close to depression but it is actually almost playful.

"Internet hugs..."

For those in this thread that speculate about hitting this or this before reacting: nuclear weapons take a certain time to reach a target and retaliation would happen before _any_ nuclear explosion occurs.

There was a kickstarter[0] about reissuing that manual. I'm sad I missed it.

If I understand correctly, they did another kickstarter for another manual and then released it again[1] in smaller format out of the kickstarter. Maybe they'll do the same here.

By the way, I found about this manual when I was specifically looking for inspiration about old space race era graphics design. The inspiration is for a SaaS website. I'm one of those that would like the web was more about content and less about big pictures, parallax effect, ... In particular, the manual uses classic quality fonts that are now regarded as unprofessional by web designers because they are too ubiquitous. I would be very tempted to use them.

[0]: https://www.kickstarter.com/projects/thestandardsmanual/reis... [1]: https://standardsmanual.com/

You'll have to invest into learning a few legal things, one of them being how to liquidate a corporation. For instance how much does it cost to wind up ?

I think participating to a YC batch requires to be incorporated in the US.

You should read the parts where it says US has done similar tests and that "In response to US weaponisation of space, the Chinese started a space defense program, including anti-satellite defense."

That being said, this is a great example related to the OP (e.g. number and sizes of tracked debris and for how long they remain dangerous).

Any reason you don't use HAProxy for SSL termination too?

I reported it a long time ago and it was eventually fixed a few months later. The bug report is on Launchpad but I don't know if they opened it to the public. Here is a similar issue filled on GitHub (they moved there from Launchpad and they're now called Odoo): https://github.com/odoo/odoo/issues/7243

OpenERP, at least back then, was using a single PostgreSQL cluster for a given OpenERP server. Each tenant has its own PostgreSQL database. In multiple places, OpenERP offers the administrator role of a tenant to customize OpenERP with Python code. Basically you can inject Python code for execution, and it is run in the same processes used for every tenant. OpenERP tries to limit what the Python expressions can do.

The idea of what I did was, starting from the objects I had access to, to find a way to get a database cursor to another database than mine.

The connection pool in OpenERP is custom and part of the Python code base.

To get the cursor, I poked at some object, took its class and reinstanciated (this is all straightforward to do in Python) it with the name of another database (listing other databases was another longstanding issue of OpenERP).

When I was working for OpenERP, I thought it was surely possible for a user of one database to access other databases (when OpenERP run in multi-tenant mode, which was the case of the official OpenERP SaaS offer) by poking around the connection pool. And indeed in less than an hour I found a way to connect to any database. The fact that you can quickly find bugs when you have an idea of what you can look for is quite scary.

Yes indeed.

Oh I was following the same path and was mising a library or two. The result is similar to Michael's scratch image: https://gist.github.com/noteed/4155ffad2b1d13ab17ee

The resulting image for "hello world" compressed with `xz` (default options) is 1.5MB. And it runs in a chroot or with qemu too.

Your example is very different. It seems you're still describing a pure API: testing those new function implementations can be done with the same test suite used for the slower variants.

In the blog post the author choose to specify that the observable behaviour is not pure.

He didn't give it away. He licensed it under a specific license he chose and people have to accept if they want to use his work.

Say that I help you with some endeavour of yours, and that I do that provided you do the same with an endeavour of mine. You accept, so I help you, then you decide to not help me. The harm is that you have extracted value from me by promising to me something you didn't deliver.

In the GPL licensing case, the harm is that he choose to provide his code under GPL provided those who use it would put changes and derivative works under GPL too.

In particular, this means that VMWare choose to use GPL code knowingly they would have to share the result but they didn't. The harm is much bigger in that everybody who is happy with GPL code can't use VMWare's code. That's a lot of people.

The name you want for "in the language" is EDSL: Embedded DSL. DSL is quite often used for library-level constructs but really, any concrete syntax (e.g. graphviz's dot format) is a DSL.

The verbosity of Java isn't necessary in all statically-typed languages. For instance Haskell is no more verbose than, say, Python, and has an even more expressive static type system than Java.

Oh thanks for mentioning [4], I always thought 2FA using PAM disabled the key-based authentication and used passwords.

It would be interesting to see if QC would find data easily that brake the implementations or require some tuning in the way it generates test data.

And sorry, I have downvoted you by mistake when I wanted to reply.

Here in Belgium, there are terms that people put in their legal document that shouldn't be present and would be considered invalid (as if they were not present) irrespective of the fact you agreed to them.

Examples that come to mind: prohibit people renting an apartment to have a cat, reduce the time you have to return a product bought online (and get a refund) to less than the legal time, ...

I wonder how many man-month or how much money was put into GHC vs. cpython.

I guess by "what we have today", parent was referring to helicopters.

If you don't want the snappy part, it seems you can use a straight Ubuntu Core (not necessarily the Snappy Ubuntu Core).

Lazy vs strict evaluation: Lennart, the author of the Mu compiler, has written about it: http://augustss.blogspot.co.uk/2011/05/more-points-for-lazy-...

"You're golden."

Indeed you are: you can use Haskell and GHC and reap the benefits of programming language and compiler experts. You can read the slides again and see that many things explained there are possible with GHC and don't require Mu.

I guess you can make a similar comment about PHP and Facebook. Facebook do have experts in compiler/interpreters to change the language/implementation to make it good at their scale.

Same for the Linux part of their blogs subdomain.

But Varoufakis still blogs at http://yanisvaroufakis.eu/

Not related to this thread, but to your comment about the Maple Leaf: http://www.newsweek.com/why-rebel-groups-love-toyota-hilux-7...

Edit: Sorry, I didn't see it was paywalled (I'm not a subscriber of that site). I now see that it counts your visits and disable itself after a few times. "Private" browsing seems to solve the problem.

Check the previous related submission (linked in this thread), there is the same comment as yours with answers.

The domain `.ac.be` should be treated similarly to `.co.uk` by HN (ac means academia). Here the domain that appears in parenthesis next to the link should be `vub.ac.be`.

For the interested, I have implemented Cardelli's paper here: https://github.com/noteed/mojito/blob/master/Language/Mojito...

I think the online version of that book actually uses Haskell (but the text still refers to Miranda).

The piece table/chain description makes me think to an interactive xdelta (which is for instance used in Git).