Top all-time · #1415
Luca Cardelli
Personal blog · lucacardelli.nameprogrammingscience
Luca Cardelli's personal blog at lucacardelli.name covers programming and science. Since 2009, 53 different Hacker News readers have linked it 81 times, most often “On Understanding Types, Data Abstraction, and Polymorphism (1985) [pdf]”. No feed was found, so read it on the site itself.
Most-linked posts?
- On Understanding Types, Data Abstraction, and Polymorphism (1985) [pdf]7 people · 7 mentions · first linked 2009-08-25
- Crabs: The bitmap terror (1985) [pdf]5 people · 6 mentions · first linked 2018-05-01
- Typeful Programming (1993) [pdf]4 people · 4 mentions · first linked 2018-05-12
- /Papers/BasicTypechecking.pdf3 people · 4 mentions · first linked 2014-11-18
- Typeful Programming (1993) [pdf]3 people · 3 mentions · first linked 2017-08-27
- /3 people · 3 mentions · first linked 2019-01-07
- Type Systems (2004) [pdf]3 people · 3 mentions · first linked 2017-08-31
- /indexArtifacts.html3 people · 3 mentions · first linked 2010-03-08
- /TheoryOfObjects.html2 people · 3 mentions · first linked 2009-01-05
- [pdf] Abstract Machines of Systems Biology2 people · 2 mentions · first linked 2010-09-29
What Hacker News says?
http://lucacardelli.name/TheoryOfObjects.html https://mitpress.mit.edu/books/theoretical-aspects-object-or... I'm not any of the ones who wrote those, so I will just accept 10% of your reward :).
Comment linking /TheoryOfObjects.html
on “What I learned as a hired consultant to autodidact physicists (2016)”Submitted Type Systems (2004) [pdf] as a story · 96 points
HN discussionYeah, I guess all those papers that discuss strong and weak typing weren't written by "real" academics... For example: http://www.lucacardelli.name/Papers/TypefulProg.pdf https://dl.acm.org/citation.cfm?id=97964 https://www.usenix.org/legacy/event/sec09/tech/full_papers/r... https://dl.acm.org/citation.cfm?id=382281 https://ieeexplore.ieee.org/abstract/document/660187/?reload... https://dl.acm.org/citation.cfm?id=38…
Comment linking /Papers/TypefulProg.pdf
on “Pyre: Fast Type Checking for Python”Submitted Crabs: The bitmap terror (1985) [pdf] as a story · 78 points
HN discussionCrabs seems likes a really cool program. Here is a paper from Bell Labs http://lucacardelli.name/Papers/Crabs.pdf
Comment linking /Papers/Crabs.pdf
on “The most surprising Unix programs”Submitted Typeful Programming (1993) [pdf] as a story · 44 points
HN discussionI have a MSc in formal methods, and this is really misleading. Surely you cannot make some proofs easily. However, how did Airbus verify that some errors simply do not exist in their fly-by-wire software (which is ~100 KLOC implemented in a subset of C)? (I'm sure Boeing also employs these techniques internally). Using abstract interpretation. There are tons of formal methods, ranging from type systems to formal pro…
Comment linking /Papers/Abstract%20Machines%20of%20Systems%20Biology%20%28Draft%29.pdf
on “How the Boeing 737 Max disaster looks to a software Developer”Submitted Crabs: the bitmap terror (1985) [pdf] as a story · 39 points
HN discussionI recommend Lisp In Small Pieces (LISP) by Christian Queinnec and Compiling with Continuations by Andrew Appel if you're interested in writing a functional compiler. Also: http://matt.might.net/articles/cps-conversion/ http://lucacardelli.name/Papers/BasicTypechecking.pdf http://library.readscheme.org/page1.html https://research.microsoft.com/pubs/67083/spineless-tagless-... http://www.pipeline.com/~hbaker1/CheneyMT…
Comment linking /Papers/BasicTypechecking.pdf
on “Write You a Haskell: Building a modern functional compiler from first principles”Submitted Typeful Programming (1993) [pdf] as a story · 38 points
HN discussionLuca Cardelli created the handwritten typeface Dijkstra font in the late 1980s, to mimic the distinctive and precise handwriting of his colleague Edsger W. Dijkstra. It shipped as a free PostScript font with NeWS: https://www.donhopkins.com/home/NeWS/fonts/Dijkstra.ps https://lucacardelli.name/indexartifacts.html (You have to click on the "Fonts" tab, there's no direct link to it.) Dijkstra [.ttf (2013 updated versi…
Comment linking /Artifacts/Fonts/Dijkstra.pdf
on “The foolishness of "natural language programming" (1978)”Submitted Molecular Programming – The systematic manipulation of matter (2014) [pdf] as a story · 24 points
HN discussionThe overall idea of using your type system to enforce invariants is called typeful programming [1]. The first few sentences of that paper are: "There exists an identifiable programming style based on the widespread use of type information handled through mechanical typechecking techniques. This typeful programming style is in a sense independent of the language it is embedded in; it adapts equally well to functional…
Comment linking /Papers/TypefulProg.pdf
on “Use Your Type System”Submitted On Understanding Types, Data Abstraction, and Polymorphism (1985) [pdf] as a story · 8 points
HN discussionWhat a beautifully written article with informative links. http://lucacardelli.name/Papers/TypefulProg.pdf is now next on my list when I finish reading A Philosophy of Software Design (which is brilliant if you haven't seen it).
Comment linking /Papers/TypefulProg.pdf
on “The State of Software Security in 2019”Submitted Mobile Ambients – process calculus for mobile computation (1998) [pdf] as a story · 3 points
HN discussionC++ cannot have non-local type inference due to, you know, object-oriented part of it. This means that you cannot say something like this: auto sepulka; auto bubuka = zagizuka(sepulka); Because if zagizuka's parameter is a structure or a class, you have a selection of parents. On a contrary, you have a selection of descendants of the result type of zagizuka() for bubuka, each having their own copy or assignment cons…
Comment linking /Talks/2007-08-02%20An%20Accidental%20Simula%20User%20%28ECOOP%20Prize%29.pdf
on “ Haskell is our first choice for building production software systems”Submitted A semantics of multiple inheritance (1984) [pdf] as a story · 3 points
HN discussionIt is. That's why immunotherapies have gone from a fringe area to something super hot attracting tons of funding. But first, we need to understand the cell. For this we believe we need not only statistical learning, but also formal methods. See e.g. a slightly dated but brilliant paper from Luca Cardelli: http://lucacardelli.name/Papers/Abstract%20Machines%20of%20S...
Comment linking /Papers/Abstract%20Machines%20of%20Systems%20Biology%20(Draft).pdf
on “Zuckerberg and Chan aim to tackle all disease by 2100”Submitted Mobile Ambients [pdf] as a story · 2 points
HN discussionDo you know of previous attempts to do so[1]? There's a TrueType font as per your wishes[2]! [1]: http://lucacardelli.name/indexArtifacts.html [2]: http://lucacardelli.name/Artifacts/Fonts/Pc/dijkstra.ttf
Comment linking /Artifacts/Fonts/Pc/dijkstra.ttf
on “I made a font based on my handwriting”Submitted Luca Cardeli: Type Systems [pdf] as a story · 1 points
HN discussionSee the crabs from bell labs http://lucacardelli.name/Papers/Crabs.pdf
Comment linking /Papers/Crabs.pdf
on “Show HN: High performance X11 animated wallpapers”Submitted Crabs: The Bitmap Terror [pdf] as a story · 1 points
HN discussionBroader definitions than yours are in common use. You might find this classic paper: http://www.is.pku.edu.cn/~qzy/plan/lits/FundamentalConceptOf... and this updated survey: http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf interesting.
Comment linking /Papers/OnUnderstanding.A4.pdf
on “Hacking a Google Interview - MIT's guide to Google interviews”Submitted Type Systems (2004) [pdf] as a story · 1 points
HN discussionGreatest of the great: C. A. R. Hoare. An axiomatic basis for computer programming: http://sigpl.or.kr/school/2005w/slides/2_17_1.pdf Peter J. Landin. The next 700 programming languages: http://www.thecorememory.com/Next_700.pdf Robin Milner. A theory of type polymorphism in programming: http://courses.engr.illinois.edu/cs421/sp2012/project/milner... Gordon Plotkin. Call-by-name, call-by-value, and the λ-calculus :…
Comment linking /Papers/Inheritance.pdf
on “Great Works in Programming Languages”Submitted Crabs: the bitmap terror (1984) [pdf] as a story · 1 points
HN discussionJust for record. Type system for OOP was developed during some 25 years: http://lucacardelli.name/Talks/2007-08-02%20An%20Accidental%... Lambda calculus was introduced in 1936 and in 1948 it was given simple type system (along Fortran one, which, in turn, was introduced in 1958, ten years later). Year after Simula-67 was introduced, logician Hindley presented a polymorphic type system with type inference for lambda-…
Comment linking /Talks/2007-08-02%20An%20Accidental%20Simula%20User%20%28ECOOP%20Prize%29.pdf
on “Functional Programming Is Hard, That's Why It's Good”Submitted The Quest Language and System (1994) [pdf] as a story · 1 points
HN discussion
