ajss

5 ms·

1.
by ajss 8y ago
> 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 expecting the Functor instance that the `Maybe`
2.
by ajss 8y ago
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 the document?
3.
by ajss 8y ago
People were running a real money service that consumed JSON from another service and it didn't validate the incoming JSON? Wow.
4.
by ajss 8y ago
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 never enqueue). Create abstractions f
5.
by ajss 8y ago
Specs are not scoped. There's a global registry. You may end up chasing other people's bugs.
6.
by ajss 8y ago
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 index and the transactions that haven't bee
7.
by ajss 9y ago
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?
8.
by ajss 10y ago
(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 be much faster because the compiler knows the type of o
9.
by ajss 10y ago
Emacs for Swift, Objective C, C, C++, Clojure, Python, Java, Javascript, Assembler, Bash, and random other minor stuff. Wait... there are other IDEs?
10.
by ajss 10y ago
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 it. Like if she was in a forced labour
11.
by ajss 10y ago
Robbing producers of wealth that did not also happen to be the owners of politicians is directly contrary to Rand's moral system.
12.
by ajss 10y ago
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.
13.
by ajss 10y ago
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 more in than she ever took out. Her estate was valued at
14.
by ajss 10y ago
> 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 countries can comfortably afford to regularly eat loca
15.
by ajss 10y ago
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/tv/youtube) cheap/safe transp
16.
by ajss 10y ago
I'm quite happy to accept the reporting of both gross taxes and gross subsidies. My objection is to only comparing the gross subsidies.
17.
by ajss 10y ago
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 can it be a fair representation of their
18.
by ajss 10y ago
> 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 gas tax doesn't fit that bill; if anythin
19.
by ajss 10y ago
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 service charge. It bares no relation to the amount of anythi
20.
by ajss 10y ago
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 subsidises the same activity by $y, quoting only $y doesn't give
21.
by ajss 10y ago
Looking at the gross subsidy is misleading. Federal gas tax revenues alone are about $35bn/yr.