NewsProgramming book reviews, programming tutorials,programming news, C#, Ruby, Python,C, C++, PHP, Visual Basic, Computer book reviews, computer history, programming history, joomla, theory, spreadsheets and more.
http://i-programmer.info/news/112.html
Tue, 30 Jun 2015 05:17:48 +0000Joomla! 1.5 - Open Source Content Managementen-gbMicrosoft Z3 Theorem Prover Wins Award
http://i-programmer.info/news/112-theory/8722-microsoft-z3-theorem-prover-wins-award-.html
http://i-programmer.info/news/112-theory/8722-microsoft-z3-theorem-prover-wins-award-.htmlMicrosoft Researchâ€™s Z3 theorem prover has been awarded the 2015 ACM SIGPLAN Programming Languages Software Award.
]]>mike.james@infomaxgroup.co.uk (Kay Ewbank)TheoryWed, 24 Jun 2015 00:00:00 +0000MIT Finds Overflow Bugs
http://i-programmer.info/news/112-theory/8467-mit-finds-overflow-bugs.html
http://i-programmer.info/news/112-theory/8467-mit-finds-overflow-bugs.htmlIt is the oldest bug - overflow has dogged any attempt to create a good program ever since we started writing code. Now MIT has an improved system to find overflow bugs by examining code.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryWed, 08 Apr 2015 09:00:00 +0000Pi Day Of The Century
http://i-programmer.info/news/112-theory/8381-pi-day-of-the-century.html
http://i-programmer.info/news/112-theory/8381-pi-day-of-the-century.html

Pi day is the 14th of March every year because 3.14 are the first three digits of Pi but this year the date is 3/14/15 and these are the first five digits of Pi - 3.1415. This only happens once per century so let's celebrate!

]]>mike.james@infomaxgroup.co.uk (Mike James)TheorySat, 14 Mar 2015 11:00:00 +0000Donald Knuth's Christmas Tree Lecture
http://i-programmer.info/news/112-theory/8081-donald-knuths-christmas-tree-lecture.html
http://i-programmer.info/news/112-theory/8081-donald-knuths-christmas-tree-lecture.htmlIn a tradition that is in its 20th year, Donald Knuth presented his 2014 Christmas Tree lecture at Stanford University earlier this month. His topic, as always, is related to something new about trees he learned during the year - in this instance (3/2)-ary Trees.
]]>sue.james@infomaxgroup.co.uk (Mike James)TheoryThu, 25 Dec 2014 00:00:00 +0000Halting Problem Used To Prove A Robot Cannot Computably Kill A Human
http://i-programmer.info/news/112-theory/8000-halting-problem-used-to-prove-a-robot-cannot-computably-kill-a-human.html
http://i-programmer.info/news/112-theory/8000-halting-problem-used-to-prove-a-robot-cannot-computably-kill-a-human.htmlAs far as missuses of computability, and the halting problem in general, goes you probably couldn't find a better example. A recent paper set out the arguments over an important topic - robots that have the power to kill. The conclusion is that computer science proves they should be banned.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryWed, 26 Nov 2014 00:00:00 +0000Look And Say Numbers And Conway's Constant
http://i-programmer.info/news/112-theory/7626-look-and-say-numbers-and-conways-constant.html
http://i-programmer.info/news/112-theory/7626-look-and-say-numbers-and-conways-constant.htmlA new video from Numberphile has John Conway recounting the story of look and say numbers and their interesting properties. It's a story of regularity, but not one that comes from arithmetic.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheorySun, 10 Aug 2014 14:00:38 +0000The Machine In The Ghost
http://i-programmer.info/news/112-theory/7404-the-machine-in-the-ghost.html
http://i-programmer.info/news/112-theory/7404-the-machine-in-the-ghost.htmlOK, the title really should be "the machine in the differential equation" but... A recent paper reveals that the clue to one of the seven most important problems in mathematics and what is more the approach suggests that computers might be hidden within physical phenomena.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryMon, 23 Jun 2014 00:00:00 +0000Pulleys As Logic Gates
http://i-programmer.info/news/112-theory/7370-pulleys-as-logic-gates.html
http://i-programmer.info/news/112-theory/7370-pulleys-as-logic-gates.htmlYou would be surprised at the different things that can be used to implement logic - crabs, slime mold, water droplets, and now pulleys. Anyone want to build a mechanical computer using pulleys?
]]>mike.james@infomaxgroup.co.uk (Harry Fairhead)TheorySun, 22 Jun 2014 00:00:00 +0000Search For Twin Prime Proof Slows
http://i-programmer.info/news/112-theory/7244-search-for-twin-prime-proof-slows.html
http://i-programmer.info/news/112-theory/7244-search-for-twin-prime-proof-slows.htmlBack in early 2013 a breakthrough result established that there were infinitely many pairs of primes that are less than 70 million apart. Yes 70 million! The next step was a really 21st century response - a crowd sourced effort to push the 70 million gap all the way down to two.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryTue, 29 Apr 2014 00:00:00 +0000Complexity Theorist Gets Abel Prize
http://i-programmer.info/news/112-theory/7124-complexity-theorist-gets-abel-prize.html
http://i-programmer.info/news/112-theory/7124-complexity-theorist-gets-abel-prize.htmlThe Abel prize is sometimes called the Noble Prize for mathematics, but then so is the Fields medal. The good news this year is that the recipient, Yakov G Sinai, is known for his work in computational complexity.
]]>mike.james@infomaxgroup.co.uk (Mike James)TheoryWed, 02 Apr 2014 00:00:00 +0000