sink

9 ms·

31.
by sink 9y ago
Dwelo | Software Engineers | San Francisco Bay Area and Salt Lake City | Full Time Dwelo is the operating system for apartment communities. Our software, hardware, and service platform enables the owners and managers of multifamily properti
32.
by sink 10y ago
Twilio | San Francisco, CA / Mountain View, CA | Full Time We're a cloud communications platform for messaging, voice, and video communications. I'm a developer on the messaging team in San Francisco, and we're looking f
33.
by sink 11y ago
Why is a Google form required to ensure that my information is never used in any way? Aaron Cheung, I would appreciate it if you didn't taint YC's brand with your questionable business practices.
34.
by sink 11y ago
you mean like Haskell?
35.
by sink 11y ago
Great point. His concluding statement aligns with your observation: "So then why did I use Haskell? To make cover trees 10 times easier for programmers to use." Default Haskell is certainly not geared toward numeric performance ev
36.
by sink 11y ago
I think my assertions are pretty well accepted virtually ... everywhere, so it didn't really occur to me THOSE specifically were what you were calling into question. But if THAT is what we are arguing about, I agree, this is all rather
37.
by sink 11y ago
We could both give each other empirical evidence all day. I wouldn't really call my assertions unproven. Speaking of referential transparency and equational reasoning is kind of the core of a lot of computer science. I'm not reall
38.
by sink 11y ago
I don't think I am doing any such conflating. Being able to reason about things equationally makes my code easier to reason about. Having a type system and a compiler assist me makes my code easier to reason about. Having fewer variant
39.
by sink 11y ago
I disagree that it is just handwaving. I assert that I gave lots of evidence, namely that the scope of what you need to test to assure correct operation of your program is much narrower. You can reason about that intuitively even, without t
40.
by sink 11y ago
In a strongly typed functional program I can prove that side effects only happen in specific places that are designated by the types. I have no such assistance in say Java, or Python. That is what I mean that side effects can happen anywher
41.
by sink 11y ago
I give an example in a sibling (cousin?) comment here: https://news.ycombinator.com/item?id=9372280
42.
by sink 11y ago
I disagree. I think reasoning in a programming language that limits effects with types and promotes partitioning them from the rest of your logic is dramatically simpler than in languages where mutation and effects can happen anywhere.
43.
by sink 11y ago
Yeah! If your mutability is completely limited to the scope of your function, then you should be fine. If your programming language takes the power to mutate away from you then you have even less to worry about: You don't have to rely
44.
by sink 11y ago
Nah, I am saying two things: 1. Mutability makes your program harder to reason about. 2. There are better ways to spend your time than writing tests for conditions that could not exist with pure functions. You could totally extrapolate a to
45.
by sink 11y ago
Sure! Mutations ARE side effects. Consider two situations with a function and a mutable variable: First: Your function depends on a value that can mutate. Now you have a hidden parameter to your function. You have to test the function under
46.
by sink 11y ago
I agree. Just think of how often what you really want to express in your program is a function that takes a Positive Integer, and any other type of number is simply wrong.
47.
by sink 11y ago
GOTO, mutations, and side-effects break referential equality and equational reasoning, making it much harder to prove things about your program. I guess you can do that by endless permutations of tests or a stochastic testing system, but th
48.
by sink 12y ago
I just think that shouting at people to behave a certain way is going to have little effect. Online communities either moderate or incentivize people to act a certain way. In my opinion a more constructive comment would be directed at Faceb
49.
by sink 12y ago
I am really, really sorry you don't like how social communication channels are evolving. It's a bummer that other people aren't using the Internet the way you want. How can we fix this? Well, certainly the next time we build
50.
by sink 12y ago
Scala simply doesn't move that fast and doesn't break that often. I can say that as someone who has been using it since 2.7. (Some of the thirdparty Scala libraries on the other hand will are close to giving me aneurisms ...) At i
51.
by sink 12y ago
More Scala and Play2 or sometimes Spray. ElasticSearch and Postgres for databases (it used be Mongo quite often, but I've put that on the shelf). I would love to build something in Haskell's Snap framework (so what's stopping
52.
by sink 13y ago
This is good list! There are a few different MOOC aggregators out there which are pretty comprehensive, might I mention: http://knollop.com/ (Full disclosure, I'm a shill for Knollop)
53.
Bookish is a failing company that could fundamentally change digital publishing(medium.com)
2 points by sink 13y ago|0 comments
54.
by sink 13y ago
I like your site. How do you support so many stores? Did you write web scrapers for each? Or are you using APIs?
55.
by sink 14y ago
I wouldn't call it FUD. Ubuntu's terrible initial state as well as principles are completely valid reasons to drop allegiance to a free operating system. His reasoning and motivation are clear as day and it does not seem to me that he is tr
56.
by sink 14y ago
Hi. I am one of the creators of this site. Thought we saw a little traffic bump this morning and then found this! We want to build an online learning material aggregation and discovery tool. We'd love some feedback here (directly) or on the
57.
Show HN: Discover online learning at knollop.com(knollop.com)
1 points by sink 14y ago|0 comments
58.
by sink 14y ago
I wonder if anymore people even pause to think, does the world need this? before trying to sell these products. Maybe this is just a vehicle for someone to point to and say, "I've made something before, even if it is just a toy" on their jo
59.
by sink 14y ago
Might mention that it sees Scala as Ruby or Python (ouch!). But I did just type in, "bunch of stuff, some programming stuff" and it thought that was Haskell or Coffeescript. Guess those win awards for literate programming?
60.
by sink 14y ago
Bookish is hiring in NYC - full time, local Bookish aims to be the main destination for consumer book discovery and news. We are a small company, well connected to the publishing industry, comprised of editors and software developers locate

More ›