HN user
Is there any chance you would hire remote/visa? I am a full stack functional programmer with Haskell experience and I've noticed Co-Star postings with interest a few times now, however I am Canadian out of Toronto, Canada
Location: Toronto, Canada
Remote: Yes (Citizenship is Canadian)
Willing to relocate: Yes
Technologies: Haskell, Python, C, VBScript, C#, HTML, CSS, PHP, JS, SQL
Résumé/CV: https://www.dropbox.com/s/f2uyncgmcmwnkp5/resume.pdf
Email: steven.bukal@gmail.com
I'm a functional programmer with years of programming and technical consulting experience. My work has included processing of scientific and business data, software integration, and business reports (Haskell, SQL, Python, VBScript); front and back end customization and development for company websites (HTML, CSS, JS, PHP); and network and SQL database administration. My academic background is in Computer Science and Linguistics.
I'm looking for new opportunities as work for my current clients is winding down. I have broad technical experience, pride in my work quality as a programmer, and willingness to fill needed positions in a productive and efficient team.
I have lots of bookmarks, mostly for a few purposes:
1 - Pages I want to autocomplete so I don't have to remember and type the full address or verify that I'm on the true site for my bank and not a phishing site
2 - Content to do something about in the future. Stuff to read later, stuff to download to my local machine, etc.
3 - Resources that I want to remember exist and be able to find. For example, I've got a page saved that produces blank graphics in whatever dimensions you want for use in stuff like web design. Forgetting what it is called, I could look it up in my bookmarks pretty quickly instead of having to open photoshop and create such graphics manually
"in China, its three major internet companies — Alibaba, Baidu and the WeChat parent Tencent — compete to create a single app with as many functions as they can stuff into it"
It's not obvious to me that this is a good thing. Doesn't this just pass the buck down from the phone's operating system and app ecosystem to the do-everything-app's ecosystem? I'd sooner see mobile OS and app software improve their inter-app communication and APIs so that the do-everything app isn't necessary.
This. Reality is poorly designed. Using it merely as a substrate to compute a superior environment makes a lot of sense.
This article is very silly. Complaining that software has gotten easier to use but programming remains difficult is like complaining that cars have gotten easier to use but automotive engineering remains difficult. The design and construction of an end product is not the same as the end product itself. Product like cars and software can be made much easier to use over time with better design and technology. It's not obvious that the design and construction of these things itself can be.
Many people have tried to achieve this and will continue to try - look at light table and Apple's playgrounds for recent attempts. But these 'revolutionary' 'accessible' programming tools have never delivered on their promises. This is something Fred Brooks predicted in the 80s. Much of what makes programming hard is essential complexity inherent in the problem to be solved. Improving our tools and processes is a good thing, but there are no silver bullets when it comes to improving programming productivity.
It's a correspondence definition. And actually I understand correspondence has been one of the most popular theories of truth since Plato and Aristotle, continuing to the present.
Beliefs are what we use to model how the world is and what the results of actions and experiments will be. Reality is what actually determines those results, regardless of what we might believe. Truth is then the set of beliefs about the world that accurately model reality. And I'll say it again, the scientists who spend decades picking things to pieces are the ones who end up with the most accurate beliefs. They find the most truth.
Why not? Picking everything to pieces is exactly what those people (theoretical and practical scientists) who seem to have the most success in approximating truth do. These are the methods that best produce accurate predictions about the future and best produce designs for new technologies that actually work.
My favourite Asimov story :3. Also his favourite, IIRC.