leepike.wordpress.com
SmartCheck: Redux | A Critical Systems Blog
https://leepike.wordpress.com/2014/06/16/smartcheck-redux
A Critical Systems Blog. Thoughts on safe and secure embedded computer systems. Laquo; Embedded Security in the Mainstream. SmartChecking Matt Might’s Red-Black Trees. A few years ago, I started playing with the idea of making counterexamples from failed tests easier to understand. (If you’re like me, you spend a lot of time debugging.) Specifically, I started from QuickCheck. A test framework for Haskell, which has since been ported to many other languages. From this, a tool called SmartCheck. Based app...
syntaxexclamation.wordpress.com
Quick, dirty and shallow definitions | Syntax!
https://syntaxexclamation.wordpress.com/2013/11/21/quick-dirty-and-shallow-definitions
A research blog about programming languages, formal logics, software development and their interactions, by Matthias Puech. Quick, dirty and shallow definitions. Here is a quick hack. A few months ago. Have you ever implemented an quick prototype for a language, and be annoyed by the lack of definition mechanism? For instance, you define a small calculus and encode a few constructs to test it, but end up with outputs like:. When you only wanted the system to print:. Some would call this a deep encoding.
blog.lerner.co.il
Making Python's __init__ method magical - Lerner Consulting Blog
http://blog.lerner.co.il/making-init-methods-magical-with-autoinit
Thoughts from Reuven Lerner about technology, business, and education. Ebook: Practice Makes Python. Ebook: Practice Makes Regexp. Reuven's courses and presentations. Why you should read “Weapons of Math Destruction”. Implementing “zip” with list comprehensions. Announcing: An online community for technical trainers. Speedy string concatenation in Python. Turning PostgreSQL rows into arrays. Don’t use double quotes in PostgreSQL. Looking in PostgreSQL arrays with ANY. Turning a PostgreSQL array to rows.
karlitschek.de
Frank Karlitschek_ » A possible future for PHP
http://karlitschek.de/2014/10/a-possible-future-for-php
A possible future for PHP. Posted by Frank Karlitschek. On Oct 2, 2014 in KDE. There were several reason for choosing PHP:. The mission of ownCloud is to enable everybody to host their own cloud server. PHP is the technology that is available on most webservers, operating systems and platforms. So we make hosting of an ownCloud server super easier because it is written in PHP. There is a huge ecosystem of libraries, components and connectors/drivers available for PHP. For an open source project like ...
