Hacker News
- Routers at Centre Pompidou and software evolution https://tomasp.net/blog/2023/pompidou/ 10 comments
- Pop-up from Hell: On the growing opacity of web programs http://tomasp.net/blog/2021/popup-from-hell/ 2 comments
- Programming as interaction: A new perspective for programming language research http://tomasp.net/blog/2018/programming-interaction/ 12 comments
- Philosophy of science books every computer scientist should read http://tomasp.net/blog/2015/reading-list/ 205 comments
- Library patterns: Multiple levels of abstraction http://tomasp.net/blog/2015/library-layers/index.html 8 comments
- Formatting F# source code for the Web http://tomasp.net/articles/fswebsnippets-intro.aspx 2 comments
Lobsters
- Pop-up from Hell: On the growing opacity of web programs http://tomasp.net/blog/2021/popup-from-hell/ 3 comments historical , web
- Software designers, not engineers: An interview from alternative universe http://tomasp.net/blog/2021/software-designers/ 3 comments programming
- The design side of programming language design http://tomasp.net/blog/2017/design-side-of-pl/ 4 comments programming
- Miscomputation: Learning to live with errors http://tomasp.net/blog/2015/failures/ 3 comments practices , programming
- The Lost Ways of Programming: Commodore 64 BASIC http://tomasp.net/commodore64/ 7 comments programming
- Would aliens understand lambda calculus? http://tomasp.net/blog/2018/alien-lambda-calculus/ 51 comments compsci
- "Histogram", by Tomas Petricek. "We represent programs as lists of interactions such as triggering an auto-complete and choosing an option, declaring a value, introducing a variable or evaluating a piece of code. We explore a number of consequences of this way of thinking about programs." http://tomasp.net/histogram/ 4 comments compsci
- Programming as interaction: A new perspective for programming language research http://tomasp.net/blog/2018/programming-interaction/ 5 comments programming
- The mythology of programming language ideas: What will 24th century computer scientists say about us http://tomasp.net/blog/2017/programming-mythology/ 121 comments programming
- Coeffects: Context-aware programming languages http://tomasp.net/coeffects/ 20 comments haskell
- In the age of the web: Typed functional-first programming revisited http://tomasp.net/blog/2015/typed-revisited 7 comments programming
- Against the definition of types, by Tomas Petricek http://tomasp.net/blog/2015/against-types/ 15 comments haskell
- Announcing FsLab: Data science package for Mono and .NET http://tomasp.net/blog/2015/announcing-fslab/index.html 3 comments fsharp
- Announcing FsLab: Data science package for Mono and .NET http://tomasp.net/blog/2015/announcing-fslab/ 4 comments programming
- The secrets of C# 6 - Processing math expression with functional-style pattern matching http://tomasp.net/blog/2015/csharp-pattern-matching/ 3 comments fsharp
- Library patterns: Why frameworks are evil http://tomasp.net/blog/2015/library-frameworks/ 3 comments fsharp
- Functional library patterns: Why frameworks are evil & how to design for composability? http://tomasp.net/blog/2015/library-frameworks/ 12 comments programming
- Composing Christmas with F# - Embedded DSL for composing 3D graphics http://tomasp.net/blog/2014/composing-christmas/index.html 6 comments programming
- Stateful computations in F# with update monads http://tomasp.net/blog/2014/update-monads/index.html 10 comments haskell
- Solving puzzles with F#, or How to impress your friends with programming on New Year's eve. http://tomasp.net/blog/2014/puzzling-fsharp/index.html 25 comments programming
- Context-aware programming languages: The next big programming challenge http://tomasp.net/blog/2014/why-coeffects-matter/index.html 9 comments programming
- The F# Computation Expression Zoo (Why "computation expressions" are not just an "enterprise-y monad") http://tomasp.net/blog/2013/computation-zoo-padl/index.html 20 comments haskell
- How many tuple types are there in C#? http://tomasp.net/blog/2013/tuples-in-csharp/#.ujqqu3r3bok.reddit 6 comments csharp
- How many tuple types are there in C#? And how many are useful? http://tomasp.net/blog/2013/tuples-in-csharp 9 comments programming
- Applicative functors: definition and syntax (a reply) http://tomasp.net/blog/applicative-functors.aspx 7 comments haskell
- Why type-first development matters http://tomasp.net/blog/type-first-development.aspx 29 comments programming
- The theory behind covariance and contravariance in C# 4 http://tomasp.net/blog/variance-explained.aspx 40 comments programming
- Programming with F# asynchronous sequences http://tomasp.net/blog/async-sequences.aspx 3 comments programming
- Beyond the Monad fashion: Writing idioms in LINQ http://tomasp.net/blog/idioms-in-linq.aspx 25 comments programming
- Asynchronous programming in C# and F#: How does it work? http://tomasp.net/blog/async-compilation-internals.aspx 3 comments programming
- F# in MonoDevelop and cross-platform web sites & screencasts http://tomasp.net/blog/fsharp-in-monodevelop.aspx 3 comments programming
- F# Webcast: Using Asynchronous Workflows http://tomasp.net/articles/fsharp-webcast-async.aspx 4 comments programming
- Concepts behind the C# 3.0 language, and the influence of functional programming http://tomasp.net/articles/csharp3-concepts.aspx 8 comments programming