Mohammad Alaggan

"Beneath this mask there is more than flesh. Beneath this mask there is an idea, Mr. Creedy, and ideas are bulletproof" - V for Vendetta

Saturday, January 10, 2015

Does and explanation or an experiment qualify as a formal proof?

The short answer is no. Read on. A formal proof is a sequence of sentences, starting from axioms, and developing using rules of inf...

Sunday, May 26, 2013

Quote

( The INEXACT ﬂag mandated by IEEE Standard 754 for Binary Floating–Point Arithmetic would, if MATLAB granted us access to that ﬂag, help ...

Useful commands

leaks heap fs_usage lsof vm_stat netstat tcpdump sc_usage otool xxd pbcopy pdfgrep du -sh /private/var/vm/sleepimage

Friday, May 3, 2013

Not having to specify DYLD_LIBRARY_PATH for your app when using Intel TBB (on Darwin/Mac OS X)

When using Intel Threading Building Blocks, you have to link against their dynamic library. They do not provide a way for static linking, ...

Tuesday, April 30, 2013

Segmentation fault

Getting a segmentation fault out of no where after a long execution can be frustrating. One reason is that you usually do not get any infor...

View web version

About Me

Mohammad Alaggan: We are what we think and what we do. I am a person who wants to understand what's going on around him. I am also a person who wants to understand things humanity have not yet understood, and leave that knowledge for next generations. I just hope someday, I'll be considered the founder of a new science.

View my complete profile

Powered by Blogger.