alipang

10 ms·

31.
by alipang 7y ago
I have a company in Bulgaria while working remotely for a high-salary EU country, and it's almost shocking to realise how much you spend on taxes in most European countries when you see the difference in your bank account. It's qu
32.
by alipang 7y ago
It's funny how server-side and client-side architecture moves almost entirely hand-in-hand. Going by how we talk about things you'd think these'd be entirely different. - The Model-view-controller architecture was moved to th
33.
by alipang 7y ago
My company is currently considering switching away from GitLab CI/CD as well as we've found no way to increase the number of available minutes (2000 on our tier I believe, doesn't last very long) without upgrading many tiers
34.
by alipang 7y ago
I think you may like Monads for exactly the reasons you described though, I wouldn't focus too much on this particular sentence. Monads for error handling are very similar to exceptions - they let you write your code in terms of only t
35.
by alipang 7y ago
I've written a few blogs posts somewhat related to this at https://philipnilsson.github.io/Badness10k/ , though it depends on the reader's level on whether they're a any good as an introduction.
36.
by alipang 7y ago
This seems to be the obvious problem. If I only care about X, and you only about Y, we could vote individually (100 tokens -> 10 votes for X, 100 tokens -> 10 votes for Y), or we could collude and make that vote (2 * 50 tokens -> 2
37.
by alipang 8y ago
Depending on what you want, a gaming box like https://www.gigabyte.com/Graphics-Card/GV-N1070IXEB-8GD#kf might do the trick. There's a lot of great laptops like the XPS13 that won't do gaming, but can do so w
38.
by alipang 8y ago
Instead of talking about declarative programming we should talk about denotational programming - writing programs that map to a consistent mental model. The fact that something is declarative doesn't mean that it's understandable.
39.
by alipang 8y ago
Most monads I'm aware of have an operational interpretation. The `Maybe` (or `Option`) monad, for instance, has the single effect fail :: Maybe a fail = Nothing as soon as `fail` is "evaluated". Evaluation here is in
40.
by alipang 8y ago
An introduction was posted here recently - which may be good, depending on how comfortable you are with logic in general. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.673...
41.
by alipang 8y ago
There is a point to it though - continuations, for instance, have monadic structure - but at the cost of introducing a strict evaluation order. There is other work related to the linear logic that does what Monads do - provide an abstract s
42.
by alipang 8y ago
Here's a tutorial with a focus on more practical applications that doesn't try to go too deep into the semantics of monads, but rather tries to build intuition on a syntactic/language level - which I think is generally more h
43.
by alipang 9y ago
The point is not that any one example is better than the other, rather it's that the same syntax can be used to uniformly solve multiple different problems (partiality, async, "non-determinism", and state-passing).
44.
by alipang 9y ago
If you ever want function types you will always need both co- and contravariance as pointed out in OP's articles. Using covariance as a default is also not sound. Many things are "invariant", meaning neither co- or contravari
45.
Memento Spaghetti(philipnilsson.github.io)
1 points by alipang 9y ago|0 comments
46.
by alipang 9y ago
I'd say there is not much point to Category Theory if we where to restrict ourselves to a single category. For instance Monoids are categories (with a single object) that is not the category of functions. Another set are the Kleisli Ca
47.
by alipang 10y ago
https://en.wikipedia.org/wiki/Method_of_complements
48.
Algebraic Patterns – Category(philipnilsson.github.io)
2 points by alipang 10y ago|0 comments
49.
by alipang 10y ago
My aim is for this series to be such a resource :) http://philipnilsson.github.io/Badness10k/ If you feel it's still too opaque, feel free to let me know anything specific and I will try to amend the articles with
50.
by alipang 10y ago
Your solution still assumes we can break down the problem according to the fundamental theorem of arithmetic, which is a monoid homomorphism. You simply have added more insight into the problem than I. The goal of the article is show there&
51.
Algebraic Patterns – Monoid Morphism(philipnilsson.github.io)
86 points by alipang 10y ago|30 comments
52.
Algebraic Patterns – Monoid(philipnilsson.github.io)
4 points by alipang 10y ago|0 comments
53.
by alipang 10y ago
Comparators are not composed by ordinary function composition, but by pointwise composition in the domain. If you can read Haskell instance Monoid a => Monoid (b -> a) where f <> g = \x -> f x <> g x Her
54.
Algebraic Patterns – Semigroup(philipnilsson.github.io)
3 points by alipang 10y ago|0 comments
55.
Functional patterns – Identity element(philipnilsson.github.io)
3 points by alipang 10y ago|0 comments
56.
by alipang 11y ago
I've never understood the software engineering community's desire to call PCREs regular expressions simply because it has similar syntax to "formal" regular expressions. There is good reason to distinguish the two, since
57.
by alipang 11y ago
This page uses close to 100% of one of my CPU cores. (Ubuntu/Chrome), not sure if it's because of the logo.
58.
Dogelang(pyos.github.io)
179 points by alipang 11y ago|39 comments
59.
by alipang 12y ago
Here's an introduction to Bacon.js, implementing a game with eventstreams, if anyone is interested in more. http://philipnilsson.github.io/badness/
60.
by alipang 12y ago
Reactive (event) streams are a generalization of promises in a sense, from a single value to a stream of multiple ones. Both are monads. Streams are to promises what lists are to maybes (options).

More ›