New

The latest blog posts to take off on Hacker News. 3,290 posts.

Any topic
2020
543

Names are not type safety

Haskell programmers spend a lot of time talking about type safety . The Haskell school of program construction advocates “capturing invariants in the type system” and “making illegal states unrepresentable,” both of which sound like compelling goals, but are rather vague on the techniques used to achieve them. Almost…

558

Photos from inside a Typhoon class submarine

Тяжелый РПКСН проекта 941 по отечественной класификации: АКУЛА,по НАТовской Typhoon/ Это РПКСН III поколения. У корабля 2 прочных корпуса расположенных параллельно и несколько прочных модулей связанных единым наружным корпусом.Он несет 20 твердотопливных БР расположенных между прочными корпусами. В…