2301
Gödel, Turing and Cantor: The Math – The Vault of the Future
"He would develop his own personal library of functions, in fact almost a domain-specific language required to solve the problem he set out to solve."
godel  incompleteness 
4 weeks ago
Simple, correct, fast: in that order | Drew DeVault’s Blog
You need to take problems apart, identify smaller problems within them and ruthlessly remove scope until you find the basic problem you can apply a basic solution to. The complex problem comes later, and it’ll be better served by the composition of simple solutions than with the application of a complex solution.
programming  software 
5 weeks ago
Idioms of Dynamic Languages | Will Crichton
"the core impedance mismatch is that metaprogramming is fundamentally at odds with static typing"
programming  ruby  python  metaprogramming 
6 weeks ago
Reasoned PHP
"This is extremely powerful. It is almost like doing TDD, but without writing the code."
relationalprogramming  programming  relation  declarative 
6 weeks ago
What is an example of Godel's Incompleteness Theorem in practice? - Quora
"every so often someone will start to question why we need programmers, at least for finding bugs in a program (probably about 90% of "coding" is spent on trying to find bugs), so they try to build an automated bug checker to catch all mistakes that ever existed. But some mistakes will cause infinite loops, and it is impossible to catch all of these in any [Turing complete] programming language. It's nice to know that, as a software engineer, the future of your profession is guaranteed by a mathematical theorem."
godel  incompleteness  programming 
9 weeks ago
« earlier      
activerecord ajax amd android apache api apiwrapper arch archlinux arel assets associations audio authentication aws backbone-relational backbone.js bash bdd bestpractices blog book books bootstrap bower browser bug bundler business caching capistrano capybara capybara-webkit cgroups class clojure code coffeescript commandline config configuration console css css3 cucumber database debugging dell dependencies deploy deployment design development devise display displayport docker dotfiles editor elixir email encoding encryption erlang events ffmpeg firefox font form forms framework garbage gem gems gist git github globalvoices gmail gnupg godel google gpg graphics hackernews haml hardware heroku hosting hstore html html5 http httparty i18n i3 i3bar i3wm icons imap incompleteness input install intel interview introduction japan japanese jasmine javascript jquery json kernel keyboard language laptop less linode linux lisp lubuntu luks lvm mail map mapping maps mathematics mbsync memory metaprogramming microg mobile modal models module modules music mutt mvc mysql network nginx notmuch nvidia omniauth oop osx packaging partials passenger password performance permissions phone plugin postgres presentation programming python rack rails rbenv recycling reddit reference replication require.js requirejs rest routing rspec ruby rubygems s3 scheme screenshot search security sequel server setup shell sim sinatra software spree sprockets sql ssh ssl stackoverflow startup storage systemd talktalk tdd templating terminal testing thinkpad tips tmux tokyo tools translation travis travisci tutorial twitter ubuntu ui unix urxvt validation video views vim vps web webdesign weechat wifi workspaces writing xorg zsh 日本語

Copy this bookmark:



description:


tags: