HNHacker News
TopNewBestAskShowJobs

maattdd

483 karma · joined October 21, 2015

submissionscomments
maattdd··on Object-oriented programming: Some history, and challenges for the next 50 years [pdf]
Yes, it's called a closure.
maattdd··on Reflections on my first completed application in OCaml
Well for example in the upcoming 4.12, the core team has integrated plenty of "practical" language features (such as support for iOS/OSX ARM64, or many changes related to multicore).
maattdd··on We need less powerful languages (2015)
Some people are already exploring this idea of "language subset".

For example, Dhall (https://dhall-lang.org/) could be seen as a subset of Haskell, with less features but guaranteed termination!

maattdd··on Explicit term inference with Scala 3
- compilation time
maattdd··on Standard ML in 2020
Anonymous record in SML is equivalent to polymorphic record in OCaml ? (basically, "structural" record)
maattdd··on Docker Considered Harmful (2016)
Mirage OS is exploring this idea (building custom VM imagine instead of just a docker container).
maattdd··on Motoko, a programming language for building directly on the internet
The binary ! operator. (inspired by Dlang)
maattdd··on Dnjs: A pure subset of JavaScript that wants to replace configuration languages
Too dangerous!

Your JS/Python/Lua code could do plenty of non desirable stuff (infinite loop, download trojan from the internet...etc).

Dhall lang for example forbids all this, but still allow you to write simple functions to avoid repeat yourself.

maattdd··on Compiler Explorer
I did a submission 2 days ago about an impressively smart optimization in Clang (GCC doesn't) from a badly linear isEven function : https://news.ycombinator.com/item?id=24049872
maattdd··on Microservices Considered Harmful (2019)
This is exactly the point of the original article by Monzo. Microservices don't provide any tool to deal with access control, thus you have to implement it yourself. I rather avoid that when I can.
maattdd··on GitHub is now free for teams
This is precisely what he is saying.
maattdd··on The Nobel Prize in Physics 2019
Another fun fact which show the strong relation between Mathematics and France, which is still strong in the XXe century: https://en.wikipedia.org/wiki/List_of_countries_by_number_of... (France is dwarfing other countries in Field Medals per capita).
maattdd··on TypeScript 3.6
It is not unique, union type and path aware type system will do this, for example in Crystal: https://crystal-lang.org/reference/syntax_and_semantics/unio...
maattdd··on A dream of an ultimate OS (1995)
Unrelated to the article, but the author (Oleg) is one of the star of the typed functional programming world. For example, one of his research project (BER MetaOCaml) is about generating typesafe OCaml at runtime (to improve performance mostly). I strongly recommend you to check this (http://okmij.org/ftp/ML/MetaOCaml.html) if you are interested in the field.
maattdd··on China unveils 600 kph maglev train prototype
The French record was with a modified test unit but on a regular track (LGV Est), albeit with upgraded voltage.
maattdd··on Miso: A tasty Haskell front-end framework
The linked TodoMVC example is a 1.2MB js file. GHCJS takes its toll indeed.
maattdd··on An Encyclopedic Treatment of Type Design, Typefaces and Fonts
The author of this website (Luc Devroye) has been my professor at McGill, and he might be the most impressive professor I've ever met in my student life.

He only does classes at 8:30 and on blackboard, with a lot of humor and history of science stories in the middle. He was supposed to write an algorithm book at some point, if he ever finishs it, it's a must buy !

maattdd··on The hunt for dollars to build the $64B bullet train
I think you are a bit off for the average price of this kind of project in developed countries. Let's take France which have a strong history in HSL (thus a lot of experience, which helps reducing the costs): the new Tours-Bordeaux line (302km) will cost 8B euros, for a line which is "simple" on an engineering point of view (no mountains, no urbanized area) for 6 years of work.

Considering the length and difficulty of the HSL in California, you can multiply the cost at least 3 times, so something around $30B. You add the fact that the US labor is more expensive than France (contrary to common knowledge), the fact that it's the first HSL in the US..etc.. and the $64B figure is not too crazy anymore.

Your estimate of $2-4B in 4 years is imho absolutely unrealistic.

maattdd··on With Station F, Paris will have the world’s biggest startup campus
No ! You still have full (health -including dental-, unemployment, retirement) social security for the engineering staff.
maattdd··on Hipmunk (YC S10) Acquired by Concur
Ryanair doesn't share their data neither but I guess some websites (Kayak) scrap it.
maattdd··on Snabbdom – A Simple, Modular, Powerful, and Fast Virtual DOM Library
I really like this library. I've used it to implement a minimal React+Redux toy "framework" when I was spending hours in cranky trains in India.

It turns out in 200 lines of TypeScript I can have a view library which has everything I like from React/Redux/mithril/Elm:

* reactive (hopefully fast, I haven't benchmark anything but I trust snabbdom benchmarks)

* simple API (basically 2 functions) and simple workflow (event -> update -> render)

* hot-reloadable (thanks to Webpack HMR)

* time-travelable (inspirated by Elm Reactor)

* type safe-ish (I wish I could do more here but I think TS is limiting it - a const keyword would be awesome)

Disclaimer: I wrote that during my Asia backpacking so the code is ugly and not even named consistenly but as I'm looking for a job I will try to make it more presentable/usable soon. https://github.com/maattdd/AuberJS for those interested

Random interesting bits:

  function draw() {
    if (m && node) {
        const new_node = ballastView(r,m)
        patch(node,new_node)
        node = new_node
    } else {
        console.error("Unable to draw")
    }
  }
maattdd··on French kids know how to play
Are you actually saying that France is given by inequality and racism compared to the US? Are you actually saying that the US and Germany have a superior food to France? US is superior to France in many ways, but clearly not those ones!
maattdd··on Exploring the Elizabeth line, one of the world’s largest construction projects
It's a thread about a rail engineering project so I was assuming the crowd was interested by those stuff...
maattdd··on Exploring the Elizabeth line, one of the world’s largest construction projects
I'm surprised no one mentioned the already existing (40 years old!) same project in Paris (called RER). It's full scaled train (even double decker) running underground in Paris and overground outside. The oldest line (A) is the most used line in the world expect Japan (>1 million person/worked day). Auber station was (is?) the biggest underground station in the world and Chatelet-Les Halles is the most used underground station in the world.
maattdd··on After a year of using Node.js in production
You can do both.
maattdd··on If you write JavaScript tools or libraries, bundle your code before publishing
Webpack v2 also tries to use the static part of es6 modules (for DCE ?)
maattdd··on The City States of Europe
My point was to demonstrate that you sentence "That area is not that much bigger than Germany (if at all)" is completely wrong.
maattdd··on The City States of Europe
From the exact link you provide, if you remove the desert regions (Tibet, Inner Mongolia..etc..), you end up with 4,403,605 km2 (45.55%) for a population 1,221,000,000 (93.89%) and a density of 277h/km2. It is still 10 times the size of Germany.
maattdd··on A Programming Language with Deterministic Multithreading
Real-time is about guarantee, not speed. I suggest you to read the Wikipedia article which is pretty clear https://en.wikipedia.org/wiki/Real-time_computing
maattdd··on The Architecture of Open Source Applications: Nginx
More impressive in the same book, how another server (Warp) written in Haskell (GCed lazy functional language, supposedly way slower than C over epoll) achieves the same performance as nginx!

http://www.aosabook.org/en/posa/warp.html

← PreviousPage 4 of 5Next →