Viewing profile — ajss

> The function `a -> Maybe a` is a different function than `a -> a`. Despite his intuition that the latter provides a stronger guarantee and shouldn't break code, callers may be ex…

I really dislike that. The document is mutable and goes through a whole sequence of states that aren't what you want? Constructing a body object with a document argument modifies t…

People were running a real money service that consumed JSON from another service and it didn't validate the incoming JSON? Wow.

Along a similar line, I love Stuart Halloway's talk on Narcissistic Design - https://www.youtube.com/watch?v=LEZv-kQUSi4 Prefer APIs over data. Start with DSLs. Always connect (and…

Specs are not scoped. There's a global registry. You may end up chasing other people's bugs.

I think "late indexing" maybe referring to an implementation detail. The indexes aren't updated after each transaction. When you query the db, the result is a merge between the ind…

Look at the function doc string. Look at the function spec/fdef Look at the function comments. OK, there aren't any. Pull requests accepted?

(defn [o n] (.write o n)) will have to look up the .write method by doing reflection on o & n at runtime, which is really slow. (defn [^WriteInterface o ^long n] (.write o n)) can …

Emacs for Swift, Objective C, C, C++, Clojure, Python, Java, Javascript, Assembler, Bash, and random other minor stuff. Wait... there are other IDEs?

Ayn Rand didn't use force to take anyone's money. That's what she hated. When those who took her money offered her a small portion back, her philosophy didn't require her to refuse…

Robbing producers of wealth that did not also happen to be the owners of politicians is directly contrary to Rand's moral system.

Her reasons were given a long time before she ever received social security (1974). Rand's moral system did not require her to file lawsuits that had no chance of success.

You don't think government taxes by force? What about all the people imprisoned for not paying their taxes? She became a wealthy woman from her successful books, so she paid far mo…

> My point is that there are other variables to take into account other than prices. You said quality food was reserved only for rich people. People with a median income in western…

> Why is quality food reserved only for rich people? Are you kidding?

Modern medicine, access to all the world's knowledge on a handheld device in your pocket, cheap clean/safe water and food from every corner of the world, entertainment (music/films…

I'm quite happy to accept the reporting of both gross taxes and gross subsidies. My objection is to only comparing the gross subsidies.

I subtract all their taxes. If Exxon pays $100bn/yr in various normal taxes, and the government pays them $1bn/yr in fossil fuel subsidies, that's a net subsidy of -$99bn/yr. How c…

> If there is a tax that's applied specifically to gas companies that isn't directly paying for infrastructure they use, then that tax can be subtracted from the subsidies. But the…

Even granting your argument, if the government takes $x as a service charge for infrastructure, and subsidises by $y, that would be a net subsidy of $y, not $y+$x. But $x is not a …

Whatever the intentions of the people imposing the tax, the effect is to disincentivize gas consumption. My point is, if the government taxes certain activities by $x and subsidise…

Looking at the gross subsidy is misleading. Federal gas tax revenues alone are about $35bn/yr.